|
| 布尔逻辑思想初探 |
| A Preliminary Study of Boole′s Logic |
| 投稿时间：2022-08-22 |
| DOI：10.16018/j.cnki.cn32-1499/c.202303005 |
| 中文关键词: 布尔代数 通用语言 形式化的逻辑 直言三段论 逻辑学转向 |
| 英文关键词: Boolean algebra common language formal logic categorical syllogism turn in logic |
| 基金项目: |
|
| 摘要点击次数: 1720 |
| 全文下载次数: 1437 |
| 中文摘要: |
| 以布尔命名的“布尔代数”作为数学分支，在现今计算机科学领域蓬勃发展，那么布尔本人的逻辑思想在逻辑史上的地位应重新审视。从布尔对莱布尼茨的发展，布尔逻辑的形式和形式化的区分以及布尔和直言三段论的关系三个角度展开的分析，是凸显布尔逻辑思想当代价值的关键。 |
| 英文摘要: |
| "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. |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |