论逻辑学发展的方向.pdfVIP

论逻辑学发展的方向 1 鞠实儿 (中山大学逻辑与认知研究所，广东 广州 510275) 1 逻辑学的认知转向 从历史的角度看，同时并存着多种不同的逻辑类型，它们有各自的演变过程；而“逻辑” 本身是一个多义词（Sholz,1931/1977, p. 7 和 p.83）；这表明：从“逻辑”一词的用法看， 可自然而然地承认逻辑学发展的多种可能性。Quine (1951/1990，p. 37)提出了整体论的知识 观，根据这一观点：知识系统(物理学, 数学和逻辑学)的边缘与经验的冲突引起对某些陈述真 值的重新分配, 按照这些陈述与其它陈述的逻辑的关系, 或许改变后者的真值，或者改变逻辑 关系本身；包括逻辑定理在内的任何陈述都无法免于修正。随后，Haack(1996)进一步批判了 逻辑绝对主义，论证了逻辑的可修正性；在此基础上为逻辑多元性进行了辩护。鞠实儿 （2001 ） 则证明：正如在为归纳逻辑辩护时所遇到的那样，对演绎逻辑不存在整体辩护，所有的辩护 都是局部的；不同的逻辑会有不同的应用领域。这表明不同的逻辑类型可以有他们各自的合 理性。 在这种逻辑修正主义与逻辑多元主义的背景下，我们可定义逻辑学发展方向的转变（简称 逻辑学转向）。假定存在一个逻辑类型，它或者是新的或已知的。如果它取代另一逻辑类型 而成为被关注的主流，则称这一历史事件为逻辑学转向。我们之所以称它为转向，而不是变 革或革命；这是因为：转向无意消灭某个逻辑类型；正如在多党制下，政府的变更并不取缔 某一政党。 Kant 认为：由于 Aristotle 已经穷竭了逻辑学的要点，逻辑学既不需要变化，也不需要新 的发现。但是，不到一百年后，Frege 就引发了一场逻辑学的“数学”转向。Kant 的断言失 败了(参见 Haack, 1996, p.26-27)。这是逻辑学在历史上发生过的一次重大的转向，目前它正 在经历另一次转向。 Frege 认为，清晰地描述数学的表达和推理方式，为数学奠定基础是逻辑学发展的基本目 标。作为追求上述目标的结果，人们给出了一系列以“数理逻辑”一词标记的逻辑系统及其 元理论。它们的核心是形式公理系统。我们称这类逻辑为基于数学 (方法) 的逻辑，或经典逻 辑。作为形式逻辑的现代类型，它取代了以 Aristotle 的词项逻辑为核心的形式逻辑的古典类 型，在上世纪初开始成为逻辑学研究的主流。不争的事实是: 离开它不可能有当代逻辑学，以 及当代数学中重要的组成部分; 离开它更不可能有计算机理论以及计算机带给人类的一切。但 是, 数学只是人类知识的一部分, 数学的表达方式只是人类所拥有的许多表达方式中的一种。 正如当今非经典逻辑所表明的那样，采用经典逻辑对其它领域的知识进行表达和推理是不恰 当的。因此, 逻辑学本身要求它继续寻找新的发展方向。在经典逻辑建立之初，人们就认识到 这一点, 例如：Lukasiewicz。不过，在信息时代上述观点又被赋予新的含义。 19-20 世纪之交面向数学基础问题发展起来的数理逻辑，为计算机科学及其应用提供了 理论基础和实现方法。计算机科学的发展使得人们有理由认为：对于任何一个知识领域，只要 严格地给出它的表达方式和推理方式，我们便可利用计算机解决它的一些问题。从逻辑学理论 到工程应用一度是漫长的路程, 现在已变得只有一步之遥了。在这一观点的支持下，20 世纪 中后期计算机科学的发展进入了知识处理和智能模拟领域。构造逻辑系统描述（高级）认知过 程的特征；利用它们进行知识表达与处理和研制新型软件, 这已成为逻辑学研究的主流方向。 1 另一方面，数理逻辑尤其是 Turing 机理论的发展，启发人们用计算机隐喻来理解人类的信息 加工过程，这为用心理学实验技术研究人的推理提供了条件；在 20 世纪 70 年代，人们终于 有可能用实验手段来判定：人是否采用某些逻辑规则和模式进行推理，这使得人类第一次有能 力运用科学的方法研究思维（高级认知过程）的形式与规律。 相应于上述两个方面，对高级认知过程逻辑结构的研究主要在两个方向上进行。（1）认识逻 辑方向：所谓认识逻辑是指在对认识论概念分析和对认识过程直观理解基础上构造起来的逻 删除的内容: 前者澄清了认识 辑系统