PHIL 432 - Philosophy of Logic (3)

This course looks at the philosophical questions that arise when we think about logic as an object of study rather than as a system of symbols that we use. We will consider questions like: What is the logical truth? How do we know the truths of logic? Is there more than one correct logic? What is the relation between logic and reasoning? We will also explore extensions and alternatives to classical logic and use formal techniques to prove certain things about these logical systems.

Grading: Graded/Pass Fail/Audit
Course ID: 102862
Consent: No Special Consent Required
Components: Lecture
Prerequisite/Corequisite: You must complete PHIL 346 or equivalent, with a grade of C or better