[第2课] 数理逻辑简介

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

[第3课] 哲学逻辑

主题：给出哲学逻辑的定义，介绍哲学逻辑发展简史，介绍哲学逻辑的现状，举例介绍几个常见而且重要的哲学逻辑：模态逻辑、时态逻辑、认知逻辑、道义逻辑。

[第4课] 非形式逻辑导论

主题：非形式逻辑是研究取材于政治论辩、法律辩论、报刊评论、人际交往等日常生活领域的论证分析、评价与建构的逻辑学分支。其目的是帮助人们分析与评价论证的好坏，学会建构好论证的逻辑技巧。本讲从好论证的标准出发，提供了分析、评价和建构论证的47条规则，帮助学生学习如何建构论证。

[第5课] 人工智能逻辑

主题：本讲通过区分数学推理与常识推理介绍了人工智能逻辑的产生背景，以非单调推理为例介绍了人工智能逻辑的研究对象和研究方法。重点介绍了缺省逻辑及其应用。

[第6课] 逻辑哲学引论

主题：主要通过讲解“什么是逻辑哲学”、“逻辑哲学与哲学逻辑”以及“逻辑哲学研究的主要问题”这三个问题，来对“逻辑哲学”分支的基本理论内容和主要理论问题做一个基本的介绍，并且特别就“有效性与逻辑后承”的议题，进行了系统地分析与探讨。

[第7课] 逻辑学史引论

主题：古希腊、古印度、中国被称为逻辑学的三大发源地。学界称中国逻辑学为“名学与辩学”、“名学”、“辩学”或“名辩学”等，印度逻辑学称为“因明学”或“佛教逻辑”等（在我国藏族聚居区称“量论”或“量学”）。本讲概述西方逻辑学史、印度逻辑学史、中国逻辑学史。