乔治·布尔在逻辑学方面的主要贡献
布尔的研究大致可分为逻辑和数学两部分。他在数学上的成就是多方面的，但在逻辑方面，他的主要贡献就是用一套符号来进行逻辑演算，即逻辑的数学化。
大约200年以前，戈特弗里德·威廉·莱布尼茨曾经探索过这一问题，但最终没有找到精确有效的表示方法，因为它牵涉到改进亚里士多德（Aristoteles）的工作，而人们对于改进亚里士多德的工作的尝试总有点犹豫不决。布尔凭着他卓越的才干，创造了逻辑代数系统，从而基本上完成了逻辑的演算工作。
乔治·布尔在逻辑学方面的主要贡献，即：
1.出版了《逻辑的数学分析》，这是它对符号逻辑诸多贡献中的第一次。
2.创造了逻辑代数系统，从而基本上完成了逻辑的演算工作。
3.使逻辑学从传统走向现代。
