PHIL 456.001 – Advanced Symbolic Logic
Instructor: Gillian Russell. This course meets TR 11:00 a.m. – 12:15 p.m. in CW 213.
This is a course in extensions of and alternatives to first-order classical logic. Since it is a logic course, it will be assessed though problem sets and exams. We will focus on areas of logic which are likely to be of interest to philosophers, beginning with a brief review of classical logic and then moving on to some alternatives (such as three-valued logics, intuitionist logics, and paraconsistent logics) and extensions (including modal logics, 2nd order logic etc.)
It is not a course in the philosophy of logic, which would be a philosophy course, assessed mainly by papers, focusing on things like the metaphysics and epistemology of logic, and logical concepts like truth, necessity, possible worlds and logical consequence.
The course is aimed at students who have completed at least one previous course in formal logic and it will be assumed that you already have a good grasp of first-order classical logic.