逻辑悖论与固定点定理

• 作者: 刘靖贤 王永峰
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 罗素悖论 克里悖论 布劳威尔固定点定理 塔斯基固定点定理 巴拿赫固定点定理
• 年，卷（期）: 2016,（1）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 12-19
• 页数: 8页
• 分类号: B81
• 字数: 8493字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2016.01.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王永峰	沈阳工程学院思政部	19	29	2.0	5.0
2	刘靖贤	辽宁大学哲学与公共管理学院	27	10	2.0	2.0