PHIL 4500 - Symbolic Logic

3 Credit Hours

Pre/Corequisites: Prerequisite: Phil 2500 with grade of B or better, 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.