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

1

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

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

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

在线阅读 下载PDF 职称材料

从哲学本体论视角看实质蕴涵怪论

2

作者 叶发扬 《科教导刊（电子版）》 2020年第8期291-292,共2页

自实质蕴涵理论诞生以来,实质蕴涵怪论便相伴而在.出于化解怪论的初衷,学者们提出了相应的改良或革命性策略,进而产生了一系列蕴涵理论.本文试图从哲学本体论的角度再去重新认识实质蕴涵及其怪论,而要厘清实质蕴涵怪论问题必须正确认识... 自实质蕴涵理论诞生以来,实质蕴涵怪论便相伴而在.出于化解怪论的初衷,学者们提出了相应的改良或革命性策略,进而产生了一系列蕴涵理论.本文试图从哲学本体论的角度再去重新认识实质蕴涵及其怪论,而要厘清实质蕴涵怪论问题必须正确认识两个方面的问题,即蕴涵怪论承诺问题和事实问题.实质上,实质蕴涵怪论,科学的来说是承诺的实质蕴涵怪论.当然,宣称和承诺只是怪论产生的外在形式因,而内在本质因其实是有意识的"思维中断".故此,克服有意识的"思维中断"乃消解实质蕴涵怪论的有效策略. 展开更多

关键词 实质蕴涵 实质蕴涵怪论 思维中断 事实问题 承诺问题

在线阅读 下载PDF 职称材料

罗素的形式蕴涵思想辨析——三论从形式蕴涵看“实质蕴涵怪论” 被引量：3

3

作者 张顺 张建军 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2016年第4期32-38,共7页

罗素的形式蕴涵思想,经历了一个从不成熟到成熟的过程。在首次提出基于命题函数的"形式蕴涵"概念的《数学的原则》中,由于罗素尚不具有清晰的逻辑量词观念,其使用"变元蕴涵"和"两个断定间的关系"对形式... 罗素的形式蕴涵思想,经历了一个从不成熟到成熟的过程。在首次提出基于命题函数的"形式蕴涵"概念的《数学的原则》中,由于罗素尚不具有清晰的逻辑量词观念,其使用"变元蕴涵"和"两个断定间的关系"对形式蕴涵的解释,存在多重混淆与失误之处。在深入研究弗雷格的著作并掌握逻辑量词理论之后,罗素的形式蕴涵思想实现了"完型转换",形成了成熟期的清晰认识。把握罗素的思想历程及其对基本的"实质蕴涵怪论"问题的解决,对于理解"从形式蕴涵看实质蕴涵怪论"的研究进路,具有重要启发价值。 展开更多

关键词 罗素 形式蕴涵 命题函数 逻辑量词 实质蕴涵怪论

原文传递

蕴涵层级论：“实质蕴涵怪论”迷雾之廓清 被引量：5

4

作者 张建军 《学术月刊》 CSSCI 北大核心 2016年第12期31-44,51,共15页

解决"实质蕴涵怪论"问题,须首先在逻辑语义学视域之中厘清蕴涵关系的层级,进而再从语用学上考察各类条件句"是否"或"如何"表达不同层面的蕴涵关系。运用集合论工具可以说明,逻辑蕴涵、严格蕴涵、直觉主... 解决"实质蕴涵怪论"问题,须首先在逻辑语义学视域之中厘清蕴涵关系的层级,进而再从语用学上考察各类条件句"是否"或"如何"表达不同层面的蕴涵关系。运用集合论工具可以说明,逻辑蕴涵、严格蕴涵、直觉主义蕴涵、相干蕴涵等各种蕴涵关系,实际上都是作为真值函数的实质蕴涵关系之居于不同层面的"子集"。建构"蕴涵层级论"的主要目标,即系统把握作为实质蕴涵关系之子集的各种蕴涵关系所在层面以及它们的相互关联。厘清蕴涵关系的层级,"实质蕴涵怪论"的迷雾就会消失于无形。 展开更多

关键词 实质蕴涵怪论 真值函数 蕴涵关系 蕴涵层级论

原文传递

再论从形式蕴涵看“实质蕴涵怪论”——兼复程仲棠先生 被引量：4

5

作者 张建军 《求索》 CSSCI 北大核心 2015年第6期68-74,共7页

"形式蕴涵"理论是弗雷格"命题函数"和"逻辑量词"两大发现的结晶,而"实质蕴涵怪论"之"严峻反例"疑难的出现,源自由"命题函数"与"命题"的混淆所造成的对于"... "形式蕴涵"理论是弗雷格"命题函数"和"逻辑量词"两大发现的结晶,而"实质蕴涵怪论"之"严峻反例"疑难的出现,源自由"命题函数"与"命题"的混淆所造成的对于"反例"的不适当逻辑刻画。逻辑分析应当充分尊重"合理直觉",把握自然语言的深层逻辑结构。解决蕴涵怪论问题的根本出路,在于厘清蕴涵的"层级"。 展开更多

