Jun 25, 2022  
2018-2019 Undergraduate Catalog 
2018-2019 Undergraduate Catalog [ARCHIVED CATALOG]

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.