[第1课]
逻辑学的对象与内容
主题:本讲通过讨论逻辑学学科性质和主要发展阶段,来展示逻辑学的研究对象和主要内容。第一部分引入广义论证的概念,并对广义论证的结构和广义论证的社会文化特征进行说明,指出论证具有社会文化情境依赖性。第二部分探讨了逻辑学研究的主流沿革,说明了逻辑学的数学转向和认知转向。第三部分介绍了西方非形式论证理论的局限,指出需要将逻辑学的注意力从科学技术问题转向人类文化冲突问题的产生与消解。最后指出,逻辑学的文化转向将是逻辑学历史上的第三次转向。
[第2课]
数理逻辑简介
主题:本讲介绍了哥德尔不完全性定理之前的数理逻辑的发展情况。讲解了各时期的重要思想及其对数理逻辑发展的影响。主要包括:莱布尼茨之梦、布尔的命题代数、弗雷格的形式系统以及希尔伯特计划。希望本次讲座能够达到如下目的:使听众对数理逻辑的发展和基本知识有初步了解;激发听众学习逻辑的兴趣;对听众今后的学习和工作有所启示。
[第3课]
哲学逻辑
主题:给出哲学逻辑的定义,介绍哲学逻辑发展简史,介绍哲学逻辑的现状,举例介绍几个常见而且重要的哲学逻辑:模态逻辑、时态逻辑、认知逻辑、道义逻辑。
[第4课]
非形式逻辑导论
主题:非形式逻辑是研究取材于政治论辩、法律辩论、报刊评论、人际交往等日常生活领域的论证分析、评价与建构的逻辑学分支。其目的是帮助人们分析与评价论证的好坏,学会建构好论证的逻辑技巧。本讲从好论证的标准出发,提供了分析、评价和建构论证的47条规则,帮助学生学习如何建构论证。
[第5课]
人工智能逻辑
主题:本讲通过区分数学推理与常识推理介绍了人工智能逻辑的产生背景,以非单调推理为例介绍了人工智能逻辑的研究对象和研究方法。重点介绍了缺省逻辑及其应用。
[第7课]
逻辑学史引论
主题:古希腊、古印度、中国被称为逻辑学的三大发源地。学界称中国逻辑学为“名学与辩学”、“名学”、“辩学”或“名辩学”等,印度逻辑学称为“因明学”或“佛教逻辑”等(在我国藏族聚居区称“量论”或“量学”)。本讲概述西方逻辑学史、印度逻辑学史、中国逻辑学史。