关键词 实质蕴涵怪论 形式蕴涵 命题函数 逻辑量词 合理直觉

原文传递

条件句的语义排歧与假设性思考的量化机制——五论从形式蕴涵看“实质蕴涵怪论” 被引量：1

6

作者 张建军 张顺 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2021年第6期52-62,共11页

能够使用条件句做假设性思考,是人类理性思维的一种重要特征。自然语言条件句的语义排歧,需要在区分条件句与条件命题、命题与命题函数的基础上,更多地关注使用受限量化域的特殊形式蕴涵。在珀尔因果模型论的基础上对共伴式和干预式假... 能够使用条件句做假设性思考,是人类理性思维的一种重要特征。自然语言条件句的语义排歧,需要在区分条件句与条件命题、命题与命题函数的基础上,更多地关注使用受限量化域的特殊形式蕴涵。在珀尔因果模型论的基础上对共伴式和干预式假设性思考的研究,使得假设性思考中基于形式蕴涵的量化机制得以清晰呈现。通过对量化机制的把握解决"实质蕴涵怪论"问题造成的假设性思考疑难,消除因果模型论的"反经典外貌",维护实质蕴涵理论的基础性和普适性,经典逻辑在人类智能和人工智能研究中的基础功能和作用可得到进一步开掘。 展开更多

关键词 假设性思考 条件句 实质蕴涵怪论 形式蕴涵 量化机制

原文传递

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

7

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

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

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

原文传递

一种避免“蕴涵怪论”的可行方法 被引量：3

8

作者 霍书全 《自然辩证法研究》 CSSCI 北大核心 2007年第7期31-34,共4页

"实质蕴涵怪论"问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑。模态逻辑中仍然有"严格蕴涵怪论"。相干逻辑避免了"蕴涵怪论",但把一些有效的推理... "实质蕴涵怪论"问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑。模态逻辑中仍然有"严格蕴涵怪论"。相干逻辑避免了"蕴涵怪论",但把一些有效的推理形式排除在外,还具有不可判定性。"蕴涵怪论"是由于对推理关系进行形式化(数学化)引起的,因此,我们可以抛开形式系统来寻找一种方法避免"怪论"。本文将给出一个消除"蕴涵怪论"的可行方法———欧拉图解方法。 展开更多

关键词 “实质蕴涵怪论” 经典逻辑 非经典逻辑 形式化系统 推理

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

对普通逻辑引进实质蕴涵真值表的再思考

10

作者 杨树森 《安徽师大学报（哲学社会科学版）》 1993年第2期154-160,共7页

近年出版的许多普通逻辑教材在复合判断中,引进了数理逻辑的真值表,用来标示复合判断的逻辑性质。其中,对引进实质蕴涵真值表说明充分条件假言判断的逻辑性质,逻辑学界存在着截然不同的看法。肯定者认为,“真值表的引入使复合判断及其... 近年出版的许多普通逻辑教材在复合判断中,引进了数理逻辑的真值表,用来标示复合判断的逻辑性质。其中,对引进实质蕴涵真值表说明充分条件假言判断的逻辑性质,逻辑学界存在着截然不同的看法。肯定者认为,“真值表的引入使复合判断及其推理的内在联系表现得更加紧密,也使形式逻辑的学科体系表现出更高的形式化程度。”①否定者则指出,“简单地把定义实质蕴涵的真值表用于充分条件假言判断,必然会造成对充分条件假言判断的歪曲。”②分歧的焦点在于:实质蕴涵的真值表是否能够正确标示充分条件假言判断的逻辑性质?本文拟对此问题作一些初步的探讨。 展开更多

关键词 充分条件假言判断 实质蕴涵怪论 真值表 普通逻辑 数理逻辑 逻辑性质 充分条件假言推理 普通思维 再思考 前件

在线阅读 下载PDF 职称材料

蕴涵刍议 被引量：6

11

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

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

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

在线阅读 下载PDF 职称材料

百年“怪论”的有效消解 被引量：3

12

作者 霍书全 《河南大学学报（社会科学版）》 北大核心 2005年第3期4-8,共5页

现代逻辑的实质蕴涵“怪论”问题是困扰逻辑学发展的一个难题。对此问题存在两种态度:一种是持批判的态度,认为实质蕴涵不够完善,试图构造其他蕴涵来取代实质蕴涵;另一种是持否认的态度,认为不存在实质蕴涵“怪论”问题。这两种观点都... 现代逻辑的实质蕴涵“怪论”问题是困扰逻辑学发展的一个难题。对此问题存在两种态度:一种是持批判的态度,认为实质蕴涵不够完善,试图构造其他蕴涵来取代实质蕴涵;另一种是持否认的态度,认为不存在实质蕴涵“怪论”问题。这两种观点都没有很好地解决这一问题。逻辑“怪论“是由于对逻辑进行了系统化形式化引起的,要消除“怪论”必须对形式化的逻辑系统有正确的认识。命题逻辑系统与普遍适用的逻辑规则不同,它的直接模型是布尔代数,因此产生实质蕴涵“怪论”的原因是其赋值不能满足成为布尔代数的条件。但在自然语言中很难找到成为布尔代数的模型,因此,要消除逻辑“怪论”还必须寻找其他方法。 展开更多

