第 1 页：逻辑学的对象与内容第 2 页：数理逻辑简介第 3 页：哲学逻辑第 4 页：非形式逻辑导论第 5 页：人工智能逻辑第 6 页：逻辑哲学引论第 7 页：逻辑学史引论

[第2集] 数理逻辑简介

本节内容：本讲介绍了哥德尔不完全性定理之前的数理逻辑的发展情况。讲解了各时期的重要思想及其对数理逻辑发展的影响。主要包括：莱布尼茨之梦、布尔的命题代数、弗雷格的形式系统以及希尔伯特计划。希望本次讲座能够达到如下目的：使听众对数理逻辑的发展和基本知识有初步了解;激发听众学习逻辑的兴趣;对听众今后的学习和工作有所启示。