熊明
- 作品数：21 被引量：28H指数：2
- 供职机构：华南师范大学政治与行政学院更多>>
- 发文基金：国家社会科学基金教育部人文社会科学重点研究基地度重大研究项目广东省普通高校人文社会科学研究项目更多>>
- 相关领域：哲学宗教文化科学经济管理理学更多>>
- 塔斯基定理的一种推广被引量：3
- 2010年
- 当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的特征。本文证明了在使用说谎者悖论证明塔斯基定理时,在并且仅在有向图中含有奇循环时,说谎者悖论才会导致矛盾;在使用佐丹卡片悖论证明塔斯基定理时,在并且仅在有向图中含有高度不能被4整除的循环时,佐丹卡片悖论才会导致矛盾,这表明当T-模式拓展到有向图时,哥德尔关于"认识论悖论"应用于不完全性证明的思想能够被非平庸地类推于真之不可定义性的证明中。
- 熊明
- 关键词：有向图说谎者悖论
- 布尔悖论的雅布鲁展开式
- 2019年
- 根据库克等人的提法,雅布鲁悖论可看作是说谎者悖论的“展开”。这种展开被证明保持了说谎者的悖论度,从而也保持了它的循环性,并且这种保持对n-卡片悖论及其展开也成立。将这个结论进一步推广到更大的一类悖论———布尔悖论上,利用语句网来表达布尔悖论及其展开可以证明,任何一个布尔悖论与其展开都具有相同的悖论度,还可证明两者依赖了相同的循环性。
- 陈智斌熊明
- 克林强三值模式与修正过程
- 2016年
- 真之修正理论主要在经典二值模式下展开修正过程,但这种过程同时也兼容非经典赋值模式。本文在克林强三值这一典型的非经典赋值模式下规定修正过程,并利用这种过程对带真谓词的语句尤其是悖论语句进行了分析。由此给出了这些语句的一个更多样化的分类。这表明克林强三值赋值下的修正理论不但是一个包容性更强的修正理论,而且还为古普塔提出的真谓词的描述性问题提供了一个更全面的解决方案。
- 林其清熊明
- 关键词：悖论
- 论归纳的逻辑特征
- 基于归纳的可加强性和概然性对归纳进行逻辑分析是归纳逻辑的主流观点。然而,可加强性被证明只是个人对归纳产生的心理特征,它与归纳的逻辑分析无关。而概然性特征则被证明并没有揭示推理之为归纳的真正所在——即并没有揭示推理的前提如...
- 熊明
- 关键词：归纳逻辑
- 文献传递
- 悖论的自指性与循环性被引量：2
- 2014年
- 本文使用语义网分析悖论与自指性和循环性。主要结论是证明了有穷悖论都是自指的,同时其矛盾性必定基于循环性。我们还证明存在非自指但基于循环性的(无穷)悖论,比如亚布鲁悖论及其一般变形;又证明了存在自指但不基于循环性的(无穷)悖论,比如超穷赫兹伯格悖论和麦基悖论。这表明自指性与循环性对悖论而言是两个不同的概念。
- 熊明
- 关键词：悖论语义网
- Yablo悖论的循环性与不一致性问题被引量：1
- 2016年
- Yablo悖论是除说谎者悖论外最具争议的语义悖论。目前,Yablo悖论的研究归结为两个问题:Yablo悖论是类似于说谎者悖论那样具有循环性的悖论吗?Yablo悖论是严格意义上的悖论吗?我们通过厘清第一个问题的相关争论,指出需要考虑悖论产生矛盾的循环性条件,进而指出Yablo悖论与说谎者悖论虽有不同的自指性,却具有相同的循环性。对第二个问题,我们从纯语义的角度对Yablo悖论的两种形式化进行分析,阐明Yablo悖论的ω-不一致性所在,进而指出在讨论Yablo悖论产生矛盾的循环性条件时,应予区分是在算术的标准模型下还是在非标准模型下。
- 赵艺熊明
- 古典命题演算的直觉主义语义分析
- 2000年
- 本文相对于直觉主义命题逻辑的克里普克关系语义给出古典命题演算的内涵特征。节l把通常的直觉主义命题逻辑的克里普克关系语义推广为T—框架语义，为建立直觉主义命题演算的扩充系统的内涵特征提供一个一般性的构架。……
- 熊明
- 真与悖论的逻辑分析:从目的论解释到定量描述被引量：1
- 2018年
- 根据克莱因观点,近代科学的兴起源于伽利略在研究目标上的一个新设定:对科学现象获得独立于目的论解释的定量描述。本文论证了同样精神的目标设定正发生在真理论领域。塔斯基、克里普克、弗里德曼和谢尔德的真理论以消除悖论为基本目的是典型的目的论解释性理论,而古普塔和赫兹伯格的真理论则通过悖论的周期性特征把定量分析引入到悖论的研究之中。而对悖论的矛盾性刻画把定量描述引向深入。本文呈现了现代真理论的这一变革进程,预示了真理论的发展方向。
- 赵艺熊明
- 关键词：悖论
- 古德曼悖论与形式的归纳逻辑系统被引量：2
- 2003年
- 之所以会产生古德曼悖论 ,不仅是因为类律假说和偶适假说的混同 ,而且也是因为对归纳的这样一个似是而非的刻画 :假设归纳推理的前提都为真 ,则其结论不一定但很可能为真 (即所谓的“归纳概然性特征”)。这证明基于归纳的概然性特征 ,不可能建立起形式的归纳逻辑。相反 ,一旦以下述归纳的必然性特征来刻画归纳 :假设归纳推理的前提都为假时 ,则其结论一定为假 。
- 熊明
- 关键词：归纳逻辑
- 休谟问题的逻辑正解被引量：2
- 2001年
- 休谟问题所应具有的形式当为 :如何合理地辩护因果关系中涉及到的推理的必然性 ?从逻辑的角度 ,它可解读为如下“因果推理问题” :如何合理地辩护任何一个因果推理都满足下述必须性条件 :从其前提能够必然地得出其结论 ?由此 ,通过肯定性地回答因果推理问题 ,即证实因果推理在下述意义上是必然的 :假使其前提都是假的 ,则其结论一定为假 。
- 熊明
- 关键词：科学哲学归纳逻辑因果推理休谟问题
