| COURSE NAME | INSTRUCTOR(S) | LEVEL | WHEN & WHERE | |
|---|---|---|---|---|
| 2024 Spring | 逻辑学基础理论 (Foundations of Logic) | Dag Westerstahl | Undergrad. | Mon 15:20-16:55 + Wed 15:20-16:55 Room 4305, Teaching Building No.4 (first eight weeks) |
| 模态逻辑及其应用 (Modal Logic and Its Applications) | Jeremy Seligman | Undergrad. | Mon 15:20-16:55 + Wed 15:20-16:55 Room 4305, Teaching Building No.4 (last eight weeks) | |
| 数理逻辑 (Mathematical Logic) | Qi Feng | Undergrad. | Tue 13:30-16:05 Room 6B301, Teaching Building No.6 | |
| 逻辑学 (Logic) | Junhua Yu | Undergrad. | Thu 19:20 – 21:45 Room 6A201, Teaching Building No.6 | |
| 近代西方哲学 (Modern Western Philosophy) | Hao TANG | Undergrad. | Tue 9:50-12:15 Room B105, Law Library | |
| 跨文化视野下早期中国哲学关键词 (Concepts in Ancient Chinese Philosophy from a Cross-Cultural Perspective) | Ai Yuan | Undergrad. | Wed 13:30-16:05 Room 6B111, Teaching Building No.6 | |
| 集合论 (Set Theory) | Qi Feng | Graduate | Thu 9:50-12:15 Room 6B109, Teaching Building No.6 | |
| 哲学逻辑(Philosophical Logic) | Fenrong Liu | Graduate | Wed 9:50-12:15 Room 3513, Teaching Building No.3 |
|
| 模态逻辑 (Modal Logic) | Chenwei Shi | Graduate | Fri 9:50 – 12:15 Room 6B401, Teaching Building No.6 |
|
| 心灵哲学 (Philosophy of Mind) | Hao TANG | Graduate | Thu 9:50 – 12:15 Room 3209, Teaching Building No.3 | |
| 弗雷格的语言哲学 (Frege's Philosophy of Language) | Asher Jiang | Graduate | Fri 13:30-16:05 Room 6B112, Teaching Building No.6 | |
| 模态逻辑专题 (Topics in Modal Logic) | Junhua Yu | Graduate | Tue 13:30-16:05 Room 323, New Building of Hydraulic Engineering |
| COURSE NAME | INSTRUCTOR(S) | LEVEL | WHEN & WHERE | |
|---|---|---|---|---|
| 2023 Fall | 逻辑、计算和博弈(Logic, computation and game) | Johan van Benthem | Undergrad. | Mon 19:20-21:45+Wed 19:20-21:45 四教4205(前八周) |
| 数理逻辑(Mathematical Logic) | Qi Feng | Undergrad. | Tue 13:30-16:55 一教203 | |
| 逻辑，语言与哲学 (Logic, language and philosophy) | Fenrong Liu and Martin Stokhof | Undergrad. | Mon 15:20-16:55 + Wed 15:20 – 16:55 四教4402 | |
| 逻辑与思维 （Logic and thinking） | Fenrong Liu and Chenwei Shi | Undergrad. | Wed 9:50 – 12:15 旧水利馆303 |
|
| 逻辑与知识论(Logic and Epistemology) | Chenwei Shi | Undergrad. | Fri 9:50 – 12:15 建华楼A423 | |
| 模型论 (Model Theory) | Qi Feng | Graduate | Fri 13:30-16:05 六教6B308 | |
| 一阶逻辑 (First-order logic) | Junhua Yu | Graduate | Tue 13:30-16:05 新水利馆323 |
|
| 推理，计算与学习理论 (Reasoning, Computing and Learning) | Fenrong Liu, Thomas Bolander and Ramaswamy Ramanujam | Graduate | Tue 9:50-12:15 三教3313 |