实质蕴涵四大辩护策略探析

1

作者 廖彦霖 《河南社会科学》 CSSCI 北大核心 2018年第2期102-106,共5页

为经典逻辑"实质蕴涵"联结词辩护,是化解"实质蕴涵怪论"的首要路径。辩护实质蕴涵的主要策略,可梳理为逻辑抽象策略、自然演绎策略、语用辩护策略以及新共性辩护策略。通过对这四大辩护策略的审视与比较分析可以发... 为经典逻辑"实质蕴涵"联结词辩护,是化解"实质蕴涵怪论"的首要路径。辩护实质蕴涵的主要策略,可梳理为逻辑抽象策略、自然演绎策略、语用辩护策略以及新共性辩护策略。通过对这四大辩护策略的审视与比较分析可以发现:"强硬"的逻辑抽象策略、"迂回"的自然演绎策略以及语用辩护的"切割"策略都难以令人满意;而新共性辩护策略借由量化视角与蕴涵层级论成功地"取消"了众多怪论,为实质蕴涵进行了双重辩护。新共性辩护策略的成功为经典逻辑的普适性增添了新的注脚。 展开更多

关键词 实质蕴涵 实质蕴涵怪论 实质蕴涵辩护 蕴涵层级论

在线阅读 下载PDF 职称材料

论实质蕴涵、形式蕴涵与逻辑蕴涵 被引量：3

2

作者 柯华庆 梁庆寅 《学术研究》 CSSCI 北大核心 2002年第6期94-99,共6页

本文将蕴涵分为三类:实质蕴涵、形式蕴涵与逻辑蕴涵,从多值逻辑角度解决了实质蕴涵、条件句与推论关系之间的关系,详细考察了三类蕴涵概念之间的区别和联系,从三种蕴涵角度区分了科学真理、数学真理与逻辑真理。

关键词 蕴涵关系 实质蕴涵 形式蕴涵 逻辑蕴涵

在线阅读 下载PDF 职称材料

论实质蕴涵、形式蕴涵与逻辑蕴涵 被引量：2

3

作者 柯华庆 梁庆寅 《中山大学学报（社会科学版）》 CSSCI 北大核心 2003年第S1期37-42,共6页

该文将蕴涵分为三类:实质蕴涵、形式蕴涵与逻辑蕴涵。从多值逻辑角度解决了实质蕴涵、条件句与推论关系之间的关系,详细考察了三类蕴涵概念之间的区别和联系,从三种蕴涵角度区分了科学真理、数学真理与逻辑真理。

关键词 蕴涵关系 实质蕴涵 形式蕴涵 逻辑蕴涵

在线阅读 下载PDF 职称材料

从形式蕴涵看“实质蕴涵怪论”--怪论定理之“反例”化解路径新探 被引量：10

4

作者 张建军 《学术研究》 CSSCI 北大核心 2012年第4期14-21,159,共8页

由蕴涵怪论引发的实质蕴涵合理性辩护问题,既是当代逻辑哲学的重要课题,也是逻辑基础教学中难以回避的问题。化解怪论定理之"反例",是实质蕴涵合理性辩护的重要途径。以往的化解路径可以较好地应对"第一类怪论定理"... 由蕴涵怪论引发的实质蕴涵合理性辩护问题,既是当代逻辑哲学的重要课题,也是逻辑基础教学中难以回避的问题。化解怪论定理之"反例",是实质蕴涵合理性辩护的重要途径。以往的化解路径可以较好地应对"第一类怪论定理"问题,但难以化解关于"第二类怪论定理"的"严峻反例"。运用"形式蕴涵"理论重新审视实质蕴涵问题,可以为怪论定理之"反例"提供一条新的化解路径,使"严峻反例"问题得到彻底解决,从而使经典逻辑真理的普适性得以维护。 展开更多

关键词 形式蕴涵 实质蕴涵 蕴涵怪论 怪论定理 严峻反例

