实质蕴涵刻画推理的思考

用实质蕴涵刻画推理 ,尽管它不具有内容相关性和独立性 ,造成了反直观的“怪论” ,但它概括了“如果 ,那么”这类联结词各种用法中的共性 ,在日常用法中有其经验根据 ,具有广泛的适用性和使用的方便性。相对逻辑学家已提出的各种刻画推理的蕴涵理论 ,用实质蕴涵刻画推理是比较好的推理理论     

实质蕴涵与自然语言中的相关蕴涵命题分析

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

试论"实质蕴涵"的真值及其意义

对"实质蕴涵"的认识,学术界观点很多,贬褒不一.本文从实质蕴涵所含义入手,通过对"实质蕴涵"真值条件的说明,强调其在推理中的重要作用.     

蕴涵怪论辨析

蕴涵怪论是指在二值逻辑的蕴涵理论中，对蕴涵关系真的所有可能情况作某种解释而产生的怪异现象。蕴涵怪论的产生并非来自蕴涵关系本身。当人们把实质蕴涵的真用某一语句进行解释，或者由重言蕴涵式的必然性得到某种可能性，或者将某种实际的推论看作蕴涵关系时，怪论就可能会产生。蕴涵怪论的存在是实实在在的，试图消除蕴涵怪论的努力促进了蕴涵理论的发展。     

实质蕴涵“怪论”之怪与不怪

古希腊麦加拉学派认为完善的条件句并非开始于真且结束于假,这个被称为“实质蕴涵”的观点经过弗雷格和罗素的继承而成为经典逻辑的核心观念。但冯棉先生总结出实质蕴涵有两类共七种“怪论”。第一类为“非相干性蕴涵怪论”,第二类为“相干性蕴涵怪论”。程仲棠先生认为实质蕴涵式中的命题常项只有“真”“、假”这两个语义,逻辑永真式只提供“认识中为真的最低层次的必要条件”。张建军先生用“蕴涵/析取”的转换来证明“怪论”并不怪。我们承认全部七种都具有“怪论”的身份,并分析证明怪论公式的命题代入例在实质蕴涵的本来涵义上都不是怪论。     

蕴涵刍议

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

蕴涵理论与一致性原则

蕴涵与一致性原则是逻辑系统不可或缺的,蕴涵是逻辑系统的表述方式,而一致性是逻辑系统成立的基本条件,蕴涵与一致性存在密切联系.无论是罗素实质蕴涵,还是刘易斯的严格蕴涵,都出现了相类似的"蕴涵悖论",其原因是违反语言常识的直观、违反了一致性原则的缘故.所以,正确有效地推理离不开对蕴涵和一致性原则的讨论.     

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

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

知识蕴涵模态逻辑系统

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

蕴涵“怪论”—逻辑的必然

自从弗雷格提出“实质蕴涵”以后,逻辑学界就从未停止过对它的争论。特别是对由它引发的蕴涵“怪论”问题更是意见不一。虽然逻辑学界对蕴涵“怪论”争论了多年,但是却没能提出一种恰当的方法来消除它,其原因何在？本文试从什么是蕴涵“怪论”入手,谈到古今中外逻辑学人士尝试解决“怪论”而最终未能成功,继而分析了怪论出现的原因,最后得出结论—实质蕴涵“怪论”是逻辑的必然。     

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

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

试析语义蕴涵的基本特征

以逻辑语义学为视角,通过与语义预设、释义和实质蕴涵等的比较辨析,可重新厘清语义蕴涵的概念并概括它的基本特征,即:整体单向推出性、不可取消性、单一地转化为语用预设性、非保“真”性、传递性和显豁性。语义蕴涵理论脱胎于实质蕴涵理论,本质上是对实质蕴涵理论的应用。     

闲话蕴涵

周末,一位青年数学教师去访问一位老年同事,茶过两杯,话锋由天气转移到业务进修中的一个问题.     

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

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

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

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

亦谈悖论－－正确理解悖论及其实质

悖论是一种思维矛盾，它有自己的特定含义特征，但许多人对悖论的理解含混，把凡是出现矛盾的理论观点都当作悖论，这是不正确的，并非所有的思维矛盾都是悖论，悖论是实质，是一种特殊的逻辑矛盾，它不是辩证矛盾，正确理解悖论，应掌握悖论的基本特征。     

格蕴涵代数与正则Fuzzy蕴涵代数

讨论了格蕴涵代数与正则Fuzzy蕴涵代数之间的关系,并证明了正则Fuzzy蕴涵代数如果满足一定的条件,则构成格蕴涵代数.     

实质蕴涵“严峻反例”的两大化解路径探析

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

近年国内悖论论争之我见

悖论是近年国内逻辑学界研究的一个热点,在阵论的实质及定义、悖论的根源及消解等方面,形成了相互论争、各执一词的局面。悻论研究的整体倾向与国际上就此问题研究的总潮流是一致的。     

邓小平理论实质之我见

邓小平理论的实质是建设,重在建设还是重在革命是邓小平理论与毛泽东思想的根本区别,也是邓小平理论对马列主义毛泽东思想的最根本发展.邓小平重在建设的思想主要体现在:邓小平理论以"建设"命名,以建立新体制,提出新构想为显著特色,以发展生产力,满足人民物质文化需要为根本目的.邓小平理论以建设作为自己的核心和实质,有深刻的社会历史原因.