您的位置： 专家智库 > >

国家社会科学基金(10CZX036)

作品数：2 被引量：3H指数：1
相关作者：熊明更多>>
相关机构：华南师范大学更多>>
发文基金：国家社会科学基金更多>>
相关领域：哲学宗教更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇哲学宗教

主题

  • 1篇定理
  • 1篇形式语言
  • 1篇语句
  • 1篇语义网
  • 1篇塔斯基
  • 1篇自指
  • 1篇悖论
  • 1篇谓词
  • 1篇哥德尔
  • 1篇哥德尔不完全...

机构

  • 2篇华南师范大学

作者

  • 2篇熊明

传媒

  • 1篇哲学研究
  • 1篇逻辑学研究

年份

  • 1篇2014
  • 1篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
悖论的自指性与循环性被引量：2
2014年
本文使用语义网分析悖论与自指性和循环性。主要结论是证明了有穷悖论都是自指的,同时其矛盾性必定基于循环性。我们还证明存在非自指但基于循环性的(无穷)悖论,比如亚布鲁悖论及其一般变形;又证明了存在自指但不基于循环性的(无穷)悖论,比如超穷赫兹伯格悖论和麦基悖论。这表明自指性与循环性对悖论而言是两个不同的概念。
熊明
关键词：悖论语义网
真谓词的一个新模式被引量：1
2013年
受哥德尔不完全性定理的启示，塔斯基提出了著名的算术真之不可定义性定理（常称为“塔斯基定理”）：任何一个形式语言，如果它丰富到足以包含算术，那么就不可能包含这样一个谓词T，使得模式“T“A”，当且仅当A”对这个语言中的任何语句A都成立。
熊明
关键词：哥德尔不完全性定理谓词形式语言塔斯基语句
全选 清除 导出
共1页<1>
聚类工具0