PHIL 321 - Symbolic Logic (3 credits)

(Prereq: PHIL 110 and Sophomore standing or higher, or permission of the instructor) This course explains the development, application, and theoretical properties of an artificial symbolic language designed to provide a clear representation of the logical structure of deductive arguments. The course might also explore first- order calculus with identity and function symbols and some metatheorems about consistency, soundness, completeness and compactness.