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

摘要：

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

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

分类号：B81(逻辑学(论理学))

资助基金：2012年度教育部人文社会科学重点研究基地重大项目“跨文化交流的形式化研究”12JJD720005

在线出版日期：2014-04-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：45-51