逻辑悖论与固定点定理-重庆理工大学学报.PDFVIP

重庆理工大学学报（社会科学）　　２０１６年第３０卷第１期 逻辑与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ．３０Ｎｏ．１２０１６ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１６７４－８４２５（ｓ）．２０１６．０１．００３ 逻辑悖论与固定点定理 １ ２ 刘靖贤 ，王永峰 （１．辽宁大学 哲学与公共管理学院，沈阳　１１００３６；２．沈阳工程学院思政部，沈阳　１１０１３６） 摘要：罗素悖论的解决方案被划分为两大范畴：有类型限制的方案和无类型限制的方案。无类 型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑，它的一致性证明在实质上是 利用固定点定理构造模型。在介绍克里悖论、莫绍揆悖论和吉尔莫尔悖论，回顾这些悖论的解 决方案与布劳威尔固定点定理和塔斯基固定点定理之间的内在关联的基础上，探讨无类型限制 方案在二阶罗素悖论中的应用，并且证明一系列相关结果。 关键词：罗素悖论；克里悖论；布劳威尔固定点定理；塔斯基固定点定理；巴拿赫固定点定理 中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１６）０１－００１２－０８ ＬｏｇｉｃａｌＰａｒａｄｏｘａｎｄＦｉｘｅｄＰｏｉｎｔＴｈｅｏｒｅｍ １ ２ ＬＩＵＪｉｎｇｘｉａｎ，ＷＡＮＧＹｏｎｇｆｅｎｇ （１．ＰｈｉｌｏｓｏｐｈｙａｎｄＰｕｂｌｉｃＭａｎａｇｅｍｅｎｔＳｃｈｏｏｌ，ＬｉａｏｎｉｎｇＵｎｉｖｅｒｓｉｔｙ，Ｓｈｅｎｙａｎｇ１１００３６，Ｃｈｉｎａ； ２．ＤｅｐａｒｔｍｅｎｔｏｆＩｄｅｏｌｏｇｉｃａｌａｎｄＰｏｌｉｔｉｃａｌＥｄｕｃａｔｉｏｎ，ＳｈｅｎｙａｎｇＩｎｓｔｉｔｕｔｅｏｆＥｎｇｉｎｅｅｒｉｎｇ，Ｓｈｅｎｙａｎｇ１１０１３６，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：ＳｏｌｕｔｉｏｎｓｔｏＲｕｓｓｅｌｌ’ｓｐａｒａｄｏｘｃａｎｂｅｃｌａｓｓｉｆｉｅｄｉｎｔｏｔｗｏｃａｔｅｇｏｒｉｅｓ：ｔｙｐｅｔｈｅｏｒｉｅｓａｎｄｔｙｐｅ ｆｒｅｅｔｈｅｏｒｉｅｓ．Ｔｈｅｂａｃｋｇｒｏｕｎｄｌｏｇｉｃｏｆｔｙｐｅｆｒｅｅｔｈｅｏｒｉｅｓｉｓｍａｎｙｖａｌｕｅｄｌｏｇｉｃｏｒｃｌａｓｓｉｃａｌｌｏｇｉｃｗｉｔｈｏｕｔ ｎｅｇａｔｉｏｎ，ａｎｄｔｈｅｃｏｎｓｉｓｔｅｎｃｙｐｒｏｏｆｏｆｔｙｐｅｆｒｅｅｔｈｅｏｒｉｅｓｅｓｓｅｎｔｉａｌｌｙｒｅｌｉｅｓｏｎｆｉｘｅｄｐｏｉｎｔｔｈｅｏｒｅｍｓｔｏ ｃｏｎｓｔｒｕｃｔｍｏｄｅｌｓ．ＴｈｉｓｐａｐｅｒｉｎｔｒｏｄｕｃｅｄＣｕｒｒｙ’ｓｐａｒａｄｏｘ，ＭｏｈＳｈａｗＫｗｅｉ’ｓｐａｒａｄｏｘａｎｄＧｉｌｍｏｒｅ’ｓ ｐａｒａｄｏｘ，ａｎｄｉｔａｌｓｏｒｅｖｉｅｗｅｄｔｈｅｉｒｃｏｎｎｅｃｔｉｏｎｗｉｔｈＢｒｏｗｅｒｆｉｘｅｄｐｏｉｎｔｔｈｅｏｒｅｍａｎｄＴａｒｓｋｉｆｉｘｅｄｐｏｉｎｔ ｔｈｅｏｒｅｍ．Ｔｈｉｓｐａｐｅｒａｌｓｏｅｘｐｌｏｒｅｄｔｈｅａｐｐｌｉｃａｔｉｏｎｏｆｆｉｘｅｄｐｏｉｎｔｔｈｅｏｒｅｍｉｎｓｅｃｏｎｄｏｒｄｅｒｖｅｒｓｉｏｎｏｆ Ｒｕｓｓｅｌｌ’ｓｐａｒａｄｏｘａｎｄｖｅｒｉｆｉｅｄｒｅｌａｔｅｄｒｅｓｕｌｔｓ． Ｋｅｙｗｏｒｄｓ：Ｒｕｓｓｅｌｌ’ｓｐａｒａｄｏｘ；Ｃｕｒｒｙ’ｓｐａｒａｄｏｘ；Ｂｒｏｗｅｒｆｉｘｅｄｐｏｉｎｔｔｈｅｏｒｅｍ；Ｔａｒｓｋｉｆｉｘｅｄｐｏｉｎｔｔｈｅ ｏｒｅｍ；Ｂａｎａｃｈｆｉｘｅｄｐｏｉｎｔｔｈｅｏｒｅｍ 　　收稿日期：２０１５－１２－１４ 基金项目：国家社会科学基金青年项目“弗雷格哲学著作编译研究”（１５ＣＺＸ０３５） 作者简介：刘靖贤（１９８２—），男，河北唐山人，副教授，博士，研究方向：逻辑哲学；王永峰（１９７９—），男，新疆哈密 人，讲师，硕士，研究