哲学所逻辑室20年回顾与展望

哲学所逻辑室20年回顾与展望

中国社会科学院的逻辑室是由中国著名的逻辑学者和哲学家金岳林（1895-1984）创办的。从1895年到今天已经45年。45年来,逻辑室出了很多成果,其中有些成果获得了重要奖励:1993年,由逻辑室6位研究人员编著的《形式逻辑原理》荣获中国社科院第一届优秀科研成果奖;1997年,由逻辑室编、周礼全主编的《逻辑百科辞典》荣获中国社科院第二届优秀科研成果奖;1999年,周礼全主编的《逻辑—正确思维和成功交际的理论》、《逻辑百科辞典》以及由逻辑室组织编写的《中国逻辑史》荣获国家社会科学基金第一届优秀科研成果三等奖。现在我们主要将逻辑室20年来具有创新性的成果综合整理如下。一、对经典命题逻辑学思想的评价沈有鼎(1908-1989)是我国研究数理逻辑的先驱者,50年代以发现:“沈有鼎悖论”闻名于世,1981年构造了一个逻辑演算系统,该系统是带等词的狭谓词演算(“纯逻辑演算”)中不依赖量词的部分,是纯逻辑演算中的一个极微小的部分。张清宇在经典逻辑方面取得两项成果:1、创制了不用联结词和量词的一阶逻辑系统,对括号作了独到处理,使之兼具联结词和量词的作用,提出了继卢卡西维茨以后又一新的逻辑符号和记法系统。2、以广义析舍为初始符号,建立了类似于安特逊和贝尔纳普的系统AB的一个公理系统Z,对经典命题逻辑作了一个简单处理。张清宇在弗协调逻辑方面开创了新的方向,建立了弗协调条件句逻辑PIW和CnW、弗协调模态逻辑CnG′以及弗协调时态逻辑CnG′H′和CnUS等。张家龙从现代逻辑观点构造了亚里士多德直言三段论和模态三段论的树枝形自然演绎系统,证明了一切有效式,用形式排斥的方法排斥了一切无效式,解决了直言三段论和必然三段论的判定问题,构造了必然三段论的可能世界模型。李小五在逻辑演算方面取得了以下成果:1、构造了几个无穷逻辑的公理化系统,并证明了这些系统具有重要的元定理性质。首先沿着四个方面概括了协调性质,然后构造了无穷逻辑的基本系统B和B的几个扩张系统。另一方面,构造了解释上述系统的无穷量化模型,并证明相对恰当的模型类,上述系统是可靠和完全的。2、在专著《无穷逻辑》中研究了几乎所有无穷逻辑之间的联系与区别,补充了一些定理的证明,分析了重要成果的理论意义,从而使无穷逻辑成为全面系统的逻辑理论。3、概括了条件句逻辑的邻域语义、关系语义和择类语义,研究了这样的语义之间的关系,以及它们所确定的系统之间的包含关系。这些研究揭示了现有的条件句系统是更抽象的条件句系统的子系统。4、讨论了虚拟条件句逻辑的恰当性,从而提出了一种刻画虚拟蕴涵关联的条件句逻辑;分别讨论了涉及条件句的重要模式,提出其中的一些模式是不恰当的,并提出一个恰当的条件句系统和相应的形式语义。王学刚建立了极小的G′、H′-时态逻辑,在时态逻辑领域取得了独创性的新成果,为深入研究时态算子G′、H′奠定了扎实而稳固的基础。二、语言逻辑理论周礼全是我国自然语言逻辑研究的开创者,在他主编的《正确思维和成功交际的理论》中提出了一个自然语言逻辑的体系——成功交际的理论。这是一个逻辑、语法、修辞;语形、语义、语用两个三结合的理论。他在吸收前人成果的基础上认为,语境是语用的。他改进了格赖斯的合作准则和隐涵(implicature)理论,明确了根据合作准则得出的隐涵也是语用的。他指出语法的蕴涵和语义的意涵(entailment)都是必然的。他认为话语或命题态度虽是必然的,但在语境中找出话语的隐涵却不是必然的。他还发展了弗雷格和斯特劳森的预设理论,先给出了预设规则,据此定义了预设。预设也与合作准则有关,因此也是语用的。周礼全还提出了一个语言交际图式。他指出成功交际通常指成功的传达。说话者的成功传达包含听话者的准确理解。成功交际有时可以包含听话者的成功理解,有时则否。这个体系具有鲜明的反映论特征,并且深受黑格尔逻辑学的影响,周礼全力图把这一理论组成一个科学概念的范畴体系。邹崇理在自然语言逻辑方面的成果有:1、专著《逻辑、语言和蒙太格语法》深入研究了蒙太格语法的疑难问题。对蒙太格PTQ英语语句系统的意义公设部分进行简化,把涉及通名、不及物动词与个体概念的两条意义公设简化成一条,并据此证明了需要的几条推论;还对涉及及物动词与介词的意义公设在表述方面进行简化。2、建立了刻画汉语名词短语量化意义的部分语句系统,尤其区分了分指与合指的不同语义特征。3、讨论了汉语名词短语的有所指、类指、任指、实指以及定指等语义特征,提出了形式化方案。4、在专著《自然语言逻辑研究》中通过深入研究汉语的时态(aspect)语义特点,运用区间语义学方法关于时间区间的七种基本的集合论关系,来描述汉语的进行态、完成态、起始态、终结态、经历态、将行态和一般态共七种时态类型。这样的描述既与时相(phase)概念,又与时制(tense,现在、过去和将来)概念相区分,据此创建了一个精致的汉语系统。在有关的语义模型那里,定义了Prog、Perf和Gen等态算子,对时间逻辑的进一步研究提出了新思路。三、辩证法思想金顺福的独到见解如下:1、关于辩证逻辑这门学科的性质问题。他认为,辩证逻辑是一门思维科学,它以辩证思维为其研究对象。它既不同于唯物辩证法,也不同于严格意义上的逻辑学,它是具有哲学性质的逻辑学。辩证逻辑与辩证法的关系是特殊与一般的关系。辩证逻辑着重研究思维自身特有而不为外界所具有的辩证法。2、关于辩证思维及其模型的问题。他认为:辩证思维就是人们在思维过程中通过一系列对立统一范畴来把握处于普遍联系中的运动着的对象整体性的思维。它是认识复杂的动态系统的思维模式。在此基础上又提出了辩证思维的三个基本特征:具体整体性、对立互补性和否定上升性,和运行机制以及它的一般模型。3、关于辩证逻辑方法的问题。他提出了辩证逻辑的方法具有哲学-认识论方面的特点和逻辑-方法论方面的特点,并对这些特点作了具体分析。诸葛殷同认为许多人所说的辩证逻辑(即与认识论、辩证法统一的、与历史一致的逻辑)就是真理论的辩证逻辑,是意识形态、是哲学;但不是研究推理形式的逻辑。黑格尔的大小逻辑显然是哲学而不是逻辑;他所谓同一律等违背常识、违背形式逻辑本身的说法,完全是诡辩。辩证逻辑可能是一种在某种条件下限制了矛盾律的逻辑,正如直觉主义逻辑是限制了排中律的逻辑那样。四、实践的研究和分析张家龙的《艾耶尔》一书是我国第一部全面系统研究艾耶尔分析哲学的专著,论述了艾耶尔哲学思想的发展过程,勾画出他在逻辑实证论时期、现象论时期、知识论时期和构造论时期的哲学特点,分析、评论了他所得的成就及面临的困难。在此基础上,本书对艾耶尔的哲学同英国经验论传统和维也纳学派的现象论分析传统的关系作了比较分析,指出艾耶尔的哲学是这两种传统的综合,同时也是这两种传统的终结,赋予经验论以一种最新的形式,从而确定了艾耶尔在西方哲学史上的地位。张家龙的《布拉德雷》一书是我国第一部全面系统研究新黑格尔主义代表人物布拉德雷的专著,认为他的绝对唯心主义体系是由基于内在关系说的本体论和认识论组成的,他的逻辑学是以辩证的判断论和推理论建构起来的,他的伦理学是以自我实现说为特征的,本书在最后一部分对布拉德雷的哲学同黑格尔的哲学进行比较研究,阐明了两者的异同,从而确定了布拉德雷在西方哲学史上的地位。王路的专著《走进分析哲学》从分析哲学的思想和成果出发,详细分析论证了它们来源于现代逻辑思想和方法的应用,并进一步说明逻辑在哲学中的重要作用,从而阐述了逻辑与哲学的关系。王路指出,西方哲学的主要特征是爱智慧,其最主要的体现乃是“求是”,“求真”。因此,西方哲学,特别是形而上学的讨论总是把“是”与“真”结合在一起来研究。“存在”和“真理”的翻译及其理解分裂了这种联系,消解了西方形而上学的本质特征,因而是错误的。张清宇对沈有鼎悖论作了进一步的研究和扩充,提出了所有非Z-类的悖论,概括了罗素悖论、沈有鼎悖论和柯利悖论等著名的悖论。李小五讨论了逻辑的定义,提出相对某个模型类可