| COURSE NAME | INSTRUCTOR(S) | LEVEL | WHEN & WHERE | |
|---|---|---|---|---|
| 2022 Fall | 逻辑、计算和博弈(Logic, computation and game) | Johan van Benthem | Undergrad. | Mon 19:20-20:55 + Wed 19:20 – 20:55四教4103(前八周) |
| 数理逻辑(Mathematical Logic) | Qi Feng | Undergrad. | Tue 16:10-18:40 六教6B306 | |
| 逻辑，语言与哲学 (Logic, language and philosophy) | Fenrong Liu and Martin Stokhof | Undergrad. | Mon 17:05-18:40 + Wed 17:05 – 18:40四教4102 | |
| 逻辑与思维 （Logic and thinking） | Fenrong Liu and Chenwei Shi | Undergrad. | Wed 9:50 – 12:15 新水300 |
|
| 形式语义学导论 （Introduction to Formal Semantics） | Mingming Liu | Undergrad. | Thur 9:50 – 12:15 六教6B306 | |
| 现代汉语语法 (Mandarin morphology) | Dun Deng | Undergrad. | Wed 14:20-16:55 六教6A407 | |
| 逻辑哲学(Philosophy of Logic) | Qi Feng | Graduate | Fri 13:30-16:05 六教6B407 | |
| 一阶逻辑 (First-order logic) | Junhua Yu | Graduate | Tue 13:30-16:55 清华学堂101 |
|
| 逻辑学经典研读(A guide to classical works of logic) | Chenwei Shi | Graduate | Fri 9:50 – 12:15 清华学堂201 |
|
| 汉语词法句法专题研讨 | Dun Deng | Graduate | Tue 14：20-16：55 三教3313 |
