PHIL 321 Symbolic Logic - 3 credits

Prerequisite(s): 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.
Semester(s) Offered: Fall, Spring