| COURSE NAME | INSTRUCTOR(S) | LEVEL | WHEN & WHERE | |
|---|---|---|---|---|
| 2025 Autumn | 逻辑，语言与哲学(Logic, language and philosophy) | Martin Stokhof | Undergrad. | Mon 15:20-16:55 + Wed 15:20 – 16:55 @Teaching Building No.6 Room 6A309 |
| 逻辑、计算和博弈 (Logic, computation and game) | Johan van Benthem | Undergrad. | Mon 19:20-20:55+Wed 19:20-20:55@Teaching Building No.6 Room 6A113 (first eight weeks) | |
| 形而上学 (Metaphysics) | JIANG YUNPEN ASHER | Undergrad. | Fri 13:30 – 16:55 @Teaching Building No.3 Room 1206 | |
| 形式语义学导论 (Introduction to Formal Semantics) | Mingming Liu | Undergrad. | Tue 9:50 – 12:15 @Teaching Building No.4 Room 4202 | |
| 语义学 (Semantics) | Mingming Liu | Undergrad. | Tur 15:20 – 16:55 @Teaching Building No.6 Room 6A115 | |
| 一阶逻辑 (First-order logic) | Junhua Yu | Graduate | Tue 13:30-16:55 @New Building of Hydraulic Engineering Room 323 |
|
| 道家哲学研究 (Daoist Philosophy Studies) | Ai Yuan | Graduate | Tue 13:30-16:55 @Teaching Building No.6 Room 6A011 |
|
| 集合论 (Set theory) | Qi Feng | Undergrad. | Mon 9:50 - 12:15 @Teaching Building No.6 Room 6A105 |