在线阅读 下载PDF 职称材料

受限量化域与实质蕴涵“严峻反例”的化解——四论从形式蕴涵看“实质蕴涵怪论” 被引量：2

5

作者 张建军 张顺 《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2020年第5期47-57,168,共12页

从形式蕴涵看“实质蕴涵怪论”,是化解实质蕴涵理论之“严峻反例”的谓词逻辑路径,旨在纠正经典命题逻辑定理在条件句分析中的误用,并非对条件句命题逻辑刻画的“高层次的重复”。基于受限量化域的特殊形式蕴涵,是化解“严峻反例”的基... 从形式蕴涵看“实质蕴涵怪论”,是化解实质蕴涵理论之“严峻反例”的谓词逻辑路径,旨在纠正经典命题逻辑定理在条件句分析中的误用,并非对条件句命题逻辑刻画的“高层次的重复”。基于受限量化域的特殊形式蕴涵,是化解“严峻反例”的基本工具。准确理解命题函数和逻辑量词,清晰分辨命题与命题函数、条件命题与条件句,对于把握形式蕴涵化解路径起着关键作用。关于“吉伯德反例”等“极严峻反例”的化解,需诉诸刻画“多重概括”的量词叠置型形式蕴涵。以受限量化域和特殊形式蕴涵刻画某些自然语言条件句的逻辑形式,澄清认知共同体关于这些语句的“为假直觉”或“为真直觉”之逻辑机理,有助于将经典逻辑正确运用于自然语言理解,对逻辑教学体系改革也具有重要意义。 展开更多

关键词 实质蕴涵怪论 严峻反例 形式蕴涵 受限量化域 命题函数

在线阅读 下载PDF 职称材料

实质蕴涵与自然语言中的相关蕴涵命题分析 被引量：6

6

作者 王健平 《华南师范大学学报（社会科学版）》 CSSCI 北大核心 2005年第3期11-18,共8页

实质蕴涵是现代逻辑的一个极其重要的概念,但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。这种状况有悖于逻辑规范和引导人们进行正确思维及表达的宗旨。传统逻辑和模态逻辑在分析自然语言假言命题... 实质蕴涵是现代逻辑的一个极其重要的概念,但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。这种状况有悖于逻辑规范和引导人们进行正确思维及表达的宗旨。传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。提出“相关蕴涵”概念主要是为了对自然语言假言命题进行符合自然语言实际的分析。 展开更多

关键词 蕴涵 实质蕴涵 相关蕴涵

在线阅读 下载PDF 职称材料

弗雷格的实质蕴涵思想与现代逻辑的选择

7

作者 王健平 《学术研究》 CSSCI 北大核心 2008年第1期69-74,共6页

弗雷格提出实质蕴涵思想的最初依据实际上也是蕴涵命题前后件之间的相关性,他所引以为据的"如果太阳现在已经升起,那么天空乌云密布"并不是毫无条件联系的假言命题,他是由这种相关性经过抽象论证而过渡到了实质蕴涵的,但他的... 弗雷格提出实质蕴涵思想的最初依据实际上也是蕴涵命题前后件之间的相关性,他所引以为据的"如果太阳现在已经升起,那么天空乌云密布"并不是毫无条件联系的假言命题,他是由这种相关性经过抽象论证而过渡到了实质蕴涵的,但他的论证并不是逻辑有效的。弗雷格的思想对现代逻辑以至于现代哲学的影响是巨大的。罗素把实质蕴涵的思想明确地贯穿于他的逻辑体系并且还提出了一个关于实质蕴涵的形式化定义,由此,实质蕴涵的意义完全成了一种人为的规定,它不仅不能正确处理自然语言中的假言命题,而且也不能正确处理自然语言中的假言推理。判断一个条件句的真值最主要还是要看该条件句的前件和后件之间有没有条件和结果的关联。判定条件语句真假的复杂性要求判定者必须具备超出形式逻辑范围的知识。 展开更多