关键词 命题逻辑 实质蕴涵“怪论” 布尔代数 重言式 赋值

在线阅读 下载PDF 职称材料

互逆主义逻辑与古典逻辑比较

13

作者 王郁昕 徐影 《北京联合大学学报》 CAS 2006年第3期43-47,共5页

提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,... 提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,便于计算机实现。 展开更多

关键词 古典逻辑 互逆主义逻辑 实质蕴涵怪论 互逆蕴涵 二元认识 归纳复合 分解

在线阅读 下载PDF 职称材料

推理关系形式化产生的问题及哲学思考

14

作者 霍书全 《广东广播电视大学学报》 2006年第4期29-32,49,共5页

推理关系的形式化带来了“实质蕴涵怪论”问题,本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为,推理是逻辑的研究对象,而逻辑又必须应用推理,推理的这种双重角色决定了对推理进行形式化就会产生“怪... 推理关系的形式化带来了“实质蕴涵怪论”问题,本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为,推理是逻辑的研究对象,而逻辑又必须应用推理,推理的这种双重角色决定了对推理进行形式化就会产生“怪论”。虽然“怪论”难以消除,但在一定条件下也是可以消除的。既然推理如此特殊,我们只能通过扩充逻辑种类的方法间接完成对推理的刻画,应该抛弃狭义的逻辑观,使数理逻辑的优势发扬光大。 展开更多

关键词 “实质蕴涵怪论” 经典逻辑 非经典逻辑 形式化系统 推理

在线阅读 下载PDF 职称材料

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

15

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

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

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

在线阅读 下载PDF 职称材料

知识表示的最佳逻辑工具

16

作者 龚启荣 《贵阳学院学报（社会科学版）》 1996年第2期12-16,共5页

一、启发式信息就是制约关系的“两独”,实质蕴涵不具有启发式信息 人们一直把正统数理逻辑狭谓词演算F当作人工智能知识表示的工具,可是如今人们越来越感到这个工具在知识表示中有着明显的缺陷。 作为专家系统的一种基本型式的产生式系... 一、启发式信息就是制约关系的“两独”,实质蕴涵不具有启发式信息 人们一直把正统数理逻辑狭谓词演算F当作人工智能知识表示的工具,可是如今人们越来越感到这个工具在知识表示中有着明显的缺陷。 作为专家系统的一种基本型式的产生式系统,它的一个重要组成部分是产生式规则。产生式规则一般都采用“若……则……”来陈述人类专家总结出来的有关知识。这种规则中的“若……则……”的前后件之间存在着一种称作“启发式信息”的信息。这种启发式信息一定满足充分条件关系(这当然是为人类专家通过内涵的科学分析认可的)。“若…则…” 展开更多

关键词 知识表示 制约逻辑 启发式信息 产生式规则 传统形式逻辑 谓词演算 专家系统 实质蕴涵怪论 充分条件 模态逻辑

在线阅读 下载PDF 职称材料

论蕴涵 被引量：5

17

作者 陈波 《中国社会科学》 1987年第5期97-112,共16页

蕴涵是逻辑学的一个关键性概念。本文引用逻辑史和自然语言中的材料,区分、澄清、阐明了七种不同意义的蕴涵:(1)实质蕴涵,(2)严格蕴涵,(3)相干蕴涵,(4)衍推,(5)形式蕴涵,(6)反事实蕴涵,(7)自然语言中的推论,并讨论了它们之间的联系和区... 蕴涵是逻辑学的一个关键性概念。本文引用逻辑史和自然语言中的材料,区分、澄清、阐明了七种不同意义的蕴涵:(1)实质蕴涵,(2)严格蕴涵,(3)相干蕴涵,(4)衍推,(5)形式蕴涵,(6)反事实蕴涵,(7)自然语言中的推论,并讨论了它们之间的联系和区别。此外,作者还考察了把逻辑的蕴涵理论应用于现代语言学所产生的语义蕴涵,并且指出,在各种蕴涵中,实质蕴涵是最基本的。 展开更多

关键词 实质蕴涵怪论 自然语言 严格蕴涵 命题变元 形式蕴涵 蕴涵命题 语义蕴涵 逻辑系统 相干 当且仅当

原文传递

“辩证逻辑”的历史与未来──《数理辩证逻辑导论》读后感 被引量：10

18

作者 王路 《哲学研究》 CSSCI 北大核心 1998年第11期71-77,共7页

关键词 辩证逻辑 形式逻辑 《自然辩证法》 恩格斯 黑格尔的《逻辑学》 一阶逻辑 历史与未来 《反杜林论》 形式化 实质蕴涵怪论

原文传递