布尔逻辑思想初探  

A Preliminary Study of Boole's Logic

作　　者：杨日成 宁莉娜[1] YANG Richeng;NING Lina(Department of Philosophy,Shanghai University,Shanghai 201900,China)

机构地区：[1]上海大学哲学系,上海201900

出　　处：《盐城工学院学报（社会科学版）》2023年第3期22-25,共4页Journal of Yancheng Institute of Technology（Social Science Edition）

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

关 键 词：布尔代数 通用语言 形式化的逻辑 直言三段论 逻辑学转向 

分 类 号：B143[哲学宗教—世界哲学]