逻辑悖论与固定点定理.pdf

重庆理工大学学报（社会科学）　　２０１６年第３０卷第１期 逻辑与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ．３０Ｎｏ．１２０１６ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１６７４－８４２５（ｓ）．２０１６．０１．００３ 逻辑悖论与固定点定理 １ ２ 刘靖贤 ，王永峰 （１．辽宁大学 哲学与公共管理学院，沈阳　１１００３６；２．沈阳工程学院思政部，沈阳　１１０１３６） 摘要：罗素悖论的解决方案被划分为两大范畴：有类型限制的方案和无类型限制的方案。无类 型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑，它的一致性证明在实质上是 利用固定点定理构造模型。在介绍克里悖论、莫绍揆悖论和吉尔莫尔悖论，回顾这些悖论的解 决方案与布劳威尔固定点定理和塔斯基固定点定理之间的内在关联的基础上，探讨无类型限制 方案在二