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

1

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

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

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

下载PDF 职称材料

蕴涵刍议 被引量：6

2

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

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

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

下载PDF 职称材料

充分条件与制约关系 被引量：5

3

作者 林邦瑾 《贵阳师范高等专科学校学报（社会科学版）》 2004年第4期14-20,共7页

充分条件关系的定义历来是逻辑学关注的焦点。传统形式逻辑的界说可归结为“朦胧的正确” ;正统数理逻辑的规定可归结为“清晰的荒谬”。“事件A是B的充分条件”的逻辑含义是“可独于A、B的有无确定 (这称为“第一独立性”)不会是有A而... 充分条件关系的定义历来是逻辑学关注的焦点。传统形式逻辑的界说可归结为“朦胧的正确” ;正统数理逻辑的规定可归结为“清晰的荒谬”。“事件A是B的充分条件”的逻辑含义是“可独于A、B的有无确定 (这称为“第一独立性”)不会是有A而无B”。这便是“A制约B” ,其间的“前件A为有可独立于后件B的有无确定”称为“第二独立性”。包含在制约关系中的逻辑性质两个独立性是人类能以有限把握无限 ,从已知进入新知的逻辑依据 ,是逻辑科学这座大厦两块坚实的基石。 展开更多

关键词 数理逻辑 充分条件 制约关系 必然联系

下载PDF 职称材料

论蕴涵的演进——从蕴涵到制约

4

作者 盛作国 龚启荣 胡红 《毕节学院学报（综合版）》 2006年第2期26-30,共5页

蕴涵是贯穿整个现代逻辑发展的一个基本概念。实质蕴涵的提出引起学术界极大争议,“蕴涵怪论”一直是争论焦点之一。由于对推理前提和结论之间的关系有着不同理解和阐释,逻辑学家们提出了不同的蕴涵概念,并构建了相应的现代逻辑系统。... 蕴涵是贯穿整个现代逻辑发展的一个基本概念。实质蕴涵的提出引起学术界极大争议,“蕴涵怪论”一直是争论焦点之一。由于对推理前提和结论之间的关系有着不同理解和阐释,逻辑学家们提出了不同的蕴涵概念,并构建了相应的现代逻辑系统。笔者试图从逻辑史的角度去区分、澄清和阐明不同意义的蕴涵及其相互关系,并提出作者的一些粗浅认识。 展开更多

关键词 实质蕴涵 形式蕴涵 严格蕴涵 相干蕴涵 直觉主义蕴涵 制约关系

下载PDF 职称材料

充分条件关系及其两个特异性 被引量：4

5

作者 龚启荣 《重庆理工大学学报（社会科学）》 CAS 2010年第2期25-29,共5页

充分条件关系的定义历来是逻辑学关注的焦点,传统形式逻辑的界说是"朦胧的正确",而正统数理逻辑的规定实为"清晰的荒谬"。"事件A是B的充分条件"的逻辑含义是"可独于A、B的有无确定(这称为"第... 充分条件关系的定义历来是逻辑学关注的焦点,传统形式逻辑的界说是"朦胧的正确",而正统数理逻辑的规定实为"清晰的荒谬"。"事件A是B的充分条件"的逻辑含义是"可独于A、B的有无确定(这称为"第一独立性")不会是有A而无B"。这便是非纯真值函数的复合事件——充分条件事件"若A则B"。其间的"前件A为有可独立于后件B的有无确定"称为"第二独立性"。包含在充分条件关系中的逻辑性质两个独立性是人类能以有限把握无限、从已知进入新知的逻辑依据,是逻辑科学这座大厦两块坚实的基石。 展开更多

关键词 充分条件关系 必然关系 实质蕴涵 两个独立性 从已知进入新知

下载PDF 职称材料

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

6

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

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

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

下载PDF 职称材料

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

7

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

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

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

下载PDF 职称材料

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

8

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

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

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

下载PDF 职称材料

蕴涵意义新解

9

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

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

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

下载PDF 职称材料

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

10

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

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

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

下载PDF 职称材料

弗雷格关于普遍性的思想及其逻辑学意义 被引量：1

11

作者 霍书全 李伟凤 《重庆理工大学学报（社会科学）》 CAS 2021年第2期15-21,共7页

