Logic: Logical Theory I

3 credits · Graduate

An introduction to metalogic, with special attention to the soundness and completeness of formal systems, and to the philosophical evaluation of non-classical logics. PREREQUISITES: PHIL 2130.03 or equivalent CROSSLISTED: PHIL 3140.03 FORMATS: Lecture | Discussion