相干逻辑的产生及评价 被引量：1

1

作者 刘步青 《重庆理工大学学报（社会科学）》 CAS 2013年第9期84-87,共4页

在概述"蕴涵怪论"与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改。认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景。然而,相干逻辑比经典逻辑、模态逻辑更加抽... 在概述"蕴涵怪论"与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改。认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景。然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑。 展开更多

关键词 蕴含怪论 相干逻辑 经典逻辑 模态逻辑

下载PDF 职称材料

实质蕴涵“严峻反例”的两大化解路径探析 被引量：1

2

作者 杨洋 《贵州工程应用技术学院学报》 2015年第4期70-74,共5页

实质蕴涵理论是逻辑学的一种基础理论,但它长期面临着蕴涵怪论的质疑,尤其是一些反例成为实质蕴涵理论的严峻考验。针对它所面临的"严峻反例",国内目前主要有两种不同的化解路径:以程仲棠为代表的命题逻辑方案和以张建军为代... 实质蕴涵理论是逻辑学的一种基础理论,但它长期面临着蕴涵怪论的质疑,尤其是一些反例成为实质蕴涵理论的严峻考验。针对它所面临的"严峻反例",国内目前主要有两种不同的化解路径:以程仲棠为代表的命题逻辑方案和以张建军为代表的形式蕴涵方案。这两种方案有着本质差别,究竟哪一种更合理,这需要立足于具体的分析来进行抉择。 展开更多

关键词 蕴涵怪论 严峻反例 直觉

下载PDF 职称材料

含意理论与蕴涵怪论(下)——规约含意能消解“蕴涵怪论”吗? 被引量：1

3

作者 胡怀亮 《云南师范大学学报（哲学社会科学版）》 CSSCI 2010年第1期63-68,共6页

与格赖斯一样,杰克逊也认为把条件句作实质蕴涵的解释是不令人满意的,但却是真的;与格赖斯不同的是,他提出了一个不同的辩护方式,即利用规约含意理论对蕴涵怪论(paradox)进行消解。他认为蕴涵怪论的出现是因为我们自始至终搞混了真和可... 与格赖斯一样,杰克逊也认为把条件句作实质蕴涵的解释是不令人满意的,但却是真的;与格赖斯不同的是,他提出了一个不同的辩护方式,即利用规约含意理论对蕴涵怪论(paradox)进行消解。他认为蕴涵怪论的出现是因为我们自始至终搞混了真和可断定性,即自始至终坚持确定的条件句不是真的,因为它们不是可断定的。这种辩护与格赖斯的辩护一样,也存在一定的局限性。 展开更多

关键词 蕴涵怪论 规约含意 消解 局限性

下载PDF 职称材料

制约逻辑与相干逻辑比较研究

4

作者 胡红 盛作国 《毕节学院学报（综合版）》 2008年第1期52-56,共5页

实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论。因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴... 实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论。因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴涵相联系的E系统都采用entailment这个词来表征,故易被误认作相近的系统。事实上,制约关系与相干蕴涵不同;制约逻辑接纳而相干逻辑排斥选言推理,故此二者殊异。认为制约逻辑与相干逻辑等价,是一种误解。 展开更多

关键词 蕴涵怪论 制约逻辑 两个独立性 相干逻辑 选言推理

下载PDF 职称材料

三谈反证法的可操作性——基于蕴涵怪论与哥德尔不完全性定理

5

作者 黄汝广 《大众科技》 2017年第5期132-134,146,共4页

文章认为,蕴涵关系"P→Q"基于命题P与Q的真值约定是不可取的,而应该将其定义为有效推理,这样不但可以解决通常所谓的蕴涵怪论,更可以使我们对反证法有新的认识。实际上,由于"已知事实"的被忽略,反证法的两种常见模... 文章认为,蕴涵关系"P→Q"基于命题P与Q的真值约定是不可取的,而应该将其定义为有效推理,这样不但可以解决通常所谓的蕴涵怪论,更可以使我们对反证法有新的认识。实际上,由于"已知事实"的被忽略,反证法的两种常见模式——"~P→P,所以P"与"~P→Q,~P→~Q,所以P"——都是存在问题的;为此,在所谓的标准模式中,笔者特别强调了"已知事实"的重要性。最后,通过梳理哥德尔不完全性定理的整个证明过程,发现了三个导致其证明无效的重要因素:(1)根据"定理Ⅴ"推导的式(15)(16)有误,并且两式的"或"关系,被误当作了"与"关系;(2)使用了反证法的不当模式,也即"~P→Q,~P→~Q,所以P";(3)在肯定前件式的假言推理中,由于概念混淆造成了前件被肯定的假象。 展开更多

关键词 蕴涵怪论 有效推理 反证法 事实 哥德尔不完全性定理

下载PDF 职称材料

对命题逻辑斯谛有效式的剖析

6

作者 龚启荣 《贵阳学院学报（自然科学版）》 2002年第3期59-62,共4页

逻辑斯谛中作为纯真值联结词的蕴涵和传统逻辑中表述充分条件关系的命题联结词“若,则”的语义全然不同,任一重言式都不是能据以进行不循环论证的传统推理式。

关键词 逻辑斯谛 有效式 蕴涵怪论 传统逻辑 推理式 导出式