弗雷格用实质蕴涵来刻画条件句导致了“实质蕴涵怪论”,因此实质蕴涵不断受到批判。然而,根据弗雷格关于逻辑普遍性的思想,我们可以清楚地了解弗雷格对实质蕴涵的看法以及他为什么使用实质蕴涵。弗雷格把条件关系区分为能表达普遍性的... 弗雷格用实质蕴涵来刻画条件句导致了“实质蕴涵怪论”,因此实质蕴涵不断受到批判。然而,根据弗雷格关于逻辑普遍性的思想,我们可以清楚地了解弗雷格对实质蕴涵的看法以及他为什么使用实质蕴涵。弗雷格把条件关系区分为能表达普遍性的情况和仅仅表达真值关系的情况,表达普遍性的条件句其从句不是完整的思想,其指称不是真值,而是其间接指称。仅仅表达真值关联系的条件句其从句则是完整的句子,其指称是真值。他指出表达事物因果联系的条件句要用带全称量词的一阶谓词逻辑公式x(P(x)→ψ(x))表达,而只表示真假关系的条件句直接用实质蕴涵式来表达。弗雷格的思想远远超出了他建立的逻辑,他关于逻辑普遍性的思想对于条件句逻辑的产生及后来逻辑学的发展有着直接或间接的影响,对于我们全面而准确地理解和把握现代逻辑有着重要的意义。 展开更多

关键词 弗雷格 经典逻辑 实质蕴涵 因果联系

下载PDF 职称材料

论“两独”与“两依”——兼评《制约逻辑元思想剖析》一文

12

作者 盛作国 《贵阳学院学报（社会科学版）》 2008年第1期54-57,共4页

真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性"。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的... 真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性"。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的充分条件关系的"逻辑抽象"。即使在正统数理逻辑中作为逻辑工具使用的"若,则"乃是事实上具有"两个独立性"的制约,而并非为其所研究的实质蕴涵。希望进行立足原文原意的纯学术讨论。 展开更多

关键词 客体逻辑 制约逻辑 制约关系 两个独立性 实质蕴涵 两个依赖性 元逻辑

下载PDF 职称材料

亨迪卡的条件概称句述评

13

作者 董高伟 《重庆理工大学学报（社会科学）》 2023年第5期150-156,共7页

亨迪卡在运用博弈论语义学解释条件句时发现,存在一类条件概称句,这类句子后件中包含一个代词,并且这个代词指称前件中量词所管辖的名词,句中的量词即概称量词。在条件概称句的解释方案上,亨迪卡从现实中博弈参与人的博弈回合出发,将博... 亨迪卡在运用博弈论语义学解释条件句时发现,存在一类条件概称句,这类句子后件中包含一个代词,并且这个代词指称前件中量词所管辖的名词,句中的量词即概称量词。在条件概称句的解释方案上,亨迪卡从现实中博弈参与人的博弈回合出发,将博弈规则(G.if)拓展为(G.cond1),通过策略选择的语境确定概称量词的所指,这种解释方案实质上是概称句的心理语义解释方案。 展开更多

关键词 博弈论语义学 条件句 概称句 概称量词 实质蕴涵

下载PDF 职称材料

对实质蕴涵若干问题的思考

14

作者 杨金榜 《重庆理工大学学报（社会科学）》 CAS 2014年第12期18-21,共4页

以实质蕴涵和逻辑蕴涵为对象,通过对郁慕镛教授和袁正校教授的观点进行比较,对逻辑学里的一个非常重要的概念——蕴涵进行了分析和讨论,澄清关于实质蕴涵和逻辑蕴涵的若干误解。

关键词 实质蕴涵 逻辑蕴涵 推出关系

下载PDF 职称材料

认知蕴含:一个非真值函项联结词

15

作者 朱志方 《烟台大学学报（哲学社会科学版）》 CSSCI 北大核心 2017年第3期1-8,共8页

真值函项的蕴含面临着所谓的"蕴含悖论",它也是"乌鸦悖论"、"经验意义标准"难题、葛第尔问题等一系列认识论难题的逻辑根源。认知蕴含定义了一种非真值函项的蕴含关系。如果"如果p那么q"是一... 真值函项的蕴含面临着所谓的"蕴含悖论",它也是"乌鸦悖论"、"经验意义标准"难题、葛第尔问题等一系列认识论难题的逻辑根源。认知蕴含定义了一种非真值函项的蕴含关系。如果"如果p那么q"是一种认知蕴含,那么这个蕴含式是真的,当且仅当在p为真的条件下,q的概率是1。因此,认知蕴含表达一种特殊的条件概念。相应地,部分认知蕴含可以基于概率论建立起来。引入认知蕴含,可以消解上述认识论难题,普通认知条件句和虚拟条件句(反事实条件句)也能以同样的方式来处理,而不必求助于"可能世界"。 展开更多

关键词 认知蕴含 实质蕴含 葛第尔 可能世界

下载PDF 职称材料

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

16

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

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

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

