乔治·布尔在逻辑学方面的主要贡献

布尔的研究大致可分为逻辑和数学两部分。他在数学上的成就是多方面的，但在逻辑方面，他的主要贡献就是用一套符号来进行逻辑演算，即逻辑的数学化。

大约200年以前，戈特弗里德·威廉·莱布尼茨曾经探索过这一问题，但最终没有找到精确有效的表示方法，因为它牵涉到改进亚里士多德（Aristoteles）的工作，而人们对于改进亚里士多德的工作的尝试总有点犹豫不决。布尔凭着他卓越的才干，创造了逻辑代数系统，从而基本上完成了逻辑的演算工作。

乔治·布尔在逻辑学方面的主要贡献，即：

1.出版了《逻辑的数学分析》，这是它对符号逻辑诸多贡献中的第一次。

2.创造了逻辑代数系统，从而基本上完成了逻辑的演算工作。

3.使逻辑学从传统走向现代。