PHIL 321 - Symbolic Logic (3 credits)

(Prereq: A grade of ‘C’ or better in PHIL 110 and Sophomore standing or higher) 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. F, S.