从《哲学逻辑手册》(第二版)看当代逻辑的发展趋势.PDFVIP

Http:///journal.htm 逻辑与认知 Vol.3, No.2, 2005 从 《哲学逻辑手册》（第二版） 看当代逻辑的发展趋势1 陈 波 （北京大学哲学系，北京，邮政编码100871） 内容摘要 《哲学逻辑手册》（英文，第2版，约18卷）的出版表明，当代逻辑的发展更多地受计算 机科学和人工智能研究的驱动，从上世纪80年代左右开始，逻辑学发展又进入一个新的高峰期，经典的逻 辑理论得到应用和发展，许多新的逻辑分支大量涌现，逻辑研究在观念、对象、范围、方法、手段诸方面 都在发生新的变革，它有可能回到一个古老的传统：比较全面地研究人的思维活动中存在的程序、模式、 方法和准则，而不仅仅局限于有效推理。本文还讨论和澄清了两个关键性观念：逻辑学究竟是不是一门与 人的思维相关的科学？逻辑学是否应该研究除有效推理之外的其他推理形式？并对之做出了肯定的回答。 本文最后就中国逻辑学界如何应对当代逻辑发展的新趋势提出了一些建议。 关键词 《哲学逻辑手册》，计算机科学，人工智能，当代逻辑研究。 中图分类号：B81文献标识码：A 一、当代逻辑的发展趋势 1983-89 年间，国际逻辑共同体用英文出版了4 卷本《哲学逻辑手册》。从2001 年开始， 该手册出版第2 版，约为18 卷，迄今已经出版10 卷。该书由英国伦敦国王学院计算机科学 系多夫·加贝 （Dov M. Gabbay ）教授和德国路德维希—麦克米兰大学信息与语言处理中心 冈瑟 （F. Guenthner）教授共同主编。 加贝在新版序言中指出：该手册第一版出版时，“幸运地处于逻辑学发展的时间转折点。 ．．．．．．．．．．．．．．．． 正是在这个时期，逻辑学在计算机科学和人工智能领域扎下根来。这些领域正处于日渐增长 的商业压力之下，要求提供一些在人的日常活动中帮助人甚至是取代人的手段。这种压力， 一方面要求在给人的活动和组织建立模型的过程中使用逻辑，另一方面也要求为构造计算机 程序提供理论基础。其结果就是 《哲学逻辑手册》，它覆盖了为这些活跃的共同体所需要的 大多数逻辑领域，并因此成为他们的 ‘圣经’。”“来自计算机科学、人工智能和计算语言学 等领域的这种迫切需求，也直接或间接地加速了哲学逻辑的发展。由于受到应用需要的刺激， 研究被直接推向前进。新的逻辑领域得到确认，旧的领域得到了丰富和扩充。与此同时，从 社会的角度来说，这种需求为好几代逻辑学家提供了在计算机科学、语言学和电子工程等部 门的就业机会，这当然有助于逻辑共同体的繁荣。除此之外，还发生了下述情况 （也许并不 是偶然的）：《手册》的许多撰稿人在这些应用领域十分活跃，并且随着时间的推移，他们逐 渐取得了我们时代的应用哲学逻辑领域中最著名的领军人物的地位。今天，《手册》第二版 2 以非同寻常的方式集合了一批著名人物作为作者！” （着重点系引者所加） 在序言中，加贝也阐述了他本人目前关于在计算机科学、计算语言学和人工智能中的逻 1 本文系教育部博士点基金项目 “西方逻辑史研究”成果，项目批准号为03JB720012 。本文完成于2003 年，曾在当年全国形式逻辑学会四川绵阳会议和“北京市社会科学前沿论坛”上报告过。此次发表时做了 少许修改。 2 Dov M. Gabbay, “Editorial Preface”, in Handbook of Philosophical Logic, 2nd edition, vol.1, vii-ix. 本文下面的 引文凡未另注明出处者，均引自该处。 收稿日期：2005 年5 月10 日。 作者简介：陈波，1957年生，哲学博士，北京大学哲学系教授，博士生导师。 32 逻辑与认知 Vol. 3, No.2, 2005 辑的看法。“在上个世纪80 年代早期，有一种感觉，逻辑在计算机科