博客

• 什么是数理逻辑？
  

逻辑学是探索、阐述和确立有效推理原则的学科。

这个问题可以追溯到亚里士多德提出的三段论：即包含大前提、小前提和结论三个部分的论证。

• 
  举例
  

1. 凡是人都会死（大前提）
2. 苏格拉底是人（小前提）
3. 所以：苏格拉底会死（结论）

上述为三段论中最著名的一个例子。

用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑（亦称为符号逻辑）

• 数理逻辑的开创
  

1847年，英国数学家布尔G.Boole发表了《逻辑的数学分析》，建立了“布尔代数”理论。其利用代数的方法研究逻辑问题，初步奠定了数理逻辑的基础。

• 数理逻辑的四大分支
  

1. 公理集合论：从研究集合论的无矛盾性问题中孕育；
2. 证明论：研究数学系统的逻辑结构和证明的规律；
3. 递归论：主要研究可计算性的理论；
4. 模型论：主要研究形式系统和数学模型之间的关系；