Dynamic Logics for Formal Epistemology
Course Description: This course covers formal tools and techniques for use in modern Formal Epistemology. The emphasis is on dynamic logics for reasoning about how knowledge, belief and evidence change over time. We present the standard qualitative, logical frameworks for belief and doxastic change (both semantical approaches such as epistemic-doxastic logic, Belief Revision Theory, Dynamic Epistemic Logic, and the syntactical approach to evidential reasoning coming out of Justification Logic), then compare and connect them with the Bayesian account for updating degrees of belief. We use these tools for a mathematical analysis of important epistemological concepts and puzzles: omniscience, defeasible knowledge, awareness, justification, Gettier examples, Fitch’s Knowability Paradox, the Surprise Exam Paradox etc. Time permitting, we may also explore connections with Learning Theory, Game Theory, and Social Epistemology.
Material will be presented in a manner that is accessible to a graduate level audience that need not have any previous background in the topics taught beyond some basic acquaintance with modal logic and with elementary probabilistic reasoning.
Schedule of all courses