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

发布时间：2017-11-14 06:31

  本文关键词：Fitch-悖论的直觉主义逻辑解决方案探析

  更多相关文章： Fitch-悖论 直觉主义逻辑 可知性原则 反实在论

【摘要】：Fitch-悖论从可知性原则和"非全知"的观点出发,导出结论"每个真理事实上被知道",该结论对反实在论提出了严苛的挑战。以T.Williamson为代表的反实在论者采用直觉主义逻辑,并根据双重否定消去规则失效的原理,成功地避免了该结论的出现。然而,直觉主义逻辑的解决方案并非无懈可击,它面临着不同的责难。反实在论者如果把研究重点转向Fitch-悖论的实质——模态算子◇的消失,或许对完善其直觉主义逻辑解决方案有所裨益。
【作者单位】： 厦门大学哲学系;
【基金】：2012年度教育部人文社会科学重点研究基地重大项目“跨文化交流的形式化研究”(12JJD720005)
【分类号】：B812
【正文快照】： 一、Fitch-悖论的缘起1963年,Fitch首次在文章A Logical Analysis of Some Value Concepts中提出定理5!"("#$K")├!"("#$◇K")。[1]直观上来说,定理5表达的是“存在一个真理"并且真理"不被知道,推导出存在一个真理"并且真理"不可能被知道”。然而,该定理的等价式:%"("→◇K")

【参考文献】

中国期刊全文数据库 前1条

1 冯艳;论经典否定、直觉主义否定和弗协调否定[J];自然辩证法研究;2005年02期

【共引文献】

中国期刊全文数据库 前1条

1 赵伟莉;;关于弗协调逻辑的否定与矛盾[J];淮阴师范学院学报(哲学社会科学版);2007年01期

【相似文献】

中国期刊全文数据库 前10条

1 颜中军;;论直觉主义逻辑对经典逻辑的挑战[J];湘潭大学学报(哲学社会科学版);2011年03期

2 刘壮虎;哲学逻辑概论[J];北京航空航天大学学报(社会科学版);2000年01期

3 任晓明;谷飙;;达米特对直觉主义逻辑的辩护[J];南开学报(哲学社会科学版);2007年04期

4 ;金岳霖学术奖(逻辑学)获奖作品简介(二)[J];思维与智慧;1991年02期

5 刘新文;;函数完备性问题[J];重庆理工大学学报(社会科学);2011年08期

6 陆尚强;存在怪论的推导与分析及有关语意问题[J];广西师院学报(自然科学版);1998年03期

7 刘大中,董克诚;一阶命题演算的希尔伯特型直觉主义系统[J];河北大学学报(自然科学版);2001年02期

8 闫坤如;对排中律的辩证理解[J];淮阴师范学院学报(哲学社会科学版);2004年03期

9 余俊伟;;经典逻辑视野下的非经典否定[J];哲学动态;2010年07期

10 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期

中国重要会议论文全文数据库 前1条

1 俞颖杰;;达米特论指称和涵义[A];第二届中国科技哲学及交叉学科研究生论坛论文集（博士卷）[C];2008年

中国硕士学位论文全文数据库 前3条

1 张保垒;表列演算探究[D];华东师范大学;2011年

2 任贵龙;达米特反应在论的逻辑观及其意义[D];山西大学;2013年

3 陈珊;核证逻辑研究[D];中国社会科学院研究生院;2011年

，

本文编号：1184274