逻辑悖论与固定点定理

来源 :重庆理工大学学报:社会科学版 | 被引量 : 0次 | 上传用户:gxblackjack
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
罗素悖论的解决方案被划分为两大范畴:有类型限制的方案和无类型限制的方案。无类型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑,它的一致性证明在实质上是利用固定点定理构造模型。在介绍克里悖论、莫绍揆悖论和吉尔莫尔悖论,回顾这些悖论的解决方案与布劳威尔固定点定理和塔斯基固定点定理之间的内在关联的基础上,探讨无类型限制方案在二阶罗素悖论中的应用,并且证明一系列相关结果。
其他文献
通过和其他4条主要解决路径的对比,来确立说谎者悖论的非良基语义指称解决路径的恰当性。以对这5条路径的诊治状况的初步比较为背景,呼吁回到语言分析来理解说谎者句子。一方
目的:探讨健脑片的作用机理.方法:观察健脑片对D-半乳糖所致衰老模型小鼠肝、脑匀浆及血浆中过氧化脂质(LPO)含量,血液超氧化物歧化酶(SOD)及过氧化氢酶(CAT)活力的影响.结果
目的:探索制作溃疡性结肠炎(UC)肝郁大鼠模型的最佳方法.方法:采用免疫法及束缚法的复合因素制作UC肝郁大鼠模型,对其进行整体状态、病理形态学以及髓过氧化物酶(MPO)活力效
蒲州故城位于山西省永济市西南约17公里处的黄河东岸,现存城垣为明代在唐河中府的基础上所建,分内、外城。外城为唐夯土城,内城为明夯土包砖城。外城存东土门及东南角、东北
宽带移动通信已经成为国际新的一轮技术和产业竞争的焦点,今后十年将是宽带无线技术发展的关键时期。加快发展宽带移动通信已成为全世界业者的共识,但是什么样的技术将成为未来