| 课 程 名 | 课程类型 | 开课学期 | 学时 | 学分 | 先修课程 | 任课教师 | 备 注 |
|---|---|---|---|---|---|---|---|
| 一阶逻辑 | 逻辑硕士必修 | 秋 | 3 | 3 | 现代逻辑基础; 集合论 | 邢滔滔、叶峰、刘壮虎 | |
| 一阶逻辑的可判定片段及扩张 | 选修 | 2 | 2 | 模态逻辑 | 王彦晶 | 本科生可选; R.Rananujan授课，本研合上 | |
| 公理集合论 | 逻辑硕士必修 | 春 | 3 | 3 | (一阶逻辑 或 数理逻辑); 集合论 | 叶峰、刘壮虎 | 本科生可选 |
| 内涵逻辑 | 逻辑学、语言学类选修 | 3 | 3 | 周北海 | |||
| 动态逻辑 | 选修 | 3 | 3 | 模态逻辑 | 王彦晶 | 本科生可选 | |
| 博弈与逻辑选讲 | 选修 | 2 | 2 | 模态逻辑 | 王彦晶 | 本科生可选; R.Rananujan授课，本研合上 | |
| 哲学专业逻辑 | 逻辑外哲学系硕士生选修 | 春 | 3 | 3 | 邢滔滔 | ||
| 广义模态逻辑 | 2 | 周北海、刘壮虎、陈波 | |||||
| 异释逻辑 | 刘壮虎、陈波、周北海 | 直觉主义逻辑、相干逻辑、自由逻辑 | |||||
| 形式语义学 | 逻辑学、语言学类选修 | 2 | 2 | 周北海、王彦晶 | 还未开课 | ||
| 数学哲学 | 逻辑、科学哲学类选修 | 3 | 3 | 叶峰 | |||
| 数学结构 | 逻辑硕士必修 | 秋 | 3 | 3 | 集合论; 高等数学 | 刘壮虎 | 本科生可选 |
| 模型论 | 选修 | 秋 | 3 | 3 | (一阶逻辑 或 数理逻辑); 高级模态逻辑 | 叶峰、邢滔滔、刘壮虎 | 本科生可选 |
| 直觉主义逻辑 | 逻辑、科学哲学类选修 | 秋 | 2 | 2 | (现代逻辑基础 或 数理逻辑); 模态逻辑 | 刘壮虎 | 本科生可选 |
| 知识的逻辑 | 选修 | 3 | 3 | 模态逻辑 | 王彦晶 | 本科生可选 | |
| 语言、逻辑与计算 | 选修 | 2 | 2 | (模态逻辑 或 一阶逻辑) | 王彦晶 | 本科生可选 | |
| 递归论基础 | 选修 | 3 | 3 | 叶峰、刘壮虎、邢滔滔 | |||
| 逻辑专题 | 逻辑学、哲学类选修 | 3 | 3 | 周北海、刘壮虎、叶峰、陈波、邢滔滔、王彦晶 | |||
| 逻辑前沿问题（上） | 必修 | 秋 | 3 | 3 | 一阶逻辑、模态逻辑 | ||
| 逻辑前沿问题（下） | 必修 | 春 | 3 | 3 | 一阶逻辑、模态逻辑 | ||
| 逻辑史 | 逻辑、西方哲学类选修 | 春 | 3 | 3 | (现代逻辑基础 或 逻辑导论 或 数理逻辑) | 陈波 | |
| 逻辑哲学原著选读 | 逻辑博士(逻辑哲学)必修 | 秋 | 4 | ||||
| 逻辑哲学研究 | 逻辑、西方哲学类选修 | 秋 | 3 | 3 | 陈波 | 本科生可选; 克里普克专题 | |
| 逻辑哲学研究 | 逻辑、西方哲学类选修 | 秋 | 3 | 3 | 陈波 | 本科生可选; vagueness专题，本研合上 | |
| 邻域语义学 | 符号逻辑方向博士生必修 | 春秋 | 3 | 3 | 刘壮虎 | ||
| 高级模态逻辑 | 逻辑硕士必修 | 春 | 4 | 4 | 模态逻辑; 一阶逻辑 | 王彦晶、周北海、邢滔滔 | 本科生可选 |