PHIL 5200 - Philosophical Applications of Symbolic Logic

This course is designed to expose students to the range of philosophical applications of modern symbolic logic. Starting with the sentential and predicate calculi, the course explores various extensions which may include alethic model logic, deontic logic, tense logic, relevance logic and counterfactuals. In addition, the course will address salient issues in the philosophy of logic and may include an investigation of the logical paradoxes and/or the controversy surrounding quantified modal logic.

Prerequisites & Corequisites: Prerequisites: Junior status and 12 hours of philosophy, including PHIL 2250 or 3200.

Credits: 3 hours

Restrictions: Graduate students must be admitted into the M.A. program, unless an exception is granted by the department’s Director of Graduate Studies.

Notes: The prerequisites for admission into 5000-level courses are: Junior status and 12 hours of philosophy. Specific prerequisites may be added to individual courses.