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

王晶,潘世墨
(厦门大学哲学系,福建厦门361005)

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