PHIL 454
Spring 2026 All Classes
All Classes
Credit: 3 OR 4 hours.
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.
This course satisfies the General Education Criteria in
Fall 2022 for:
Quantitative Reasoning II
Section Status updates every 10 minutes.
| CRN | Type | Section | Time | Day | Location | Instructor | Section Details | |
|---|---|---|---|---|---|---|---|---|
|
71949
|
Lecture-Discussion
|
G2
|
12:30PM
-1:50PM
|
TR
|
108 English Building
|
Montgomery, B
|
|
|
|
71948
|
Lecture-Discussion
|
U2
|
12:30PM
-1:50PM
|
TR
|
108 English Building
|
Montgomery, B
|
|