摘要
Fitch-悖论从可知性原则和"非全知"的观点出发,导出结论"每个真理事实上被知道",该结论对反实在论提出了严苛的挑战。以T.Williamson为代表的反实在论者采用直觉主义逻辑,并根据双重否定消去规则失效的原理,成功地避免了该结论的出现。然而,直觉主义逻辑的解决方案并非无懈可击,它面临着不同的责难。反实在论者如果把研究重点转向Fitch-悖论的实质——模态算子◇的消失,或许对完善其直觉主义逻辑解决方案有所裨益。
From Knowability Principle and Non idea, in fact is known＂, which poses a rigorous challenge to anti-realism. T Fitch Paradox deduces the conclusion ＂ Every truth Williamson, a representative of anti-realists, uses intuitionistic logic and avoided successfully the conclusion in terms of the invalidness of the double negation elimination rules. However, intuitionistic logic solution cannot be an impeccable one, because it is criticized by other scholars. If anti- realists turn the research emphasis to the substance of Fitch Paradox-the disappearance of modal operator◇ it will be helpful for their intuitionistic logic solution of Fitch paradox.
出处
《厦门大学学报（哲学社会科学版）》
CSSCI
北大核心
2014年第1期45-51,共7页
Journal of Xiamen University(A Bimonthly for Studies in Arts & Social Sciences)
基金
2012年度教育部人文社会科学重点研究基地重大项目"跨文化交流的形式化研究"(12JJD720005)
