弗协调逻辑的发展及现状

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

正规模态逻辑完全性理论研究综述

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

什么是弗协调逻辑?

20世纪60年代,经典逻辑发展相对停滞,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后,人们对经典逻辑发起挑战,认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑。当将弗协调逻辑运用于真值模态逻辑时,可得到一避免了善良的撒玛利亚人悖论的道义逻辑系统,于是我们可得出结论:道义逻辑可归约为弗协调真值模态逻辑。      

西方现代逻辑研究动态（笔谈）——西方道义逻辑的形式化研究

一、西方道义逻辑的形式化研究现状 道义逻辑是在数理逻辑的基础上研究含有道义模态词"义务"、"允许"和"禁止"等模态词的一种广义模态逻辑的命题形式和推理规律的逻辑.因此,它和法学、伦理学有着密切的关系.随着模态逻辑理论的日益成熟,这也给道义逻辑的研究提供了许多新的技术和方法,使得道义逻辑的研究在研究方法上也越来越趋向多样化.目前,道义逻辑研究中采用的主要方法之一就是形式化,用这种方法解决各类义务冲突问题,并在道义逻辑的经典系统CDL和标准系统SDL的基础上,通过构造各种各样的道义逻辑的形式系统,使它能够较理想地处理各种各样的道义悖论.本文将西方道义逻辑形式化的研究大致分为以下几种类型:     

自然语言逻辑语义学研究述评

自然语言的逻辑语义学是逻辑学、语言学和计算机科学的跨学科交叉研究的产物,研究的对象是自然语言,研究的方法涉及逻辑和计算的概念。近十来年,逻辑语义学的跨学科研究方兴未艾,其中有较大影响的要数范畴语法的三个现代版本的发展：范畴类型逻辑 CTL、组合范畴语法 CCG 和非连续兰贝克演算 DLC。CTL 是从逻辑的高度概括分析语言的形式工具的学说,CCG 是基于特定规则而关注语言事实分析需求的形式语法,DLC 是专门分析语言中非连续现象的形式理论。本述评阐述的就是范畴语法三个现代版本的国内外发展概况。     

《周易》数理研究中的语言问题新探

《周易》是富有数理逻辑内涵的著作,也是超越古印度和古希腊的一部本体逻辑学著作。《周易》数理研究涉及多方面的语言问题,如:八卦是八个人体象形文;为语言研究引进了不少新的元素,如:关于空和无是一对反义词;并提出了新的研究模式,如:六义谱系或核心概念组;更主要的是为逻辑分析语言研究提供了新的逻辑工具──太极代数。《周易》的数理研究最终离不开语言方面的研究。比起单纯从数理方面或语言文字方面研究《周易》,语言与数理相结合的方法或更有助于取得令人信服的研究成果。     

弗协调逻辑的理论意义和实践价值

弗协调逻辑是非经典逻辑中最具有革命性的逻辑学分支。它限制了经典逻辑中矛盾律作用 的范围,能够容纳有意义的真矛盾,能够作为一切不协调理论的基础逻辑,在计算机和人工智能以及法律等领 域都具有广阔的应用前景。     

优先道义逻辑研究

出于解决悖论及其他应用的目的,引入优先语义学构建优先道义逻辑系统便成为道义逻辑发展的新途径.其中,本·汉森的优先二元道义逻辑系统DSDL1-3有较大影响,它在处理温柔的谋杀者悖论方面具有很大的优势.尽管在处理其他类型的道义悖论方面并不完善,其解决方案存在一定的缺憾,但不可否认的是,本·汉森的优先道义理论为道义逻辑的发展提供了新的灵感.在他的影响下,可从不同角度建立多种类型的优先道义系统,以促进道义逻辑的发展.首先,优先道义逻辑的建立可在一定程度上解决道义悖论问题,消除人们对道义逻辑的质疑.其次,优先道义理论使用的结合其他分支理论进行道义逻辑研究的方法,可为逻辑学其他分支的发展提供方法论意义,从而促进整个逻辑学科的繁荣和发展.最后,目前的优先道义逻辑研究,已不再局限于对道义悖论问题的处理,而是尝试建立多种实用型的优先道义系统,着重于它在法学、计算机和信息科学等多个相关领域的应用型研究,取得的很多重要成果,在建立法律专家系统、处理电子商务中的贸易合同等很多方面也都显示出其重要的实践价值.     

论符号学三分法对语言哲学和语言逻辑的影响

语形学、语义学和语用学原本是符号学的分类法,由于符号学是比语言学、逻辑学和哲学更基本的学科平台,符号学的三分法对20世纪西方语言学、逻辑学和哲学的发展产生了根本性的影响。本文详细分析符号学三分法对语言哲学和语言逻辑的影响,并特别阐明语用学转向对理论语言学、语言哲学和语言逻辑的意义。     

语用学与自然逻辑

