[第2集] 数理逻辑简介

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

讲师：鞠实儿，男，1953年9月26日生，中山大学哲学系系主任，教育部人文社会科学重点研究基地中山大学逻辑与认知研究所所长，中山大学哲学系教授、逻辑学博士生导师，曾在美国哥伦比亚（Columbia）大学、匹兹堡（Pittsburgh）大学和斯坦福（Stanford）大学哲学系访问；1999年入选教育部跨世纪人才培养计划，2003年被聘为广东省特聘教授，2010年受聘为中山大学“逸仙学者”讲座教授。主攻方向为：非经典逻辑、逻辑哲学和认知与文化。

逻辑学是研究、区分、论证好坏标准的科学。它不仅有形式逻辑与非形式逻辑之分，还有演绎逻辑与归纳逻辑之别。本课程将围绕形式理性和实践理性展开讲授，让学生对逻辑学的基本知识有一个大致的了解和把握，同时学会一些如何论证的基本逻辑技巧。本课程共分7讲：主要介绍逻辑学的对象、类型及其发展趋势，数理逻辑的基础知识，哲学逻辑的基础知识等。