PHIL 454
Advanced Symbolic Logic

Credit:  3 or 4 hours.

This course satisfies the General Education Criteria for a
Quant Reasoning II course.

Completeness, compactness, and Lowenheim-Skolem theorems for first-order logic; incompleteness and undecidability of formal systems; and additional material on proof theory, model theory, or axiomatic set theory as time permits. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: PHIL 202 or consent of instructor.