PHIL 3116

Exclusion(s): Unavailable to students with credit for PHIL4120, HIL412, PHIL312. This is an introduction to the formal techniques of modern symbolic logic. Students will learn to reason precisely about key logical concepts such as validity and soundness using various formal techniques such as truth tables, truth trees, and formal deductive proof procedures. Systems of propositional and predicate logic with quantification and identity will be covered. Discussion of some meta-logical results such as completeness and soundness of formal systems may also be covered time permitting.