布尔逻辑思想初探

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