- 逻辑与知识论 (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)
This course is a research seminar for graduate students and advanced undergraduates. We will introduce several research areas, with a focus on the current research topics. Whenever necessary, we will invite colleagues from other universities to present their work. The students are required to read the relevant literature. We hope to bring the students to the research front, so that they can find a topic of their interest. Topics include: Game logics (logical analysis of game structures / logical analysis of players and play / logic, games, and computation / logic as games and gamification); Logics for social networks (belief revision in social networks / epistemic logic of friendship / modelling communication in social networks / social structures and simulations); Theories of truth, rationality and logic (the problem of defining truth / truth, meaning and interpretation / truth and action explanation / truth and the foundations of logic).