PHIL 5200 - Philosophical Applications of Symbolic Logic

This course is designed to expose graduate 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 modal 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: 12 hours of philosophy, including either PHIL 2250 or PHIL 3200.

Credits 3 hrs.

Notes:
Open to Upperclass and Graduate Students. Undergraduates with junior or senior status and at least 12 hours of course work in philosophy may enroll in 5000-level courses. Specific prerequisites may be added to individual courses.