关键词 实质蕴涵 条件语句 关联

在线阅读 下载PDF 职称材料

假言判断和实质蕴涵

8

作者 梁泉英 《山东大学学报（哲学社会科学版）》 1984年第1期106-111,共6页

有些逻辑学教科书在讲述假言判断的内容时,引入了实质蘊涵这一概念和实质蘊涵真值表,但是,由于没有讲清假言判断和实质蘊涵的关系,因而造成一些混乱,甚至出现前后矛盾的现象。本文试图把传统逻辑所讲的假言判断和实质蘊涵作一对比,找出... 有些逻辑学教科书在讲述假言判断的内容时,引入了实质蘊涵这一概念和实质蘊涵真值表,但是,由于没有讲清假言判断和实质蘊涵的关系,因而造成一些混乱,甚至出现前后矛盾的现象。本文试图把传统逻辑所讲的假言判断和实质蘊涵作一对比,找出它们的联系和区别,以利于我们的教学。 展开更多

关键词 实质蕴涵 真值表 充分条件 实质蕴涵式 假言判断

在线阅读 下载PDF 职称材料

关于实质本源蕴涵项的识别问题 被引量：10

9

作者 王波 《计算机研究与发展》 EI CSCD 北大核心 1995年第12期40-44,61,共6页

本文揭示了ＥＳＰＲＥＳＳＯ算法和Ｍｕｒｏｇａ等提出的求绝对最小化算法中识别实质本源蕴涵项的方法具有近似的复杂度。文中还给出了一个在产生本源蕴涵项过程中识别实质本源项的算法。

关键词 余因子 实质本源蕴涵项 识别 逻辑函数

在线阅读 下载PDF 职称材料

蕴涵刍议 被引量：6

10

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

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

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

在线阅读 下载PDF 职称材料

论蕴涵怪论的合理性 被引量：3

11

作者 柯华庆 《中山大学学报（社会科学版）》 CSSCI 北大核心 2002年第4期18-24,共7页

本文详细讨论了实质蕴涵的真实涵义,它与条件句、推论关系之间的联系与区别,分析了实质蕴涵与逻辑蕴涵之间的关系和误解,探讨了逻辑的性质及与科学推理的关系,从而为实质蕴涵及其由其产生的所谓怪论并不怪作出了合理的辨护。

关键词 实质蕴涵 合理性 逻辑蕴涵 条件句 严格蕴涵 经典逻辑 性质

在线阅读 下载PDF 职称材料

蕴涵意义新解

12

作者 李金厚 蒋静坪 《江南大学学报（自然科学版）》 CAS 2004年第2期121-126,共6页

严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法,并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题.实质蕴涵和严格蕴涵定义所给出的只是蕴涵成立的必要条件,将它作为蕴涵成立的充分条件来使用是不合适的.为有效避... 严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法,并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题.实质蕴涵和严格蕴涵定义所给出的只是蕴涵成立的必要条件,将它作为蕴涵成立的充分条件来使用是不合适的.为有效避免蕴涵怪论问题的出现,提出了一种新的意义蕴涵概念.这一概念简明、直观和容易理解. 展开更多

关键词 严格蕴涵 实质蕴涵 必要条件 充分条件 意义蕴涵

在线阅读 下载PDF 职称材料

麦加拉——斯多葛蕴涵理论及其后世对它的继承和发展 被引量：3

13

作者 林琼 《广东社会科学》 CSSCI 1991年第5期52-56,共5页

