数理逻辑的提出与实现

莱布尼茨

提出设想 普遍的符号语言

布尔

实现命题演算

摩根

关系逻辑

弗雷德

谓词演算

罗素 怀特海

完备的命题逻辑，谓词逻辑

数理逻辑的发展

经典逻辑与非经典逻辑。

经典逻辑是非经典逻辑的子集。

经典逻辑是以罗素和怀特海的数学原理为代表

非经典逻辑

包括多值逻辑，模糊逻辑，模态逻辑，广义模态逻辑。

多值逻辑：事物不只有好或者坏，这两极状态，还有介于两者之间的

模态逻辑：有可能，必定。必定能推出有可能，有可能不能推出必定

数理逻辑的内容

两个演算

逻辑演算，包括命题演算和谓词演算。

四论

模型论

递归论

集合论

证明论：公理集合论，朴素集合论