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