蕴涵理论是逻辑学的一个重要理论.它是由麦加拉——斯多葛学派创立的.起初并不为人们所重视,而且还遭到古代乃至近、现代一些学者的贬谪.直到上世纪末本世纪初,数理逻辑学家弗雷格、皮亚诺和皮尔士等人重新发现了麦加拉——斯多葛逻辑... 蕴涵理论是逻辑学的一个重要理论.它是由麦加拉——斯多葛学派创立的.起初并不为人们所重视,而且还遭到古代乃至近、现代一些学者的贬谪.直到上世纪末本世纪初,数理逻辑学家弗雷格、皮亚诺和皮尔士等人重新发现了麦加拉——斯多葛逻辑的价值,才重新认识到蕴涵理论的意义,并给予丰富和发展.本文分为三大部分,试就蕴涵理论的一些问题进行分析探讨.一、麦加拉——斯多葛蕴涵理论的主要内容及其意义麦加拉——斯多葛蕴涵理论,是由麦加拉学派的第奥多鲁斯和费罗在关于条件命题的真值问题的争论中首先提出,尔后由斯多葛派加以丰富补充的.他们认为.一个条件命题是一个由两个原子命题组成的分子命题,两个原子命题是通过联结词“如果……那么……”(if)联结起来的.联结词“ if”表明,第二个命题(又称为后件)是从第一个命题(又称为前件)逻辑地导出(“follows”),正是关于“follows”(“导出”)的正确标准问题,在麦加拉——斯多葛学派中引起了很大的争论.由于对“follows”的不同解析便产生了如下四种蕴涵式: 展开更多

关键词 实质蕴涵 蕴涵式 形式蕴涵 严格蕴涵 条件命题 “如果… 斯多葛学派 罗素 继承和发展 命题函项

在线阅读 下载PDF 职称材料

条件句与相干逻辑 被引量：4

14

作者 冯棉 《华东师范大学学报（哲学社会科学版）》 CSSCI 北大核心 1999年第1期19-23,共5页

本文对条件句作了深入的逻辑分析，指出：判断一个条件句的真值必须先确定或假定其前件为真，前件的真又是相对于可能世界而言的，而可能世界的一个重要的逻辑特征是无矛盾性，因此，形式为“如果（Ａ并且非Ａ），那么 Ｂ”的语句在任... 本文对条件句作了深入的逻辑分析，指出：判断一个条件句的真值必须先确定或假定其前件为真，前件的真又是相对于可能世界而言的，而可能世界的一个重要的逻辑特征是无矛盾性，因此，形式为“如果（Ａ并且非Ａ），那么 Ｂ”的语句在任何可能世界中都不会有真值。从这一认识出发，作者考察了相干逻辑的得失，并提出了改进意见。 展开更多

关键词 条件句 实质蕴涵 反事实条件句 可能世界 相干逻辑

在线阅读 下载PDF 职称材料

条件句中的“条件” 被引量：3

15

作者 王春辉 《首都师范大学学报（社会科学版）》 CSSCI 北大核心 2011年第4期97-103,共7页

自然语言条件句中的条件往往被分析为与逻辑上的实质蕴涵相对应,而且后者往往成为语言学家用来定义条件句的基础。但是仔细分析后会发现,二者差异重重。所以尽管自然语言条件句中的条件对实质蕴涵的逻辑特性有所反映,而且逻辑学家对条... 自然语言条件句中的条件往往被分析为与逻辑上的实质蕴涵相对应,而且后者往往成为语言学家用来定义条件句的基础。但是仔细分析后会发现,二者差异重重。所以尽管自然语言条件句中的条件对实质蕴涵的逻辑特性有所反映,而且逻辑学家对条件的研究可以给条件句的语言学研究以启示,但是语言学者对条件句的研究不能限于此,而应该从自然语言条件句的丰富现象出发,并以此为基础建立与之相适应的解释机制和理论体系。 展开更多

关键词 条件 条件句 实质蕴涵

在线阅读 下载PDF 职称材料

关于形式逻辑的真值的哲学思考

16

作者 温华 温维政 《江汉论坛》 CSSCI 北大核心 1998年第4期47-51,共5页

关键词 实质蕴涵 可能世界 形式逻辑 蕴涵命题 真值问题 条件命题 逻辑真值 真值关系 反事实条件句 精神活动

