Tsinghua University – University of Amsterdam Joint Research Centre for Logic

Academic Year 2021-2022

Semester  
2022
Spring
Course Name  Instructor(s) Level  When & where

逻辑学基础理论

(Foundations of Logic)

Dag Westerståhl

Undergrad

Mon 17:05-18:40 + Wed 17:05 – 18:40 (前八周)

旧水305

数理逻辑

(Mathematical Logic)

Qi Feng Undergrad

Tue 13:30-16:05 

清华学堂107

逻辑学
(Logic)
Junhua Yu Undergrad

Thu 19:20-21:45 

六教6A205

模态逻辑及其应用
(Logic, language and philosophy)
Jeremy  Seligman Undergrad

Mon 9:50-11:25 + Wed 13:30 – 15:05 (后八周)

旧水305

形而上学 (Metaphysics) Yunpen Asher Jiang Undergrad

Tue 13:30-16:05

三教1102

Semester  
2021
Fall
Course Name  Instructor(s) Level  When & where
逻辑、计算和博弈(Logic, computation and game) Johan van Benthem Undergrad Mon 19:20-21:45 + Wed 17:05 – 18:40六教6A307
逻辑学专题研究(Selected topics in logic) Qi Feng Graduate Fri 13:30-16:05 六教6B206
一阶逻辑
(First-order logic)
Junhua Yu Graduate Tue 13:30-16:55
三教3209
逻辑,语言与哲学
(Logic, language and philosophy)
Fenrong Liu

Martin Stokhof

Undergrad. Mon 17:05-18:40 + Wed 17:05 – 18:40六教6A207
西方哲学思想经典 (Classics of western philosophy) Yunpen Asher Jiang  Undergrad. Tue 19:20 – 21:45
六教6A118
语言学概论 (Introduction to Linguistics) Dun Deng  Undergrad. Wed 14:20 – 16:55
六教6A301
语义学 (Semantics  Mingming Liu Graduate Wed 15:20 – 16:55
6教6B310
形式语义学导论 (Introduction to Formal Semantics) Mingming Liu Undergrad. Thur 9:50 – 12:15
6教6B208