西方近二十年来在自然语言逻辑(或简称自然逻辑或语言逻辑)研究方面取得了很大的成果,出现了逻辑学与语言学逐渐融合的趋势,从而形成自然语言逻辑研究的不同分支。新兴的符号不是一门既涉及语言也涉及逻辑的学科,它包括语形学、语义学、语用学三个方面。《语用学与自然逻辑》一书,正是为了介绍西方存这方面的研究成果。     

模态逻辑语义学的理论发展

模态逻辑语义学是经典逻辑语义学的一种最重要的扩展。它在哲学、语言学、数学基础、计算机科学和人工智能等领域有重要的应用,同时也是这些学科研究的对象之一。本文以模型论语义学为主,通过对模型论语义学主要类型的形式描述和理论评价,较为完整和准确地描述了模态语义学的发展历程,从而使我们看到了模型论语义学是如何从一些有创意的思想发展为一种严格而成熟的语义学理论。     

模态逻辑与哲学

模态逻辑是关于必然性与可能性的逻辑,因此也就涉及到必然与可能相关的一些哲学问题。除语义学方面的问题外,模态逻辑自身也存在与哲学相关的问题,如本质主义问题、抽象实体的存在性问题等。模态逻辑也引发一些哲学问题,如可能世界的本体论问题,可能个体的跨界同一和识别问题等。模态逻辑的研究成果对当代哲学的发展也具有重要的意义。当代马克思主义哲学的研究也应该结合与考察现代逻辑的研究成果。     

Kripke语义学及其一些哲学问题

Kripke语义学是关于模态逻辑形式语义等符号的意义和公式真假的一种理论。模态逻辑是逻辑学的一个古老的分支,近几十年来,它得到了蓬勃的发展。其中Kripke語义学的提出是极为重要的,模态逻辑的发展因此而进入了一个新的阶段,而且它还在哲学研究方面提出了新的工具以及新的观点和问题,表现了逻辑和哲学在现代形式下的相互依赖和促进的关系。一、模态逻辑的形式系统模态逻辑简单地说就是关于必然性与可能性的逻辑。“必然”和“可能”作为模态概念在模态逻辑里通常分别用符号□和◇表示,称为模态词,从演算的角度,也称为模态算子。有了模态概念和符号后,就会产生以下三种模态公式:     

相干逻辑的产生及评价

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

时间逻辑学的创立、历史及其研究意义

时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在时间上的关系的不足。对逻辑学、哲学、语言学、计算机以及人工智能的研究和发展,有着重要的理论意义和实际应用。     

语言学中逻辑思想的历史流变

从哲学和逻辑学角度进行语言研究的思想贯穿语言学发展的不同阶段,形成了语言学中的逻辑流派。但在语言研究的不同历史时期,其主要观点有所不同。对语言学中逻辑思想的发展历程进行梳理,能从一个侧面勾勒出语言学理论演变的大体轮廓。     

《波尔·罗亚尔逻辑》的历史地位--阿尔诺、尼古拉逝世310周年纪念

《波尔·罗亚尔逻辑》是十七世纪欧洲最有名的逻辑教材,为纪念二位作者逝世310周年,本文回顾了该书产生的历史背景,分析了其中的哲学主题,进一步揭示了它在语义学、语言哲学及逻辑学等领域的历史地位。     

莱布尼茨逻辑学说及其当代影响

莱布尼茨是最后一位经院逻辑学家,也是第一位现代逻辑学家。但传统的逻辑史家只注意到了他的第一个方面,而忽略甚至贬低他的第二个方面。事实上,莱布尼茨不仅创造了不同类型的亚里士多德逻辑形式系统,部分地预见了布尔的逻辑代数演算,而且还有极为丰富的命题逻辑思想,尤其是他的真性和道义模态命题逻辑在相当程度上预见了现代意义上的真性模态逻辑和道义模态逻辑,构成了现代逻辑早期发展的重要组成部分。从这种意义上讲,莱布尼茨既是亚里士多德逻辑学的集大成者,同时又是弗雷格现代逻辑的伟大先驱。     

逻辑、语言和计算的交叉创新

逻辑学是自然科学和人文社会科学共同的基础学科,逻辑是构筑科学理论的工具。逻辑方法渗透到各门学科中导致创新驱动：逻辑和语言学的交叉研究产生了范畴语法的重大创新;逻辑与计算机科学的交叉融合引起了计算机科学的创新发展。在我国,逻辑针对语言学以及计算机科学的交叉研究尚明显不足,造成学科创新或理论创新的乏力,需要大力推进交叉创新研究。     

数学存在的语言建构——结构主义的研究范式

伴随结构主义的兴起,数学哲学的研究领域发生了范式转换,数学存在的语言建构取代了数学语言的逻辑分析,成为数学哲学发展壮大的基本动力与成长源泉.结构主义根据不同语言进行数学对象的存在建构,或者借用数理逻辑的集合论与模态逻辑作为语言,或者突破分析哲学的逻辑语言框架创造范畴论这种本体论语言,从而形成了集合论结构主义、模态结构主义与范畴论结构主义.集合论结构主义与模态结构主义成为沟通结构主义与数理逻辑的必要环节,范畴论结构主义成为结构主义数学哲学的发展方向.