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

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

实质蕴涵并非“如果,则”的逻辑抽象——兼论传统演绎逻辑与经典逻辑演算之关系

一、实质蕴涵不是“如果,则”的逻辑抽象一般认为,实质蕴涵是日常语言里的“如果,则”的逻辑抽象,二者的区别仅仅在于,日常语言里的“如果,则”往往要求前后件有更多的意义方面联系,而实质蕴涵却不要求这一点,它只是从真假情况这个角度刻划了日常语言中的“如果,则”。从真值方面来考虑。实质蕴涵充分地,完全地保留了日常语言中那些相应联结词的意义。这等于说,在真假关系上,二者不可能矛盾,     

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

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

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

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

相干逻辑R中合取的解释

根据马雷什提出的相干逻辑R的理论,相干逻辑R中对蕴涵的解释是根据情景推理给出的.相干逻辑中对其他联接词的处理也需要改进.本文根据情景推理对出现在相干逻辑中的联接词进行了分析,指出许多哲学家对相干逻辑中出现的连接词的处理是反直觉的.而本文的目的是给出相干逻辑中处理联接词的方法,并且表明这种处理方法对情景推理的的结构是必不可少的.     

相干逻辑的产生及评价

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

再论我国的逻辑教学——从王路教授的观点看

王路教授是我国逻辑学界的知名学者,其逻辑教学观点的独树一帜在学界产生了巨大反响。王教授的逻辑教学思想可归结为相互联系的三个方面:"逻辑现代化",它是指逻辑教学的现代化,而非逻辑学科的现代化;高校逻辑教学主要内容改革是指改革要以现代逻辑的知识体系替代普通逻辑;"非形式逻辑"和"批判性思维"不是高校逻辑教学改革的方向。虽然,王教授的逻辑教学思想引发了激烈论争和讨论,但其逻辑教学思想中蕴涵的三个重要特点常常被学界忽略或误解,而这三个特点却为我们深入讨论高校逻辑教学和逻辑现代化提供了有益的启示和独特的视角。     

从哥德尔定理看禅宗的元逻辑思想

本文主要从分析哥德尔定理及其逻辑思想出发,来探讨中国禅宗中所蕴涵的元逻辑思想.这种思想,就是在<金刚经>、<坛经>及众多禅宗语录中所体现出来的那些双遣双非证悟方法论思想.如果从逻辑的角度看,它反映其实就是一种特殊意义上的"哥德尔定理"的思想蕴涵.在当代西方科学界已经开始关注禅宗思想的科学阐述的情况下,我们应该珍惜历代禅师留下的十分宝贵的智慧财富,并借此来反思当代逻辑学,乃至科学方法论的困境.     

简论二维记法的概念文字

图形及其逻辑的研究正在吸引越来越多的注意,而现代逻辑自诞生起就以一种二维记法——弗雷格的概念文字出现.同时代的皮尔士也以二维方式建立了一套逻辑图形系统——存在图.为了探讨弗雷格的概念文字和皮尔士的存在图之间的联系,在阐述弗雷格的概念文字的相关内容的基础上,根据已有的研究进展,利用《形式的规律》以及皮尔士存在图的一些思想把弗雷格逻辑图形看成是一种信息处理网络,由此我们可以看到弗雷格蕴涵图与皮尔士推演指号及其内部结构之间的类似之处.     

Dasein与Man:海德格尔与卡西尔人学思想辨异

海德格尔打开了西方人学思想的存在论境域,而同时另外一条传统理路在西方仍然继续着,因此比较西方人学思想的两条基本逻辑路线是十分必要的.这两条理路以"Dasein"和"Man"这两个概念为核心,分析两个概念的构成及其蕴涵是揭示海德格尔存在论的人学思想和卡西尔逻各斯主义的人学思想差异的关键.