您的位置： 专家智库 > >

王永峰

作品数：1 被引量：1H指数：1
供职机构：沈阳工程学院更多>>
发文基金：国家社会科学基金更多>>
相关领域：哲学宗教更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇哲学宗教

主题

  • 1篇塔斯基
  • 1篇悖论
  • 1篇罗素悖论
  • 1篇逻辑悖论
  • 1篇巴拿赫

机构

  • 1篇辽宁大学
  • 1篇沈阳工程学院

作者

  • 1篇刘靖贤
  • 1篇王永峰

传媒

  • 1篇重庆理工大学...

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
逻辑悖论与固定点定理被引量：1
2016年
罗素悖论的解决方案被划分为两大范畴:有类型限制的方案和无类型限制的方案。无类型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑,它的一致性证明在实质上是利用固定点定理构造模型。在介绍克里悖论、莫绍揆悖论和吉尔莫尔悖论,回顾这些悖论的解决方案与布劳威尔固定点定理和塔斯基固定点定理之间的内在关联的基础上,探讨无类型限制方案在二阶罗素悖论中的应用,并且证明一系列相关结果。
刘靖贤王永峰
关键词：罗素悖论
全选 清除 导出
共1页<1>
聚类工具0