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