熊明

作品数：18被引量：27H指数：2
导出分析报告
供职机构：华南师范大学政治与行政学院更多>>
发文主题：悖论谓词归纳逻辑T-模说谎者悖论更多>>
发文领域：哲学宗教文化科学经济管理理学更多>>
发文期刊：《华南师范大学学报（社会科学版）》《自然辩证法研究》《哲学门》《世界哲学》更多>>
所获基金：国家社会科学基金教育部人文社会科学重点研究基地度重大研究项目广东省普通高校人文社会科学研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
布尔悖论的雅布鲁展开式
《华南师范大学学报（社会科学版）》2019年第4期183-188,I0004,共7页陈智斌 熊明 
国家社会科学基金重大项目“逻辑真理论的历史源流、理论前沿与应用研究”(17ZDA025)
根据库克等人的提法,雅布鲁悖论可看作是说谎者悖论的“展开”。这种展开被证明保持了说谎者的悖论度,从而也保持了它的循环性,并且这种保持对n-卡片悖论及其展开也成立。将这个结论进一步推广到更大的一类悖论———布尔悖论上,利用语...
关键词：悖论度 布尔悖论 循环性 雅布鲁悖论 语句网 
不带不动点的雅布鲁式悖论存在吗?被引量：2
《华南师范大学学报（社会科学版）》2018年第3期187-190,共4页赵艺 熊明 
国家社会科学基金重大项目"逻辑真理论的历史源流;理论前沿与应用研究"(17ZDA025)
普里斯特发现为了在标准的带有真谓词符的算术语言中形式化雅布鲁序列,需要借助不动点谓词的构造。而不动点谓词本身是一种循环性结构,在这个意义上,雅布鲁序列与说谎者语句一样也具有循环性特征。通过构造一大类雅布鲁式序列,可把普里...
关键词：悖论 不动点 普里斯特 雅布鲁 真 
真与悖论的逻辑分析:从目的论解释到定量描述被引量：1
《世界哲学》2018年第2期152-159,共8页赵艺 熊明 
国家社科基金重大项目"逻辑真理论的历史源流;理论前沿与应用研究"(项目编号:17ZDA025)的阶段性成果
根据克莱因观点,近代科学的兴起源于伽利略在研究目标上的一个新设定:对科学现象获得独立于目的论解释的定量描述。本文论证了同样精神的目标设定正发生在真理论领域。塔斯基、克里普克、弗里德曼和谢尔德的真理论以消除悖论为基本目的...
关键词：悖论 定量描述 目的论解释 T-模式 真 
超赋值与悖论度被引量：2
《湖南科技大学学报（社会科学版）》2017年第1期25-30,共6页熊明 
克里普克在利用超赋值模式对真谓词进行构造时,使用了含糊谓词精确化的技术过程,但这种精确化一直缺少一个通过取舍点来分割语句的模型,这使得这种精确化在哲学上站不住脚。通过借助悖论度的概念,建立真谓词论域中的悖论语句这类特殊的...
关键词：取舍点 悖论 悖论度 超赋值 真谓词 含糊谓词 
Yablo悖论的循环性与不一致性问题被引量：1
《学术研究》2016年第12期36-40,共5页赵艺 熊明 
Yablo悖论是除说谎者悖论外最具争议的语义悖论。目前,Yablo悖论的研究归结为两个问题:Yablo悖论是类似于说谎者悖论那样具有循环性的悖论吗?Yablo悖论是严格意义上的悖论吗?我们通过厘清第一个问题的相关争论,指出需要考虑悖论产生矛...
关键词：Yablo悖论 循环性 自指性 不一致性 
克林强三值模式与修正过程
《世界哲学》2016年第4期152-159,161,共8页林其清 熊明 
真之修正理论主要在经典二值模式下展开修正过程,但这种过程同时也兼容非经典赋值模式。本文在克林强三值这一典型的非经典赋值模式下规定修正过程,并利用这种过程对带真谓词的语句尤其是悖论语句进行了分析。由此给出了这些语句的一个...
关键词：真谓词 修正规则 修正序列 悖论 克林强三值模式 
艾尔布朗语义下的真谓词
《湖北大学学报（哲学社会科学版）》2014年第5期39-43,148,共5页熊明 
国家社会科学基金青年资助项目:10CZX036
艾尔布朗语义是一种不同于塔斯基语义的一阶语言解释。本文对艾尔布朗语义下的真理论进行初步探讨,试图比较艾尔布朗语义下和塔斯基语义下真谓词的异同。相同之处比如在两种语义下都可使用说谎者悖论得到塔斯基定理。不同的地方有:亚布...
关键词：艾尔布朗语义 塔斯基语义 T-模式 亚布鲁悖论 真谓词 
悖论的自指性与循环性被引量：2
《逻辑学研究》2014年第2期1-19,共19页熊明 
国家社会科学基金青年项目"哲学逻辑视角下的真理论研究"(10CZX036)
本文使用语义网分析悖论与自指性和循环性。主要结论是证明了有穷悖论都是自指的,同时其矛盾性必定基于循环性。我们还证明存在非自指但基于循环性的(无穷)悖论,比如亚布鲁悖论及其一般变形;又证明了存在自指但不基于循环性的(无穷)悖论...
关键词：悖论 框架 循环性 语义网 自指性 
真谓词的一个新模式被引量：1
《哲学研究》2013年第6期111-118,129,共8页熊明 
国家社会科学基金青年项目"哲学逻辑视角下的真理论研究"(编号10CZX036);广东省优秀青年创新人才培育项目(育苗工程项目)(编号WYM08064)研究成果
受哥德尔不完全性定理的启示，塔斯基提出了著名的算术真之不可定义性定理（常称为“塔斯基定理”）：任何一个形式语言，如果它丰富到足以包含算术，那么就不可能包含这样一个谓词T，使得模式“T“A”，当且仅当A”对这个语言中的任何...
关键词：哥德尔不完全性定理 谓词 形式语言 不可定义 塔斯基 算术 语句 
斯穆里安合并记法的一种变形
《华南师范大学学报（社会科学版）》2010年第3期107-111,共5页熊明 
广东省优秀青年创新人才培育项目(WYM08064);教育部人文社会科学重点研究基地重大项目"现代逻辑背景下的逻辑哲学问题研究"(07JJD720045)
公式按照其语义特征可被合并为实质蕴涵型公式和荒谬蕴涵型公式,由此任何一个公式都可被分解为前件和后件两个部分。这一合并简化了斯穆里安著名的合并记法。就这一新的合并记法,提出了两种结构归纳证明,建立了一个希尔伯特型古典逻辑系...
关键词：公式 斯穆里安合并记法 结构归纳法 实质蕴涵 荒谬蕴涵 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部