PHI 520 - SYMBOLIC LOGIC II

College of Arts and Sciences

Credit(s): 3

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.