Courses (from Fall 2017 on)


Course Name  Instructor(s) Type / credits  When & where
(Logic and epistemology)
Fenrong Liu Under grad. / 3 Wed 09:50-12:15
(Logic, language and philosophy)
Johan van Benthem, Martin Stokhof, Junhua Yu Under grad. / 4 Tue 13:30-15:05 +Thu 19:20-20:55
(Philosophical logic)
Fenrong Liu, Johan van Benthem, Martin Stokhof Graduate / 3 Fri 13:30-15:55





  • 逻辑与知识论 (Logic and epistemology)
    This course is an introduction to epistemology: the theory of knowledge. We will explore the history of various issues of epistemology, with a focus on the notion of knowledge, the relationship between knowledge, belief and evidence.  In addition, we will pay particular attention on skepticism, namely, the thesis that we know nothing at all—and we will survey a range of skeptical arguments and responses to skepticism. In addition we will also look at the issues considered in some new branches, for instance,  formal epistemology and social epistemology.
  • 逻辑、语言与哲学 (Logic, language and philosophy)
    This course is designed for students with backgrounds and interests in philosophy, and consists of two parts. The first part of the course introduces fundamental logical notions and methods that have applications in philosophy. Things to be covered include logical systems like propositional logic, predicate logic, epistemic logic, and dynamic logic, as well as issues like inter-translation of formal and natural languages, inference pattern and calculus, epistemic activity and information flow, and the interaction between logic and games. The second part of the course introduces the students to the application of logic in the study of natural language semantics. It gives an overview of the main tools and theoretical approaches, provides concrete examples of a number of phenomena, and discusses both historical backgrounds as well as some methodological assumptions.
  • 哲学逻辑 (Philosophical logic)