全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
发文数量
被引数量
学者研究热点:
    引用
    筛选:
    文献类型 文献类型
    学科分类 学科分类
    发表年度 发表年度
    基金 基金
    研究层次 研究层次
    排序:
    显示:
    CNKI为你找到相关结果

    说谎者悖论的恶性循环  CNKI文献

    As to the truth-value assignment of the Liar Sentence in the frame,it is found that the Liar sentence is contradictory in some frames in the sense that it can not be assigned the truth value in these...

    熊明 《哲学研究》 2008年11期 期刊

    关键词: 说谎者悖论 / 语句 / 赋值 / 真值

    下载(627)| 被引(14)

    真与悖论的逻辑分析:从目的论解释到定量描述  CNKI文献

    根据克莱因观点,近代科学的兴起源于伽利略在研究目标上的一个新设定:对科学现象获得独立于目的论解释的定量描述。本文论证了同样精神的目标设定正发生在真理论领域。塔斯基、克里普克、弗里德曼和谢尔德的真理论以消...

    赵艺 熊明 《世界哲学》 2018年02期 期刊

    关键词: 悖论 / 定量描述 / 目的论解释 / T-模式

    下载(143)| 被引(0)

    真谓词的一个新模式  CNKI文献

    受哥德尔不完全性定理的启示,塔斯基提出了著名的算术真之不可定义性定理(常称为"塔斯基定理"):任何一个形式语言,如果它丰富到足以包含算术,那么就不可能包含这样一个谓词T,使得模式"T"A",...

    熊明 《哲学研究》 2013年06期 期刊

    关键词: 真谓词 / 悖论性 / 塔斯基 / 克里普克

    下载(121)| 被引(1)

    休谟问题的逻辑正解  CNKI文献

    休谟问题所应具有的形式当为 :如何合理地辩护因果关系中涉及到的推理的必然性 ?从逻辑的角度 ,它可解读为如下“因果推理问题” :如何合理地辩护任何一个因果推理都满足下述必须性条件 :从其前提能够必然地得出其结论...

    熊明 《华南师范大学学报(社会科学版)》 2001年05期 期刊

    关键词: 科学哲学 / 归纳逻辑 / 休谟问题 / 因果推理

    下载(492)| 被引(6)

    布尔悖论的雅布鲁展开式  CNKI文献

    根据库克等人的提法,雅布鲁悖论可看作是说谎者悖论的"展开"。这种展开被证明保持了说谎者的悖论度,从而也保持了它的循环性,并且这种保持对n-卡片悖论及其展开也成立。将这个结论进一步推广到更大的一类悖...

    陈智斌 熊明 《华南师范大学学报(社会科学版)》 2019年04期 期刊

    关键词: 悖论度 / 布尔悖论 / 循环性 / 雅布鲁悖论

    下载(17)| 被引(0)

    塔斯基定理的一种推广  CNKI文献

    当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的特征。本文证明了在使用说谎者悖论证明塔斯基定理时,在并且仅在有向图中含有奇循环时,说谎者悖论才会导致矛...

    熊明 《逻辑学研究》 2010年01期 期刊

    关键词: 有向图 / 佐丹卡片悖论 / 说谎者悖论 / 塔斯基定理

    下载(189)| 被引(3)

    古德曼悖论与形式的归纳逻辑系统  CNKI文献

    之所以会产生古德曼悖论 ,不仅是因为类律假说和偶适假说的混同 ,而且也是因为对归纳的这样一个似是而非的刻画 :假设归纳推理的前提都为真 ,则其结论不一定但很可能为真 (即所谓的“归纳概然性特征”)。这证明基于归...

    熊明 《华南师范大学学报(社会科学版)》 2003年05期 期刊

    关键词: 归纳逻辑 / 归纳 / 古德曼悖论 / 归纳逻辑系统

    下载(373)| 被引(5)

    超赋值与悖论度  CNKI文献

    克里普克在利用超赋值模式对真谓词进行构造时,使用了含糊谓词精确化的技术过程,但这种精确化一直缺少一个通过取舍点来分割语句的模型,这使得这种精确化在哲学上站不住脚。通过借助悖论度的概念,建立真谓词论域中的悖...

    熊明 《湖南科技大学学报(社会科学版)》 2017年01期 期刊

    关键词: 取舍点 / 悖论 / 悖论度 / 超赋值

    下载(87)| 被引(0)

    悖论的自指性与循环性  CNKI文献

    本文使用语义网分析悖论与自指性和循环性。主要结论是证明了有穷悖论都是自指的,同时其矛盾性必定基于循环性。我们还证明存在非自指但基于循环性的(无穷)悖论,比如亚布鲁悖论及其一般变形;又证明了存在自指但不基于...

    熊明 《逻辑学研究》 2014年02期 期刊

    关键词: 悖论 / 框架 / 循环性 / 语义网

    下载(180)| 被引(1)

    Yablo悖论的循环性与不一致性问题  CNKI文献

    Yablo悖论是除说谎者悖论外最具争议的语义悖论。目前,Yablo悖论的研究归结为两个问题:Yablo悖论是类似于说谎者悖论那样具有循环性的悖论吗?Yablo悖论是严格意义上的悖论吗?我们通过厘清第一个问题的相关争论,指出需...

    赵艺 熊明 《学术研究》 2016年12期 期刊

    关键词: Yablo悖论 / 循环性 / 自指性 / 不一致性

    下载(67)| 被引(0)

    克林强三值模式与修正过程  CNKI文献

    真之修正理论主要在经典二值模式下展开修正过程,但这种过程同时也兼容非经典赋值模式。本文在克林强三值这一典型的非经典赋值模式下规定修正过程,并利用这种过程对带真谓词的语句尤其是悖论语句进行了分析。由此给出...

    林其清 熊明 《世界哲学》 2016年04期 期刊

    关键词: 真谓词 / 修正规则 / 修正序列 / 悖论

    下载(56)| 被引(1)

    一阶逻辑的内涵语义  CNKI文献

    熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义,一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释,内涵语义的解释使一...

    熊明 《湖南科技大学学报(社会科学版)》 2006年06期 期刊

    关键词: 一阶逻辑 / 外延语义 / 内涵语义

    下载(245)| 被引(4)

    不带不动点的雅布鲁式悖论存在吗?  CNKI文献

    普里斯特发现为了在标准的带有真谓词符的算术语言中形式化雅布鲁序列,需要借助不动点谓词的构造。而不动点谓词本身是一种循环性结构,在这个意义上,雅布鲁序列与说谎者语句一样也具有循环性特征。通过构造一大类雅布...

    赵艺 熊明 《华南师范大学学报(社会科学版)》 2018年03期 期刊

    关键词: 悖论 / 不动点 / 普里斯特 / 雅布鲁

    下载(39)| 被引(1)

    演绎系统和归纳系统一一对应  CNKI文献

    推理的演绎与归纳之分是从推理的导出关系而言的。推理的结论为其前提演绎地导出是指:如果推理的前提都为真,那么其结论为真,而推理的结论为其前提归纳地导出是指:如果推理的前提都为假,那么其结论为假。在形式语义学...

    熊明 《中山大学学报(社会科学版)》 2003年S1期 期刊

    关键词: 演绎 / 归纳 / 形式系统 / 形式语义

    下载(447)| 被引(1)

    艾尔布朗语义下的真谓词  CNKI文献

    艾尔布朗语义是一种不同于塔斯基语义的一阶语言解释。本文对艾尔布朗语义下的真理论进行初步探讨,试图比较艾尔布朗语义下和塔斯基语义下真谓词的异同。相同之处比如在两种语义下都可使用说谎者悖论得到塔斯基定理。...

    熊明 《湖北大学学报(哲学社会科学版)》 2014年05期 期刊

    关键词: 艾尔布朗语义 / 塔斯基语义 / T-模式 / 亚布鲁悖论

    下载(51)| 被引(0)

    论归纳的逻辑特征  CNKI文献

    基于归纳的可加强性和概然性对归纳进行逻辑分析是归纳逻辑的主流观点。然而,可加强性被证明只是个人对归纳产生的心理特征,它与归纳的逻辑分析无关。而概然性特征则被证明并没有揭示推理之为归纳的真正所在——即并没...

    熊明 2005年逻辑研究专辑 2005-06-30 中国会议

    关键词: 归纳 / 归纳逻辑 / 可加强性 / 概然性

    下载(72)| 被引(0)

    古典命题演算的直觉主义语义分析  CNKI文献

    本文相对于直觉主义命题逻辑的克里普克关系语义给出古典命题演算的内涵特征。节1把通常的直觉主义命题逻辑的克里普克关系语义推广为T- 框架语义,为建立直觉主义命题演算的扩充系统的内涵特征提供一个一般性的构架。...

    熊明 2000年逻辑研究专辑 2000-06-30 中国会议

    关键词: 直觉主义 / 定义 / 逻辑系统 / 框架语义

    下载(33)| 被引(0)

    斯穆里安合并记法的一种变形  CNKI文献

    公式按照其语义特征可被合并为实质蕴涵型公式和荒谬蕴涵型公式,由此任何一个公式都可被分解为前件和后件两个部分。这一合并简化了斯穆里安著名的合并记法。就这一新的合并记法,提出了两种结构归纳证明,建立了一个希...

    熊明 《华南师范大学学报(社会科学版)》 2010年03期 期刊

    关键词: 公式 / 斯穆里安合并记法 / 结构归纳法 / 实质蕴涵

    下载(31)| 被引(0)

    古典谓词归纳逻辑的构造  CNKI文献

    对照通常的古典谓词演算,我们从语形角度构造了一个古典谓词归纳演算。然后,仍然对照古典谓词演绎演算的通常语义解释,我们给出了此古典谓词归纳演算对应的“归纳语义”,并通过澄清演绎语义和归纳语义的关系,我们证明...

    熊明 2001年逻辑研究专辑 2001-06-30 中国会议

    关键词: 归纳逻辑 / 古典谓词归纳演算 / 古典谓词演绎演算 / 归纳语义

    下载(21)| 被引(0)

    关于本体的严格定义  CNKI文献

    本体是形而上学的核心概念。我们可把此概念表述为:“那个‘本体’”是而且仅是使“那个”成为可能的全部东西。这表明本体的直观的两个相互一致的层次:当下的本体和作为对象的本体。前者只具有心理意义,作为对象的...

    熊明 《华南师范大学学报(社会科学版)》 2000年03期 期刊

    关键词: 本体 / 本体的直观 / 集合 / 序关系

    下载(93)| 被引(0)

    学术研究指数分析(近十年)详情>>

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      轻松读懂《孙子兵法》