|
|||||
|
|
| 布尔逻辑思想初探 | |
| 引用本文： | 杨日成,宁莉娜.布尔逻辑思想初探[J].盐城工学院学报(社会科学版),2023(3):22-25. |
| 作者姓名： | 杨日成 宁莉娜 |
| 作者单位： | 上海大学哲学系 |
| 摘 要： | 以布尔命名的“布尔代数”作为数学分支，在现今计算机科学领域蓬勃发展，那么布尔本人的逻辑思想在逻辑史上的地位应重新审视。从布尔对莱布尼茨的发展，布尔逻辑的形式和形式化的区分以及布尔和直言三段论的关系三个角度展开的分析，是凸显布尔逻辑思想当代价值的关键。 |
| 关 键 词： | 布尔代数 通用语言 形式化的逻辑 直言三段论 逻辑学转向 |