下载PDF 职称材料

从相干逻辑看逻辑的可修正性 被引量：1

7

作者 颜中军 《毕节学院学报（综合版）》 2011年第3期44-48,共5页

相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的"非经典逻辑"。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改。总体来说,相干逻辑的修改方案是可行的和成功的。但是,相干逻辑仍然面临诸多问题,有待进... 相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的"非经典逻辑"。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改。总体来说,相干逻辑的修改方案是可行的和成功的。但是,相干逻辑仍然面临诸多问题,有待进一步解决和完善。 展开更多

关键词 相干逻辑 逻辑的可修正性 相干性 蕴涵怪论

下载PDF 职称材料

知识蕴涵模态逻辑系统 被引量：5

8

作者 杜国平 李娜 +1 位作者 王洪光 徐良 《徐州师范大学学报（哲学社会科学版）》 2008年第5期60-63,共4页

使用经典逻辑对海量知识系统进行分析处理和信息挖掘,需要解决的关键问题之一就是司各脱法则问题。基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略。在根据这种策略而建立的知识蕴涵命题逻辑系统中:1... 使用经典逻辑对海量知识系统进行分析处理和信息挖掘,需要解决的关键问题之一就是司各脱法则问题。基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略。在根据这种策略而建立的知识蕴涵命题逻辑系统中:1.蕴涵关系符合直觉;2.经典逻辑中基本的逻辑规律在该系统中得以保留;3.不改变经典否定、合取的性质;4.司各脱法则不成立。在知识蕴涵命题逻辑的基础上,构建了一个知识蕴涵模态命题逻辑系统,它可以描述包含模态信息的不协调知识系统的推理机制。根据给出的形式语义,证明了该系统的可靠性和完全性,并且证明了严格蕴涵悖论在该系统中不会出现。 展开更多

关键词 逻辑 知识蕴涵 模态 严格蕴涵悖论

下载PDF 职称材料

从“三阶段分析”看实质蕴涵怪论——兼评“蕴涵层级论”

9

作者 苏庆辉 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2017年第3期29-35,共7页

在讨论条件句的文献中,"实质蕴涵怪论"常被视为一个证据来反对经典逻辑,因为经典逻辑将条件句视为一个真值函数,而这样的语意论会导致许多语意上为真但直觉上为假的反例。基于此,有些哲学家试图透过语用方法解释这些反例,以... 在讨论条件句的文献中,"实质蕴涵怪论"常被视为一个证据来反对经典逻辑,因为经典逻辑将条件句视为一个真值函数,而这样的语意论会导致许多语意上为真但直觉上为假的反例。基于此,有些哲学家试图透过语用方法解释这些反例,以维护经典逻辑对条件句的解释。不过这不会是一个一劳永逸的解决方法,因为反对者总是可以造出反例。"三阶段分析"的提出,可以用来捍卫经典逻辑。此外,张建军提出的"蕴涵层级论",可以为经典逻辑提供更进一步的支持,并能够加强"三阶段分析"的威力,使得我们可以更有效且直观地处理实质蕴涵怪论。 展开更多

关键词 条件句 实质蕴涵怪论 蕴涵层级论

原文传递

蕴涵刍议 被引量：6

10

作者 胡泽洪 《华南师范大学学报（社会科学版）》 CSSCI 北大核心 2006年第5期1-6,共6页

实质蕴涵与否定、合取、析取、等值等其他逻辑联结词一样,其实质是对自然语言中复句的关联词所进行的合理的逻辑抽象,所谓的“实质蕴涵怪论”其实并不怪,它是人们要求实质蕴涵反映条件联系中除真假联系之外的内容、意义方面的联系,从而... 实质蕴涵与否定、合取、析取、等值等其他逻辑联结词一样,其实质是对自然语言中复句的关联词所进行的合理的逻辑抽象,所谓的“实质蕴涵怪论”其实并不怪,它是人们要求实质蕴涵反映条件联系中除真假联系之外的内容、意义方面的联系,从而作了错误的解读所造成的;作为一种特殊的条件语句,在反事实条件句与实质蕴涵的关系问题上,在反事实条件句与一般性条件句的区分上,还有很多地方需要进一步探索。 展开更多

关键词 实质蕴涵 实质蕴涵怪论 反事实条件句

下载PDF 职称材料

论蕴涵 被引量：2

11

作者 臧艳雨 任远 《中山大学研究生学刊（社会科学版）》 2005年第1期18-24,共7页

本文详细讨论了蕴涵连接词的意义及分类,特别是实质蕴涵的意义,并试图通过分析"实质蕴涵怪论"产生的原因,从而为实质蕴涵辩护。

关键词 实质蕴涵 连接词 意义

下载PDF 职称材料

对蕴涵及其“怪论”的思考

12

作者 周君 《绵阳师范学院学报》 2012年第1期111-113,共3页

经典逻辑由于出现了"实质蕴涵怪论"而遭到非议,其原因无非是把经典逻辑当成了"普遍适用"的逻辑规律。本文从实质蕴涵概念入手,概述了多种蕴涵理论,从而为实质蕴涵及其"怪论"辩护。

关键词 蕴涵 实质蕴涵 蕴涵怪论 逻辑与认识

下载PDF 职称材料