PHIL478P     Topics in Philosophical Logic: Reasoning about Knowledge and Beliefs
Semester:Fall 2013
Instructor: Eric Pacuit
Room:SKN 1115
Meeting Times:11:00am - 11:50am

Reasoning about the knowledge and beliefs of a single agent or group of agents  is an interdisciplinary concern spanning philosophy, game theory, artificial intelligence, and mathematics.   Inspired, in part, by issues in  these different ``application" areas, many different notions of knowledge and belief have been identified and analyzed in the formal epistemology literature.        The  main challenge  for a logician is not to argue that one particular account  of belief or knowledge is primary,  but, rather,  to explore the logical space of definitions and identify interesting relationships between the different notions.   A second challenge is to keep track of the many different formal frameworks used in this broad literature.  This  course will introduce students to  key  issues that arise when designing a formalism to make precise intuitions about the knowledge and beliefs of a group of agents.   Topics to be discussed include modal logics of knowledge and beliefs (including probabilistic modal logics), formal definitions  of common knowledge and common belief, dynamic epistemic logic,  modal logics of belief revision, logical omniscience, the surprise examination paradox,  the knowability paradox, the absent-minded driver  problem, and  Aumann's agreeing to disagree theorem.