 |
|
布尔用数学方法研究逻辑问题，成功地建立了第一个逻辑演算。他用等式表示判断，把推理看作等式的变换。这种变换的有效性不依赖人们对符号的解释，只依赖于符号的组合规律。这一逻辑理论，既可以进行公式推演，又可以对命题取作数值。这样，把已给的公式中出现的符号的逻辑解释放在一边，把它转变为表示数量的符号，但只能取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》，这是他最著名的著作。在这本书中布尔介绍了现在以他的名字命名的布尔代数。 |
|
|
|
|
|
|
|
|
|
|
|
|
