课 程 号

课 程 名

课 程 类 型

学时

学分

上 课 时 间

地 点

任课教师

备注

02315272

逻辑前沿问题（下）

研究生课程（逻辑专业必修）

3

3

周二 7-9

三教 201

逻辑专业全体师生

02315260

哲学专业逻辑

研究生课程（外国哲学专业必修）

3

3

周三 10-12

地学 107

邢滔滔

02315050(研)

02315051(本)

高级模态逻辑

研究生课程（逻辑专业必修）

4

4

周二 3-4

周四 3-4

地学 205

王彦晶

本研合上

02330030

逻辑导论

通识核心课

3

3

周四 10-12 

二教 314

邢滔滔

王彦晶

钟盛阳

丁一峰

02315010(研)

02331240(本)

公理集合论

研究生课程（逻辑专业必修）

3

3

周三 7-9

地学 106

丁一峰

本研合上

02331070(本)

02313020(研)

数理逻辑

本科生课程（选修） 

4

4

周一 3-4

周三 3-4

三教 505

钟盛阳

本研合上