布尔逻辑思想初探

A Preliminary Study of Boole's Logic

以布尔命名的“布尔代数”作为数学分支,在现今计算机科学领域蓬勃发展,那么布尔本人的逻辑思想在逻辑史上的地位应重新审视。从布尔对莱布尼茨的发展,布尔逻辑的形式和形式化的区分以及布尔和直言三段论的关系三个角度展开的分析,是凸显布尔逻辑思想当代价值的关键。

"Boolean algebra"named after Boole,as a branch of mathematics,is flourishing in the field of computer science today,so the position of Boole's logic thought in the history of logic needs to be re-examined.The key to highlight the contemporary value of Boole's logic is to analyze from three perspectives:Boole-s development of Leibniz,the distinction between the form and formalization of Boole's logic,and the relationship between Boole and categorical syllogism.