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 16:10-18:40 清华学堂107

逻辑学
(Logic)
Junhua Yu Undergrad.

Thu 19:20-21:45 六教6A205

模态逻辑及其应用

(Modal Logic and its Applications)

Jeremy  Seligman Undergrad.

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

近代西方哲学

(Modern Western Philosophy)

Hao TANG Undergrad.

Tue 19:20-21:45 四教4203

西方分析哲学史

(History of Analytic Philosophy)

Hao TANG & Travis Charles Stephen Undergrad.

Wed 19:20-20:55+Fri 19:20-20:55(后八周)  四教4103

形式语用学导论

(Introduction to Formal Pragmatics)

Mingming Liu Undergrad.

Mon 15:20-17:50 六教6B202

语言学概论

(Introduction to Linguistics)

Dun Deng Undergrad.

Tue 19:20-21:45 六教6A301

现代汉语语法

(Mandarin Morphology)

Dun Deng Undergrad.

Wed 14:20-16:50 六教6A307

形而上学

(Metaphysics)

Yunpen Asher Jiang Undergrad.

Tue 13:30-16:05三教1102

哲学逻辑

(Philosophical Logic)

Fenrong Liu Graduate

Mon 13:30-16:05三教1202

模态逻辑

(Modal Logic)

Junhua Yu Graduate

Tue 13:30-16:05三教3201

集合论

(Set Theory)

Qi Feng Graduate

Fri 13:30-16:05六教6B104

行动哲学

(Philosophy of Action)

Hao TANG Graduate

Thu 19:20-21:45三教3202

语言现象的形式分析

(Analyzing Natural Language Phenomena in a Formal Way)

Mingming Liu Graduate

Mon 19:20-21:45六教6B111

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