论文部分内容阅读
双面真理说,即承认某些矛盾αΛ-α为真的理论,是澳人利亚逻辑学家普利斯特创立的一种逻辑理论。该理论以一种三值(真、假、既真又假)非经典逻辑LP为基础,包容说谎者悖论等矛盾,并对其赋值“既真又假”。该逻辑理论否认某些逻辑原则,如爆炸原则、假言三段论的有效性,从而其逻辑系统虽不一致却不至于陷入平凡。
本文介绍普利斯特双面真理说的核心理论,即其背景起因、逻辑理论,并考虑近年来对该理论的主要批评。我们认为,普利斯特提出双面真理说的原因在于二值逻辑解决悖论的失败。但我们注意到,他所认为的对悖论的证明过程中实际预设了悖论可以取某一真值。但这正是有争议的。而不做这种预设的正确的推理结论恰是悖论不可被赋予任何值,即便强化悖论也是如此,且不论是在二值或三值逻辑中。真矛盾论者不能反对这个推理而不诉诸循环。普利斯特的真矛盾论实际上是建立在混淆真、假与(既真又假)之上的。更进一步,我们从一致性与理性有效性的关系角度说明真矛盾先验地不存在,我们的语言使用也更不应该存在矛盾。本文还考虑普利斯特所理解的否定和爆炸原理,并得出他的理解有失偏颇的结论。