现代逻辑的“实质蕴涵”与日常思维的“如果，则”──逻辑的认知观念的一种更新

现代逻辑的“实质蕴涵”与日常思维的“如果，则”──逻辑的认知观念的一种更新张小燕现代逻辑对“实质蕴涵”的认识，实质上反映了人们对逻辑的认知观念的一种更新。现代逻辑的“实质蕴涵”是否为日常思维“如果，则”的抽象，一种观点认为不是；把“实质蕴涵”的真值表...     

论真值函项和传统逻辑的复合判断

现代形式逻辑的真值函项是对传统逻辑的复合判断的抽象,具体地讲,真值函项是对复合判断的肢判断之间的真假关系的抽象。它撇开了肢判断之间的其它关系,例如内涵关系、模态关系以及其它方面的关系,并且把传统逻辑中的复合判断当成了它的一种特殊场合。也就是说,在现代形式逻辑中认为真的复合命题,而在传统逻辑中则可能是没有意义的。这是因为现代形式逻辑中命题的真假并不取决组成命题的判断在客观上的真假。正如塔尔斯基所说:“一复合命题的真或假只依赖于所联结的命题的真或假,与它们的含义无关”。     

存在着逻辑真而具体思维假的充分条件假言命题吗?

逻辑学界普遍认为，充分条件假言命题的前件与后件有一定意义上的联系，而实质蕴涵则把前件与后件仅仅看作一种真假关系，因此在蕴涵真值表中表示为真的却未必就是一个真的充分条件假亡命题。对此，本文提出了异议。     

论金岳霖的逻辑观

金岳霖站在现代逻辑学科的前沿 ,提出逻辑的实质是穷尽所有可能的必然命题 ,逻辑系统是研究逻辑的工具 ,各逻辑系统的不同 ,不是实质的不同 ,而是表达实质的具体工具不同。实质上各系统都是在一定范围内对可能的穷尽 ,而由于或者是推论的工具的不同如实质蕴涵与严格蕴涵 ,或者是表示可能 (即命题 )的工具的不同如二值与多值等 ,导致了不同的逻辑系统。金岳霖还从逻辑的实质和工具两方面对“必然”、“推论”、“同一、排中、矛盾思维三原则”等基本概念作了深入的阐述。     

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

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

百年"怪论"的有效消解

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

弗雷格关于普遍性的思想及其逻辑学意义

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

弗雷格关于普遍性的思想及其逻辑学意义

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

语言哲学与语言逻辑

二十世纪西方哲学出现了“语言学转向”,形成了一门新兴的学科——语言哲学。语言哲学涉及的范围相当广泛,其核心是意义问题。通过对语言深层的逻辑结构的分析,形成了人工语言的精确性与自然语言的不精确性的鲜明对比,于是就产生人工的理想语言与日常的自然语言之争。现代一些语言哲学家从理想语言又回到日常语言上来,并提出了“语言逻辑”的概念。语言逻辑重点要研究在人们实际的语言交际过程中的推理过程,其内容既包括逻辑语形学,也包括逻辑语义学与逻辑语用学,合起来也就是逻辑符号学。     

东方逻辑发展对推进人工智能逻辑发展的启示

基于东方文明独特语言和文化背景的东方逻辑有自己的特质。东方逻辑和人工智能逻辑都是一种应用逻辑,是基于经验的逻辑,是形式真与实质适当相结合的逻辑,是经典演绎逻辑、非经典演绎逻辑和非演绎逻辑并存的广义逻辑。人工智能逻辑作为发现的逻辑比东方逻辑更具优势,东方逻辑则在器与道的结合方面比人工智能逻辑更有优势。东方逻辑发展对人工智能逻辑发展的启示在于：这种跨文化的研究方法论要求从本民族文化背景出发,就这一思想体系原来的形态来把握它,也就是采用“把握原来样态”而不是通常采用的“据西释东”方法论原则。年轻的人工智能逻辑应该从古老的东方逻辑智慧中汲取思想营养,对东方逻辑的当代探索可能为推动人工智能逻辑发展助力。     

论实质蕴涵、形式蕴涵与逻辑蕴涵

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

东方逻辑发展对推进人工智能逻辑发展的启示

基于东方文明独特语言和文化背景的东方逻辑有自己的特质。东方逻辑和人工智能逻辑都是一种应用逻辑，是基于经验的逻辑，是形式真与实质适当相结合的逻辑，是经典演绎逻辑、非经典演绎逻辑和非演绎逻辑并存的广义逻辑。人工智能逻辑作为发现的逻辑比东方逻辑更具优势，东方逻辑则在器与道的结合方面比人工智能逻辑更有优势。东方逻辑发展对人工智能逻辑发展的启示在于：这种跨文化的研究方法论要求从本民族文化背景出发，就这一思想体系原来的形态来把握它，也就是采用“把握原来样态”而不是通常采用的“据西释东”方法论原则。年轻的人工智能逻辑应该从古老的东方逻辑智慧中汲取思想营养，对东方逻辑的当代探索可能为推动人工智能逻辑发展助力。     

