030114 Introduction to Formal Epistemology (Wang/Straßer)

Event Timeslots (1)

Formal epistemology aims to address both old and new epistemological problems using mathematical methods. This introductory-level course will cover selected topics in formal epistemology. The main focus will be on different types of formal representation models of qualitative and quantitative beliefs and their rational relations. Specifically, the course will explore basic epistemic and doxastic logic, AGM belief revision theory, the Dutch book argument, epistemic decision theory, and the Lottery paradox. Moreover, this course aims to balance breadth and depth of understanding. Students will learn how to read formal theorems and proofs and play with mathematical concepts. A familiarity with first-order logic is a prerequisite. Some knowledge of basic set theory and probability calculus would be beneficial, though these will be taught during class. The course will be conducted in English. In principle, there will be no required readings. I will give lectures on important concepts and theorems with my lecture notes referencing the following literature.