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

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

关键词：Ficch-悖论；直觉主义逻辑；可知性原则；反实在论