下载PDF 职称材料

试析在自然逻辑与不自然逻辑中对蕴涵的刻画

17

作者 朱晓妍 《毕节学院学报（综合版）》 2013年第7期56-61,共6页

正如罗素认为整个逻辑都是建立在蕴涵理论基础之上一样,我们也肯定蕴涵是逻辑学最重要的概念,首先介绍不同的蕴涵定义,说明了实质蕴涵是对假言命题在真值意义上的抽象,而建立在实质蕴涵基础上的逻辑蕴涵,是以不自然的方式刻画逻辑学中... 正如罗素认为整个逻辑都是建立在蕴涵理论基础之上一样,我们也肯定蕴涵是逻辑学最重要的概念,首先介绍不同的蕴涵定义,说明了实质蕴涵是对假言命题在真值意义上的抽象,而建立在实质蕴涵基础上的逻辑蕴涵,是以不自然的方式刻画逻辑学中最重要的"推出关系"或者"后承关系",从而引起种种误解。其任务就是要在区分这两种具有不同含义的蕴涵的基础上,进一步研究不自然逻辑中的蕴涵概念,澄清各种对蕴涵的误解。 展开更多

关键词 实质蕴涵 逻辑蕴涵 自然逻辑 不自然逻辑

下载PDF 职称材料

非标准逻辑基础上的知识逻辑SI

18

作者 许涤非 《湖南科技大学学报（社会科学版）》 2005年第4期38-42,共5页

实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的,但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息,但是却不会得出"任意结论"。SI仍有完全逻辑全能,但是在一定程度上实现了对逻辑... 实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的,但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息,但是却不会得出"任意结论"。SI仍有完全逻辑全能,但是在一定程度上实现了对逻辑全能的控制。 展开更多

关键词 逻辑全能 标准的可能世界语义学语义 Kn-系统 实质蕴涵 逻辑蕴涵

下载PDF 职称材料

论古德曼反事实条件句难题

19

作者 付瑶 《重庆理工大学学报（社会科学）》 CAS 2011年第8期94-98,107,共6页

古德曼将反事实条件句的焦点和如何解决反事实条件句难题的构思抛向了科学哲学界和逻辑哲学界。古德曼列举诸多例证,指出经典条件句理论的不一贯性,遵循自己提出的"另辟蹊径"的信念,提出相关性、类律、投射等理论设想,试图解... 古德曼将反事实条件句的焦点和如何解决反事实条件句难题的构思抛向了科学哲学界和逻辑哲学界。古德曼列举诸多例证,指出经典条件句理论的不一贯性,遵循自己提出的"另辟蹊径"的信念,提出相关性、类律、投射等理论设想,试图解决反事实句难题。但是,他设想的理论因遭遇到循环论证和确证无穷的困惑,最终没有找到一条恰当地解决反事实条件句的方案。在古德曼的反实在论观点的启示下,从实在论和反实在论及其新实用主义的认识观和方法论的视角,研究反事实条件句难题产生的根源和认知的差异,将"真"和"真理"进行区分,并对古德曼提出的小说等艺术作品中的"真"的判定标准进行修订,为古德曼提出的反事实条件句难题的解决提供新思路。 展开更多

关键词 古德曼 反事实条件句 实质蕴涵 真 真理

下载PDF 职称材料

基于忆阻器蕴含门的逻辑电路综合进化算法

20

作者 王潇潇 焦李成 李阳阳 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2016年第10期70-76,共7页

为了减小电路延迟,提出基于忆阻器蕴含门的逻辑电路综合多阶段进化算法（IMP-ELS）,求得在工作忆阻器数目取不同值的条件下的脉冲数优化电路.将问题建模为等式约束下的最小化问题,当约束违反降低到一定程度时,通过判别当前最优解与待求... 为了减小电路延迟,提出基于忆阻器蕴含门的逻辑电路综合多阶段进化算法（IMP-ELS）,求得在工作忆阻器数目取不同值的条件下的脉冲数优化电路.将问题建模为等式约束下的最小化问题,当约束违反降低到一定程度时,通过判别当前最优解与待求函数真值表符合的条件,计算与、或、异或三种余项函数之一,将其作为新的待求函数,启动新一轮进化,从而保证得到电路的可行解;设计蕴含门逻辑电路编码及初始化方法,减少随机初始化种群中的非法解和冗余门.对2~11bit标准逻辑函数测试结果表明：当工作忆阻器数目由2增大到3时,该算法对82%的测试函数平均脉冲数降低了28%. 展开更多

关键词 忆阻器 实质蕴含 逻辑电路综合 进化算法 余项函数

原文传递