PHI 520 - Symbolic Logic II

[3 Credit Hours]

An intermediate course in symbolic logic which reviews sentential logic, develops further the logic of quantification, and introduces metalogical issues such as the construction, consistency, and completeness of deductive systems.

Prereq: PHI 320 or consent of instructor.