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