P和非P本身就是悖论

P和非P本身就是悖论

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

送交者: eng 于 2007-10-15, 21:38:23:

回答: 请教eng如何导出悖论由立鑫于 2007-10-15, 20:40:05:

对于任何命题“Ｐ”，命题“Ｐ”和命题“非Ｐ”不可能同时为真。因此命题“Ｐ和非Ｐ”就是悖论（即永远为假的命题）。而在反证法中，由假设“非Ｑ”导出悖论意味着假设“非Ｑ”不成立，所以“Ｑ”成立。

这里比较难理解的是“Ｐ”以及“非Ｐ”和“Ｑ”可以没有任何关系，所以“由非Ｑ导出某命题Ｒ”的意思只不过是说在“非Ｑ”成立时Ｒ能够成立，而不一定有因果关系。

this is not the definition of logical paradox. - steven (517 bytes) 2007-10-15, 23:40:41 (176905)
- contradiction用中文怎么说？ - eng (19 bytes) 2007-10-16, 00:06:50 (176908)
  - 矛盾。 (无内容) - steven (0 bytes) 2007-10-16, 00:08:59 (176909)
- I meant "it has to be at least a first-order theory." (无内容) - steven (0 bytes) 2007-10-15, 23:48:04 (176906)
是我理解错了你的“悖论”的概念 - 立鑫 (216 bytes) 2007-10-15, 23:01:56 (176899)