逻辑学前沿

课程编码：180088010104D2001Y 英文名称：Frontiers in Logic 课时：40 学分：2.00 课程属性：专业核心课 主讲教师：张立英

本课程旨在为逻辑学专业学生的专业研究及学位论文选题提供学术基础和科研思路。学生将首先从整体上了解当下逻辑学研究的几大板块，以及这些研究中使用的主要逻辑学方法；了解一定数量的逻辑学研究分支；并聚焦少数研究分支开展精读和研讨。本课程内容可能涉及哲学逻辑、数理逻辑、数学哲学及与逻辑学相关的交叉研究领域。参与课程的同学需要阅读、讨论指定的参考文献，并完成相应的论文作业。

数理逻辑、模态逻辑或数学哲学

第一章 逻辑学的研究概览 6.0学时 张立英
第1节 传统逻辑及其主要分支
第2节 现代逻辑及其主要分支
第二章 逻辑学的研究方法 6.0学时 张立英
第1节 传统逻辑的研究方法
第2节 现代逻辑的研究方法
第3节 语法证明、语义证明与完全性证明
第三章 逻辑学的研究分支-I 4.0学时 张立英
第1节 数理逻辑—集合论
第2节 数理逻辑—模型论
第3节 数理逻辑—证明论
第4节 数理逻辑—递归论
第四章 逻辑学的研究分支-II 6.0学时 张立英
第1节 哲学逻辑
第2节 数学哲学
第五章 逻辑学前沿问题研讨-I 6.0学时 张立英
第1节 数理逻辑-I
第2节 数理逻辑-II
第六章 逻辑学前沿问题研讨-II 6.0学时 张立英
第1节 哲学逻辑-I
第2节 哲学逻辑-II
第七章 逻辑学前沿问题研讨-III 6.0学时 张立英
第1节 数学哲学-I
第2节 数学哲学-II

张立英，女，中国科学院哲学研究所教授，博导，北京大学哲学博士，荷兰阿姆斯特丹大学、美国匹兹堡大学访问学者，北京市逻辑学会副会长。主要研究方向为哲学逻辑，出版专著、译著、教材多部，发表论文30余篇。主持国家社科基金2项、教育部社科基金2项、北京市社科基金1项。曾主讲研究生课程《集合论》《模态逻辑》《哲学逻辑》《归纳逻辑》《逻辑学原著选读》《论文写作指导》等。曾获金岳霖学术奖一等奖、北京市第十四届哲学社会科学优秀成果二等奖、北京大学优秀博士学位论文二等奖、中国逻辑学会优秀成果奖三等奖等奖励。