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

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