this is not the definition of logical paradox.


所有跟贴·加跟贴·新语丝读书论坛

送交者: steven 于 2007-10-15, 23:40:41:

回答: P和非P本身就是悖论 由 eng 于 2007-10-15, 21:38:23:

P and ~P = F, and truth value can be assigned to the statement, hence, it is not a logical paradox. This is sentential logic, which can be sound and complete, that means there cannot be any paradox in sentential logic. Paradox exists because of incompleteness, that means, it has to be at least first order logic, where self-referencing/recursive definition is possible, like liar paradox, "this statement is false," there cannot be any meaning truth assignment to the sentence without contradicting itself.



所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明