符号的逻辑数理逻辑.pdfVIP

符号的逻辑—数理逻辑

逻辑是探索、阐述和确立有效推理原那么的学科,最早

由古希腊学者亚里士多德创立的。用数学的方法研究关于推

理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。

数理逻辑的产生

利用计算的方法来代替人们思维中的逻辑推理过程,这种

想法早在十七世纪就有人提出过。莱布尼茨就曾经射向果能

不能创造一种“通用的科学语言〞,可以把推理过程象数

学一样利用公式来进行计算,从而得出正确的结论。由于当

时的社会条件,他的想法并没有实现。但是它的思想却是现

代数理逻辑局部内容的萌芽,从这个意义上讲,莱布尼茨

的思想可以说是数理逻辑的先驱。

1847年,英国数学家布尔发表了?逻辑的数学分析?,建立

了“布尔代数〞,并创造一套符号系统,利用符号来表示

逻辑中的各种概念。布尔建立了一系列的运算法那么,利用

代数的方法研究逻辑问题,初步奠定了数理逻辑的根底。

十九世纪末二十世纪初,数理逻辑有了比拟大的开

展,1884年,德国数学家弗雷格出版了?数论的根底?一书,

在书中引入量词的符号,使得数理逻辑的符号系统更加完

备。对建立这门学科做出奉献的,还有美国人皮尔斯,他也

在著作中引入了逻辑符号。从而使现代数理逻辑最根本的理

论根底逐步形成,成为一门独立的学科。

第1页

数理逻辑的内容

数理逻辑包括哪些内容呢？这里我们先介绍它的两个最根

本的也是最重要的组成局部,就是“命题演算〞和“谓词

演算〞。

命题演算是研究关于命题如何通过一些逻辑连接词构成更

复杂的命题以及逻辑推理的方法。命题是指具有具体意义的

又能判断它是真还是假的句子。

如果我们把命题看作运算的对象,如同代数中的数字、字母

或代数式,而把逻辑连接词看作运算符号,就象代数中的

“加、减、乘、除〞那样,那么由简单命题组成复和命题的

过程,就可以当作逻辑运算的过程,也就是命题的演算。

这样的逻辑运算也同代数运算一样具有一定的性质,满足

一定的运算规律。例如满足交换律、结合律、分配律,同时

也满足逻辑上的同一律、吸收律、双否认律、狄摩根定律、

三段论定律等等。利用这些定律,我们可以进行逻辑推理,

可以简化复和命题,可以推证两个复合命题是不是等价,

也就是它们的真值表是不是完全相同等等。

命题演算的一个具体模型就是逻辑代数。逻辑代数也叫做开

关代数,它的根本运算是逻辑加、逻辑乘和逻辑费,也就是

命题演算中的“或〞、“与〞、“非〞,运算对象只有两个

数0和1,相当于命题演算中的“真〞和“假〞。

逻辑代数的运算特点如同电路分析中的开和关、高电位和低

第2页

电位、导电和截至等现象完全一样,都只有两种不同的状

态,因此,它在电路分析中得到广泛的应用。

利用电子元件可以组成相当于逻辑加、逻辑成和逻辑非的门

电路,就是逻辑元件。还能把简单的逻辑元件组成各种逻辑

网络,这样任何复杂的逻辑关系都可以有逻辑元件经过适

当的组合来实现,从而使电子元件具有逻辑判断的功能。因

此,在自动控制方面有重要的应用。

谓词演算也叫做命题涵项演算。在谓词演算里,把命题的内

部结构分析成具有主词和谓词的逻辑形式,由命题涵项、逻

辑连接词和量词构成命题,然后研究这样的命题之间的逻

辑推理关系。

命题涵项就是指除了含有常项以外还含有变项的逻辑公式。

常项是指一些确定的对象或者确定的属性和关系；变项是指

一定范围内的任何一个,这个范围叫做变项的变域。命题涵

项和命题演算不同,它无所谓真和假。如果以一定的对象概

念代替变项,那么命题涵项就成为真的或假的命题了。

命题涵项加上全程量词或者存在量词,那么它就成为全称

命题或者特称命题了。

数理逻辑的开展

数理逻辑这门学科建立以后,开展比拟迅速,促进它开展

的因素也是多方面的。比方,非欧几何的建立,促进人们去

研究非欧几何和欧氏几何的无矛盾性,就促进了数理逻辑

第3页

的开展。

集合论的产生是近代数学开展的重大事件,但是在集合论

的研究过程中,出现了一次称作数学史上的第三次大危机。

这次危机是由于发现了集合论的悖论引起。什么是悖论呢？

悖论就是逻辑矛盾。集合论本来是论证很严格的一个分支,

被公认为是数学的