PHIL 6500 - Symbolic Logic

3 Credit Hours
Prerequisites: Enrollment in the Philosophy or PPE masters programs, or consent of instructor.
Description
This course will cover the fundamentals of propositional and predicate logic, and selected topics in such areas as the logic of identity and relations, modal logic, or meta-logic. Emphasis placed on construction of proofs in formal systems.