逻辑悖论与固定点定理

摘要：

罗素悖论的解决方案被划分为两大范畴:有类型限制的方案和无类型限制的方案.无类型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑,它的一致性证明在实质上是利用固定点定理构造模型.在介绍克里悖论、莫绍揆悖论和吉尔莫尔悖论,回顾这些悖论的解决方案与布劳威尔固定点定理和塔斯基固定点定理之间的内在关联的基础上,探讨无类型限制方案在二阶罗素悖论中的应用,并且证明一系列相关结果.

关键词：罗素悖论、克里悖论、布劳威尔固定点定理、塔斯基固定点定理、巴拿赫固定点定理

所属期刊栏目：30

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

资助基金：国家社会科学基金青年项目"弗雷格哲学著作编译研究"15CZX035

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

页数：共8页

页码：12-19