JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic

Academic Year 2018-2019

 

 

Semester  
2019
Spring
Course Name  Instructor(s) Level / credits  When & where
逻辑学

(Logic)

 Lu Wang Under grad. / 3 Mon. 13:30 – 16:55

六教6B304
逻辑学基础理论

(Foundations of Logic)

 Dag Westerstahl Under grad. / 4 Tue 13:30-15:05 + Thur 19:20 – 21:45

(1st half of the semester)
三教1204
模态逻辑及其应用

(Modal Logic and it’s Application)

 Jeremy  Seligman   Under grad. / 4 Tue 13:30-15:05 + Thur 19:20 – 21:45

(2st half of the semester)

三教1106
逻辑哲学

（Philosophy of Logic）

 Lu Wang Graduate / 3 Tue 19:20 – 21:45
六教6B305
模态逻辑

（Modal Logic）

 Fenrong Liu Graduate / 3 Thur 9:50 – 12:15
新斋335
人工智能中的逻辑 (Syllabus)

(Logic in AI)

 Fenrong Liu Graduate / 3 Fri  13:30-16:55
新斋324
证明论

(Proof Theory)

 Junhua Yu Graduate / 3 Tue 13:30-16:55
新斋238
形而上学

(Metaphysics)

 Yunpen Asher Jiang   Graduate / 2 Mon 15:20 – 16:55

新斋335
2018
Fall
Course Name  Instructor(s) Level / credits  When & where
逻辑，计算和博弈
(Logic，computation and game)		 Johan van Benthem Under grad. / 3 Tue 19:20-20:55 + Thu 19:20-20:55

(1st half of the semester)
六教6B111

(Class Photo)
逻辑，语言与哲学
(Logic, language and philosophy)		 Fenrong Liu

Martin Stokhof

 Under grad. / 4 Mon 15:20-16:55 + Wed 13:30 – 15:05

（Class Photo）
六教6B304
西方哲学思想经典

(Classics of western philosophical thought)

 Yunpen Asher Jiang  Under grad. / 2 Fri 13:30 – 16:55

六教6A205
西方哲学史（2） 

（History of western philosophy）

 Yunpen Asher Jiang  Under grad. / 2 Tue 13:30 – 16:55

三教1109
哲学逻辑 (Syllabus)
(Philosophical logic)		 Fenrong Liu Graduate / 3 Fri 13:30-16:05
文北楼（文科楼）309
语言哲学
(Philosophy of language)		 Lu Wang Graduate / 3 Mon 19:20-21:45
六教6B206
一阶逻辑
(First-order logic)		 Junhua Yu Graduate / 3 Tue 13:30-15:55
三教3205
Syllabus-Spring 2019Download