数理逻辑发展史.pdf

数理逻辑发展史

数理逻辑史本身又可分为三个阶段。第一阶段开始用数学方法

研究和处理形式逻辑。本阶段从莱布尼茨到19世纪末延续了约

200年。第二阶段是数理逻辑的奠基时期。19世纪数学发展提出

了探讨数学方法和数学基础的问题，数理逻辑围绕着这些课题，

创建了新方法并提出了新理论。从19世纪70年代到20世纪30

年代约70年时间奠定了本身的基础。第三阶段从20世纪30年代

起为数理逻辑的发展时期。本阶段数理逻辑的主要内容已成长为

数学的分支，并与数学的其他分支、计算机科学、语言学和心理

学有广泛的联系。有少数部分内容如某些公理系统的研究与哲学

问题有着相互的作用。编辑本段开始阶段数理逻辑开始于17世纪

后期。当时古典形式逻辑不足之处已为某些逻辑学者所理解。数学方法对

认识自然和发展科学技术已显示出重要作用。人们感到演绎推理和数学计

算有相似之处，希望能把数学方法推广到思维的领域。德国唯理论哲学家

莱布尼茨首先明确地提出了数理逻辑的指导思想。他设想能建立一“普遍

的符号语言”，这种语言包含着“思想的字母”，每一基本概念应由一表

意符号来表示。一种完善的符号语言又应该是一个“思维的演算”，他设

想，论辩或争论可以用演算来解决。莱布尼茨提出的这种符号语言和思维

演算正是现代数理逻辑的主要特证。他为实现其设想做了不少具体的工作。

他曾构成一个关于两概念相结合的演算，给与这种结合A叽B以内涵和外

延的解释，得到了一些重要定理。他成功地将古典逻辑的四个简单命题表

达为符号公式。他又提出了用素数代表初始概念并将复合概念表示为素数

的乘积的配数法，但未能较好地应用。

莱布尼茨以后在18世纪前后，欧洲大陆有许多人继续了他的工作，没

有得到重要结果。19世纪中叶两个英国学者G.布尔和A.德摩根突破了沉闷

的局面。布尔是代数学家。19世纪初期数的概念逐渐扩大，负数、分数、

实数等和正整数一样都遵守一些相同的规律,他设想,给代数系统以逻辑的

解释或可构成一个思维的演算。鉴于四元数的发现，他也认为，思维的运

算和一般代数的规律可以有差异，不能机械地推广。他给与代数以四种解

释，其中一种为类的演算，两种是命题演算，还有一种是概率理论。类演

算所特有的规律为x2=x。命题演算中的命题变元只取0或1为值，此系统

可被看作为二值代数，他就用此二值代数作为推导的工具。布尔原来的系

统有不少缺点，如有些代数公式没有解释以及把加法解释为不相容的逻辑

合等等。布尔代数后来得到了改造和发展。19世纪后期德国的E.施罗德

(1841～1902)把它改进为一演绎系统。20世纪以来，布尔代数已发展成为

一个结构极为丰富的代数理论。布尔的贡献是在逻辑史上首先提出了一个

尽管还有缺点的逻辑演算。

关系推理虽然早就为从亚里士多德起的古典逻辑学家所发现，关系逻

辑却没有得到重视和研究。德摩根是历史上第一个探讨这种推理理论的学

者。他的兴趣原在于推广古典逻辑。他认为，古典三段论的系词“是”字

实际上是一个传递关系，每一传递关系都可以使类似古典三段论的推理有

效。因之，他进而研究关系的种类和性质,使用一些他本人创造的符号,发

现了一些有效的关系推理形式。他是一位数学家,他认为在代数学中,关系

是极为重要的。德摩根所得的具体结果不算多，他的历史功绩在于，突破

了古典形式逻辑“一主项一谓项”的局限，提出了关系逻辑，为后人的探

讨开辟了道路。编辑本段奠基阶段19世纪初以来，人们在积累了大量

实践经验并进行理论总结后，感到数学科学单纯凭借几何或物理直观以及

一些有效应用是不足的，进而要求数学论证具有严谨性和系统性，对基本

理论、证明方法和数学性质做深入的探讨。70年代开始出现对逻辑有重要

意义的发展，主要有：集合论理论、严格的公理方法和初步自足的逻辑演

算。数理逻辑史现代演绎方法、形式化和公理系统的发展史。

以演绎方法为中心内容的形式逻辑已有2000多年的历史。最早从形式结构来

论述演绎推理的著作是古希腊亚里士多德的《工具论》。自亚里士多德起至17

世纪后期是形式逻辑的古典阶段。古典形式逻辑包括几种常见的演绎推理和最

简单的量词理论，也使用一些特有符号。它没有探讨关系逻辑和公理系统的逻辑

性质。自17世纪后期G.W.莱布尼茨起是数理逻辑的萌芽和发展时期，是形式

逻辑的现代阶段。数理逻辑使用大量的特制表意符号，在不同部分应用不同程度

的数学方法。它包含着古典