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

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

实质蕴涵之我见

实质蕴涵并不违反直观。当P假时,无论P真或假,P～P都为真,这只不过是P假的强调说法;当q真时,无论p真或假,p→q都为真,这只不过是q真的强调说法;实质蕴涵分为退化的和未退化的两类,前者不能无矛盾地成为肯定前件式和否定后件式推理的前提,因而不能在推理过程中实际起作用;后者可以重新定义为p←→p∧q,即后件含蓄地包含在前件中;实质蕴涵具有普遍适用性和操作方便性。     

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

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

蕴涵怪论辨析

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

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

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

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

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

蕴涵刍议

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

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

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

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

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

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

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

试论自主招生联盟的本质意蕴

自主招生联盟是我国考试招生制度改革的有益探索,也是现阶段自主招生规模扩大的内在要求,它在本质上是学校和学生之间的双向选择。目前,我国高校自主招生联盟的制度设计却存在诸多限制学生选择的失当规定,如联考和面试成绩难以共享互认、联考和面试时间过于集中等。为了使自主招生联盟运作步入科学化、规范化的道路,应该强化自主招生联盟的必然因素,实现联考和面试成绩的共享互认,尽量分散时间和多设考点,取消有关优惠录取政策的不合理限制,进行科学的制度设计,推进考试的社会化和联盟高校的培养机制改革。     

若干译例的“含意推导”理论解释

本文试析若干英译汉实例，对有关问题试从会话含意理论角度给出解释，验证文化背景知识等教学的理论基础，探讨其对英译汉教学的若干启发。     

数理逻辑中的联结词蕴涵式

在数理逻辑中,要确保推理的正确性,首先应保证写出的前提条件是正确的.在将命题符号化时,逻辑联结词的正确使用最为关键.而其中最容易出错的是蕴涵联结词.本文对蕴涵联结词及其相关的一些符号进行了较为深刻的分析.     

话语蕴藉和模糊思维

用语言来反映现实生活既是文学的长处,也是文学的短处。为了弥补语言的不足,于是就形成了以象寓意的话语蕴藉现象。从思维的角度来说,模糊思维就成了文学话语蕴藉不可缺少的思维特征。     

文学作品的意蕴层分析

文学意蕴层面指作品所内含的对于社会历史、宇宙人生或审美形象等的独特感悟和理解。由于文学形象具有指向性和包孕性,就使意蕴层面呈现出多层次的丰富意蕴。文学作品的意蕴作为多重意蕴组合而成的系统,一般可以被分为三个层次,即：社会历史意蕴层、哲学意蕴层、审美意蕴层。从作品本身来看,其实它们三者之间在很多文学作品中是互通的,渗透且转化。     

对学科建设几个基本问题的思考

学科建设是近些年来高等教育研究的热点,但对学科建设一些基本问题的认知尚处于探索阶段。本文对学科建设的定位、学科建设的属性及学科建设的组成要素等基本问题进行了思考与探析,认为学科建设是学校领导、职能部门、教师和科研人员三种不同主体多元共存的立体图像,不同主体的认知上既有差异,内在上又是统一的。     

论会话含义

对会话的定义、类型、功能 ,及对怎样识别会话含义 ,为什么会产生会话含义作了较系统的文献探讨和理论阐述。     

论话语暗示机制

在话语交际中，很多情况下说话人并不直截了当地表达意图，而是采用曲折委婉的方式，其中话语暗示是一种重要的言语策略。话语暗示机制是由话语暗示的手法、类型、制约条件、动因等元素组成的一种会话规则系统。根据暗示言语执行的交际原则潜准则，话语暗示可分为礼貌式、省略式、幽默式。话语暗示机制是发生在言语交际过程中的，因此，语言的三要素——语音、词汇、语法都参与其中，暗示机制也必须具备一定的必要条件。     

含意理论在小说翻译中的应用

含意在文学作品中是极为常见的现象。小说作为文学作品的重要表现形式,基本上遵循一般的语言规范,但也经常利用独特的句法、词法手段增加作品的含意性。因此,翻译时妥善处理含意问题,才能真正译出原文的意义。本文以《名利场》原作及杨必中译本为例,对比分析了英汉两种语言的常规性以及它们在使用中各自产生的特性,认为含意理论中的"含意推导"和"合作原则"可用来指导译者正确理解原文并在翻译中恰如其分地表述出来,使译文尽量与原文的意义达成真正对等。