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

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