PhilosophyPHIL 219 Intermediate Logic

Natural deduction and semantics of first order predicate logic. Metatheory, including completeness theorems for propositional and predicate logic.

Requirements

Prerequisite(s): PHIL 9. Enrollment is restricted to graduate students.

Credits

5

Instructor

The Staff