MIT: Independent Activities Period: IAP

IAP 2017



Formal Methods in Epistemology

Kevin Dorst

Jan/23 Mon 11:00AM-12:30PM 32-D461
Jan/24 Tue 11:00AM-12:30PM 32-D461

Enrollment: Unlimited: No advance sign-up
Attendance: Participants must attend all sessions

A crash course in two of the most prominent formal systems used in epistemology: probability theory and epistemic logic. The first part introduces the basics of probability theory as a tool for studying rational belief, with an eye towards examples and intuitive understanding. The second part introduces models of epistemic logic as a tool for studying agents' beliefs about themselves and others, with an eye towards extensions and applications. Throughout, emphasis will be placed on the presuppositions, scope, and limitations of formalism as a tool for philosophy.

Sponsor(s): Linguistics and Philosophy
Contact: Kevin Dorst, kmdorst@mit.edu