可知性悖论及其解决方案探析

可知性悖论是指,从反实在论接受的前提——可知性原则KP出发,能推出反实在论不能接受的结论——全知原则OMN。该悖论对反实在论提出严峻的挑战。可知性悖论产生于Fitch-系统FS,其解决方案是通过弱化KP为RKP,建立推不出OMN的系统RKP。

Fitch-悖论的直觉主义逻辑解决方案探析

Fitch-悖论从可知性原则和"非全知"的观点出发,导出结论"每个真理事实上被知道",该结论对反实在论提出了严苛的挑战。以T.Williamson为代表的反实在论者采用直觉主义逻辑,并根据双重否定消去规则失效的原理,成功地避免了该结论的出现。然而,直觉主义逻辑的解决方案并非无懈可击,它面临着不同的责难。反实在论者如果把研究重点转向Fitch-悖论的实质——模态算子◇的消失,或许对完善其直觉主义逻辑解决方案有所裨益。

Fitch-悖论的达米特解决方案研究

达米特认为,导致Fitch-悖论的根源在于,反实在论对真命题给出的是一个"一般性的刻画",而不是"归纳性的刻画",由此反实在论便无法把"一般句子"和"基本陈述句"进行明确的区分。达米特做的首要工作是将二者进行严格区分,再把反实在论论断"所有‘真命题’是可知的"的形式化表达式——可知性原则KP——限制至"基本陈述句"。根据这一限制,达米特对真命题的特征进行了归纳性的描述,并以此为基础构建了新的可知性原则DKP,用以替代原可知性原则KP。然而,达米特的这一方案面临诸多责难。该方案实质上是通过特设法缩小了原可知性原则KP的适用范围,使得新的可知性原则DKP只适用于"真基本陈述句"一个类型的真命题,而无法适用于其他类型的真命题。这不仅违背了反实在论"所有‘真命题’是可知的"中"所有"的思想,同时也忽略了新的可知性原则必须具有的一般性和普遍性要求。