在线阅读 下载PDF 职称材料

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

17

作者 熊明 《华南师范大学学报（社会科学版）》 CSSCI 北大核心 2010年第3期107-111,共5页

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

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

在线阅读 下载PDF 职称材料

西方中世纪的推演理论 被引量：1

18

作者 吴东民 《文史哲》 CSSCI 北大核心 1994年第4期55-63,共9页

亚里士多德的省略三段论理论是中世纪推演理论的逻辑起点。中世纪逻辑学家一般认为，推演即是假言命题，可定义为“不可能前件真而后件假”。根据“不可能”的不同含义，推演可分为形式推演、绝对实质推演和当下实质推演。和现代逻辑的... 亚里士多德的省略三段论理论是中世纪推演理论的逻辑起点。中世纪逻辑学家一般认为，推演即是假言命题，可定义为“不可能前件真而后件假”。根据“不可能”的不同含义，推演可分为形式推演、绝对实质推演和当下实质推演。和现代逻辑的蕴涵相比，形式推演相当于形式蕴涵，绝对实质推演、当下实质推演分别相当于严格蕴涵和实质蕴涵。对推演理论的探究，无论对现代蕴涵理论还是整个现代逻辑的深刻理解，都具有重要意义。 展开更多

关键词 形式推演 现代逻辑 形式蕴涵 逻辑学家 三段论理论 严格蕴涵 中世纪 假言命题 实质蕴涵怪论 亚里士多德

在线阅读 下载PDF 职称材料

对演绎推理两个定义的质疑 被引量：3

19

作者 谢先仁 《南昌大学学报（人文社会科学版）》 CSSCI 1989年第1期89-94,共6页

关于演绎推理的定义,在我圈现今的形式逻辑(指传统逻辑,下同)论著中,有两个定义广为流行。其一,“演绎推理就是前提与结论之间有蕴涵关系的推理”,其二,“演绎推理就是前提与结论之间有必然联系的推理”。本文拟对这两个定义发表不同意... 关于演绎推理的定义,在我圈现今的形式逻辑(指传统逻辑,下同)论著中,有两个定义广为流行。其一,“演绎推理就是前提与结论之间有蕴涵关系的推理”,其二,“演绎推理就是前提与结论之间有必然联系的推理”。本文拟对这两个定义发表不同意见,并最后论证笔者的观点:演绎推理就是前提与结论具有充分条件或充分必要条件必然联系的推理。 展开更多

关键词 形式逻辑演绎推理 蕴涵关系 命题形式 实质蕴涵 具体内容 蕴涵怪论 传统逻辑 严格蕴涵 种差 蕴涵式

在线阅读 下载PDF 职称材料

从逻辑哲学观点看制约逻辑 被引量：3

20

作者 桂起权 《武汉大学学报（人文科学版）》 1987年第4期67-73,共7页

林邦瑾的《制约逻辑——传统逻辑与现代逻辑的结合》一书已由贵州人民出版社正式出版,通过《人民日报》和中央电视台的报道,引起了人们普遍的关注。什么是制约逻辑?它与标准的数理逻辑的关系如何?它与传统逻辑的关系如何?构造制约逻辑... 林邦瑾的《制约逻辑——传统逻辑与现代逻辑的结合》一书已由贵州人民出版社正式出版,通过《人民日报》和中央电视台的报道,引起了人们普遍的关注。什么是制约逻辑?它与标准的数理逻辑的关系如何?它与传统逻辑的关系如何?构造制约逻辑的基本动机是什么?当“标准逻辑”遇到了困难时人们可能采取什么对策? 展开更多

关键词 制约逻辑 数理逻辑 传统逻辑 非标准逻辑 逻辑范围 实质蕴涵 现代逻辑 模态逻辑 谓词演算 严格蕴涵系统

在线阅读 下载PDF 职称材料