4. 数理逻辑简介 - 1

人是社会的动物，总是需要与他人进行交往。人还是理性的动物，总是需要借助理由来说服你想要说服的人，这个说服过程就是论证。逻辑学是研究、区分、论证好坏标准的科学。它不仅有形式逻辑与非形式逻辑之分，还有演绎逻辑与归纳逻辑之别。逻辑学曾一度追求形式的纯粹理性，而20世纪后半叶开始回归古希腊、古印度、古中国的逻辑传统，转追求非形式的实践理性。本课程将围绕形式理性和实践理性展开讲授，让学生对逻辑学的基本知识有一个大致的了解和把握，同时学会一些如何论证的基本逻辑技巧。本课程共分7讲：主要介绍逻辑学的对象、类型及其发展趋势，数理逻辑的基础知识，哲学逻辑的基础知识，非形式逻辑的基础知识，人工智能逻辑的基础知识，逻辑哲学基础知识，中国逻辑学史的基础知识。