PHIL 3440 - Introduction to Symbolic Logic

Covers truth functional and quantificational logic through polyadic first order predicate calculus and theory of identity. Attention is given to such problems in metatheory as proofs of the completeness and consistency of systems of logic. Cross-listed with MATH 3440. Semester Hours: 3 to 3