PHI 520 - SYMBOLIC LOGIC II

College of Arts and Sciences

Credits: 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.

Prerequisite(s):
Prereq: PHI 320 or consent of instructor.