布尔用数学方法研究逻辑问题,成功地建立了第一个逻辑演算。他用等式表示判断,把推理看作等式的变换。这种变换的有效性不依赖人们对符号的解释,只依赖于符号的组合规律。这一逻辑理论,既可以进行公式推演,又可以对命题取作数值。这样,把已给的公式中出现的符号的逻辑解释放在一边,把它转变为表示数量的符号,但只能取0或1,对它实现求解的一切必须的步骤;最后再还给它以逻辑的解释。这一理论在布尔之后虽然也有些改进,但它的基本轮廓是布尔建立起来的,因此,人们常称它为布尔代数。这正是本书的内容,可以说本书是布尔最著名的著作。20世纪30年代,逻辑代数在电路系统上获得应用,随后,由于电子技术与计算机的发展,出现各种复杂的大系统,它们的变换规律也遵守布尔所揭示的规律。因此,布尔代数的应用日益广泛,它的内容日益普及。 在19世纪中叶,布尔在本书中研究了人类思想活动所揭示的规律,当时既无明显的实际背景,也不可能考虑到它的实际应用。而几十年后,从20世纪30年代开始,逐步开拓了它的应用,在理论和实践中都发挥了很大的作用。 因此本书具有相当的价值,可以为科学史感兴趣的读者阅读。 |
前辅文 |
|
|
|
乔治·布尔(George Boole,1815.11.2~1864),1815年11月2日生于英格兰的林肯。19世纪最重要的数学家之一,出版了《The Mathematical Analysis of Logic》,这是它对符号逻辑诸多贡献中的第一次。1854年,他出版了《The Laws of Thought》,这是他最著名的著作。在这本书中布尔介绍了现在以他的名字命名的布尔代数。 |
|
|
|
|
|
|