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