现代逻辑概论
课程编码：180088010104MX002H
英文名称：An Overview of Modern Logic
课时：40
学分：1.00
课程属性：公共选修课
主讲教师：李大柱
教学目的要求
现代逻辑是逻辑学现代化标志，也是当下逻辑学其它分支的基石，对哲学、数学、计算机科学、人工智能、语言学等学科可领域中都发挥了不可替代的作用。作为公共选修课，这门课程的主要目的是让哲学、数学、计算机、语言学等不同学科背景的学生了解现代逻辑的发展和理解重要结果的证明思想。在此基础上，通过基本的逻辑训练，使学生一方面掌握一些现代逻辑的方法，同时也能在各自研究领域进行严格的逻辑推理。
预修课程
无
大纲内容
第一章 导论 3.0学时 李大柱
第1节 什么是逻辑？
第2节 逻辑学关心的问题有哪些？
第二章 逻辑学的起源 9.0学时 李大柱
第1节 概念与命题
第2节 词项逻辑与判定方法
第3节 三段论
第三章 命题逻辑 9.0学时 李大柱
第1节 命题逻辑的语言和语义
第2节 命题逻辑的元定理（I）
第3节 命题逻辑的元定理（II）
第四章 一阶逻辑 9.0学时 李大柱
第1节 一阶逻辑的语言和语义
第2节 一阶逻辑的元定理（I）
第3节 一阶逻辑的元定理（II）
第五章 模态逻辑 9.0学时 李大柱
第1节 模态逻辑及其元理论
第2节 模态逻辑的应用（I）
第3节 模态逻辑的应用（II）
参考书
1、
逻辑——从三段论到不完全性定理
熊明
2016年3月
科学出版社
2、
简明数理逻辑
赵希顺
2021年11月
科学出版社
3、
模态逻辑教程
文学锋
2021年3月
科学出版社
4、
Mathematical Logic
H.-D. Ebbinghaus, J. Flum, and W. Thomas
2021年5月
Springer
课程教师信息
李大柱，中国科学院哲学研究所、中国科学院大学人文学院哲学系讲师。博士毕业于清华大学哲学系、阿姆斯特丹大学逻辑、语言与计算研究所（ILLC），由两校联合授予哲学博士学位，所学专业是逻辑学。我的研究领域是模态逻辑、博弈逻辑及逻辑在相关领域的应用，目前已在Journal of Logic and Computation, Journal of Logic, Language and Information, International Conference on Logic, Rationality and Interaction (LORI)，Workshop on Logic, Language, Information and Computation (WoLLIC)等国际知名期刊和会议上发表多篇英文论文。曾参与多项科研课题，多次参加国内外学术会议并做报告。