Formal Methods for Philosophy

PHILOSOPHY 509

This course is an advanced course exploring formal methods in both logic and confirmation theory. It begins with an introduction to metatheory, which is explored in more depth in the 403-404 sequence on Mathematical Logic, addressing the basic metatheory for logic in addition to alternatives to standard first-order logic. The second part of the course focuses on modal and other intensional logics. The final part of the course focuses on non-monotonic logics, focusing especially on Bayesian confirmation theory and decision theory. Prerequisite: 6 units of philosophy or permission of the instructor.
Course Attributes: FA NSM; AR NSM; AS NSM; AS AN

Section 01

Formal Methods for Philosophy
INSTRUCTOR: Kvanvig
View Course Listing - FL2024