PHIL 6500 - Symbolic Logic

3 Hours
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.

Prerequisite(s): None.
Corequisite(s): None.
Pre/Corequisite(s): None.
Requirements: None.