| COURSE NAME | INSTRUCTOR(S) | LEVEL | WHEN & WHERE | |
|---|---|---|---|---|
| 2026 Autumn | 逻辑，语言与哲学(Logic, language and philosophy) | Martin Stokhof, Fenrong Liu | Undergrad. | Mon 15:20-16:05 + Wed 15:20–16:05 @Teaching Building No.4 Room 4406 |
| 逻辑、计算和博弈 (Logic, computation and game) | Johan van Benthem | Undergrad. | Mon 19:20-20:55+Wed 19:20-20:55@Teaching Building No.6 Room 6A111 (first eight weeks) | |
| 形而上学 (Metaphysics) | JIANG YUNPEN ASHER | Undergrad. | Fri 13:30 – 16:05 @Law Library B111 1206 | |
| 形式语义学导论 (Introduction to Formal Semantics) | Mingming Liu | Undergrad. | Tur 9:50 – 12:15 @ | |
| 语义学 (Semantics) | Mingming Liu | Undergrad. | Wed 15:20 – 16:05 @ | |
| 英语世界中的道家哲学 (Daoist Philosophy in AnglophoneWorld) | Ai Yuan | Undergrad. | Wed 13:30-16:05 @Teaching Building No.3 Room 1304 |
|
| 集合论 (Set theory) | Qi Feng | Undergrad. | Mon 9:50 – 12:15 @Teaching Building No.6 Room 6A103 |
|
| 一阶逻辑 (First-order logic) | Junhua Yu | Graduate | Tue 13:30-16:05 @New Building of Hydraulic Engineering Room 323 |
|
| 逻辑学经典研读 (Readings in the Classics of Logic) | Chenwei Shi | Graduate | Wed 19:20-20:55 @Teaching Building No.6 Room 6A010 |