"形式蕴涵"方案能解决蕴涵怪论问题吗

近年来,有学者以罗素的"形式蕴涵"为工具,对化解蕴涵怪论反例的进路又作了积极而有益的探索.但仔细分析其化解过程及方法,实难说取得了预期的成功.因为形式蕴涵在根子上就无法解决蕴涵怪论问题.蕴涵怪论的根源不在于逻辑的形式化语言,而在于实质蕴涵与日常"若,则"句差异过大的矛盾.     

语言逻辑刍议

公元前三世纪,“逻辑之父”亚里土多德以其巨著《工具论》六篇,宣告了逻辑学科作为一门独立学科的诞生。亚氏以后,逻辑科学不断地发展、完善,至今已长成了一株枝茂叶盛的参天大树,在这颗大树的众多的分枝中,有一个历史不长,尚不为大多数人所熟悉的新兴分支,它就是语言逻辑。 1 语言逻辑是“自然语言逻辑”的简称,也称“自然逻辑”。从历史渊源看,它的历史可以上溯至古代:由于思维和语言在自然状况下的不可分割,人们从一开始就把逻辑研究与语言研究紧密地交织在一起,无论是古希腊的智者,还是中国古代的辩者,他们都兼长于逻辑与语言研究;我国历史上的第一部逻辑专著《墨经》,也既有逻辑思想亦有语言分析;亚里士多德的逻辑思想中也有大量的语言分析;中世     

关于实质条件句的两个问题

实质条件句和蕴涵的关系如何？实质条件句与日常语言中的条件句的关系如何？这是关于实质条件句的两个基本问题。澄清了实质条件句和蕴涵的关系，指出不能将蕴涵混同于相应的实质条件句的真理性，并在此基础上分析了所谓的蕴涵悖论。应该将实质条件句在技术上的价值与它在日常语言中的对应物这两个问题分开处理，并论证了以实质条件句概念解释日常语言中的直陈单独条件句的适当性，指出两者之间的关系是卡尔纳普所谓之辩明关系。     

试论假命题的种类及其逻辑表现形式

逻辑是研究有效推论的学说,而推论则以命题为其基本的构成要素。正如推理有对错之分一样,命题有真假之别。本文探讨假命题的种类及其逻辑表现形式。一命题是有真假的语句。在普通逻辑中,常常把命题称为“判断”,而在符号逻辑中,又把命题称作“陈述”,“句子”。这里,我们不考虑命题、判断、陈述、句子之间的区别,而简单地把它们看成是同义的术语。     

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

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

立体逻辑三角阵探析

真假制约理论是逻辑理论的重要组成部分。笔者以立体逻辑三角阵为分析工具,直观而全面地反映命题之间具有的复杂的真假制约关系,并根据“平行移行”规则有序地对对应的逻辑方阵进行推导,以便完整而系统地掌握命题之间的逻辑关系理论,指出了既有的命题之间真假关系研究的不足。     

相干蕴涵和情境信息理论中的制约关联

相干蕴涵是相干逻辑中一个重要的概念.相干蕴涵不仅顾及前后件之间的真假关系方面的联系即真值性,而且还体现了前后件之间以共同的命题变元为特征的内容方面的联系即相干性.相干逻辑学家们在相干逻辑的研究中,给出了这种相干性的种种语义解释,尤其是鲁特雷-迈耶给出了集合-关系语义理论.鲁特雷-迈耶的三元可达关系为相干逻辑中的相干蕴涵提供了新的思路,而伊斯雷尔和佩里的制约关联概念则把我们对条件句的理解转换到情境信息关联的层面.相干蕴涵和制约关联这两类看似完全不同的理论,一个是逻辑的,一个是有关信息的,因为基本概念的相似性,呈现某种解释逻辑、语言和信息的新视野.尽管这两个理论还有许多需要解决的问题和困惑,但是把三元关系解释为信息制约关系,反过来在制约关联中运用三元可达关系,对于相干蕴涵和情境信息理论来说都是很富有启示意义的.随着相干逻辑和信息理论的深入研究,情境信息理论和相干逻辑会更紧密地联系在一起.关于条件句的相干逻辑理论可能是信息理论的一个部分,而我们关于制约关联的情境信息理论则是相干逻辑的某种体现.     

相干逻辑的产生及评价

在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景.然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑.