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