| 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 |
| COURSE NAME | INSTRUCTOR(S) | LEVEL | WHEN & WHERE | |
|---|---|---|---|---|
| 2023 Spring | 逻辑学基础理论 (Foundations of Logic) | Dag Westerstahl | Undergrad. | Mon 17:05-18:40 + Wed 17:05 – 18:40四教4301(前八周) |
| 模态逻辑及其应用 (Modal Logic and Its Applications) | Jeremy Seligman | Undergrad. | Mon 9:50 – 12:15 + Wed 13:30 – 15:05 四教4302(后八周) | |
| 数理逻辑 (Mathematical Logic) | Qi Feng | Undergrad. | Tue 13:30-16:55 六教6B403 | |
| 逻辑与思维 (Logic and Thinking） | Fenrong Liu and Chenwei Shi | Undergrad. | Wed 9:50 – 12:15 四教4203 |
|
| 逻辑学 (Logic) | Junhua Yu | Undergrad. | Mon 9:50 – 12:15 六教6A303 | |
| 哲学经典与专题研讨班 (Seminar on Philosophical Classics and Special Topics) | Chenwei Shi | Undergrad. | Mon 9:50-12:15 三教3303 | |
| 语言哲学 (Philosophy of Language) | Hao TANG | Undergrad. | Fri 9:50 – 12:15 四教4205 |
|
| 当代西方哲学专题 (Topics in Contemporary Western Philosophy) | Hao TANG and Travis Charles Stephen | Undergrad. | Wed 19:20-21:45 + Fri 19:20-21:45 法律图书馆B105 (后八周) | |
| 英语世界中的道家哲学 (Daoism in English) | Ai Yuan | Undergrad. | Mon 13:30-16:55 清华学堂107 | |
| 集合论 (Set Theory) | Qi Feng | Graduate | Fri 13:30-16:55 六教6B103 | |
| 人工智能中的逻辑(Logic in AI) | Fenrong Liu | Graduate | Thu 9:50-12:15 三教1306 |
|
| 模态逻辑 (Modal Logic) | Chenwei Shi | Graduate | Fri 9:50 – 12:15 六教6B201 |
|
| 证明论 (Proof Theory) | Junhua Yu | Graduate | Tue 13:30-16:55 新水利馆323 | |
| 语言哲学 (Philosophy of Language) | Hao TANG | Graduate | Wed 9:50 – 12:15 三教3204 | |
| 英国经验论 (British Empiricism) | Asher Jiang | Graduate | Fri 13:30-16:55 三教1200 | |
| 老庄哲学研究 (Daoist philosophy) | Ai Yuan | Graduate | Tue 13:30-16:55 三教1303 |