| 课程号 | 课 程 名 | 课程类型 | 开课学期 | 学时 | 学分 | 先修课程 | 任课教师 | 备 注 |
|---|---|---|---|---|---|---|---|---|
| 02332450 | 本体论论证 | 秋 | 2 | 2 | 逻辑学、西方哲学史 | 邢滔滔 | ||
| 02331051 | 模态逻辑 | 秋 | 4 | 4 | (现代逻辑基础 或 数理逻辑) | 周北海 | ||
| 02336400 | 现代逻辑基础 | 春 | 4 | 4 | 邢滔滔 | |||
| 02331210 | 集合论 | 秋 | 4 | 4 | 刘壮虎 | |||
| 一阶逻辑的可判定片段及扩张 | 逻辑类选修 | 2 | 2 | 模态逻辑 | 王彦晶 | 本科生可选; R.Rananujan授课，本研合上 | ||
| 02315010 | 公理集合论 | 逻辑类选修 | 春 | 3 | 3 | (一阶逻辑 或 数理逻辑); 集合论 | 叶峰、刘壮虎 | 本科生可选 |
| 02315280 | 动态逻辑 | 逻辑类选修 | 3 | 3 | 模态逻辑 | 王彦晶 | 本科生可选 | |
| 博弈与逻辑选讲 | 逻辑类选修 | 2 | 2 | 模态逻辑 | 王彦晶 | 本科生可选; R.Rananujan授课，本研合上 | ||
| 哲学数学计算机中的逻辑 | 逻辑类选修 | 秋 | 2 | 2 | 王彦晶 | 本科生可选 | ||
| 02331370 | 数学结构 | 自然科学类选修 | 秋 | 3 | 3 | 集合论; 高等数学 | 刘壮虎 | 本科生可选 |
| 02315020 | 模型论 | 逻辑类选修 | 秋 | 3 | 3 | (一阶逻辑 或 数理逻辑); 高级模态逻辑 | 叶峰、邢滔滔、刘壮虎 | 本科生可选 |
| 02331160 | 直觉主义逻辑 | 逻辑类选修 | 秋 | 2 | 2 | (现代逻辑基础 或 数理逻辑); 模态逻辑 | 刘壮虎 | 本科生可选 |
| 02315320 | 知识的逻辑 | 逻辑类选修 | 3 | 3 | 模态逻辑 | 王彦晶 | 本科生可选 | |
| 02330036 | 语言、逻辑与计算 | 逻辑类选修 | 2 | 2 | (模态逻辑 或 一阶逻辑) | 王彦晶 | 本科生可选 | |
| 02315160 | 逻辑哲学研究 | 秋 | 3 | 3 | 陈波 | 本科生可选; 克里普克专题 | ||
| 02315160 | 逻辑哲学研究 | 秋 | 3 | 3 | 陈波 | 本科生可选; vagueness专题，本研合上 | ||
| 02315051 | 高级模态逻辑 | 逻辑类选修 | 春 | 4 | 4 | 模态逻辑; 一阶逻辑 | 王彦晶、周北海、邢滔滔 | 本科生可选 |