PHIL 454
Spring 2011 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 | |
|---|---|---|---|---|---|---|---|---|
|
54441
|
Lecture-Discussion
|
A1
|
10:00AM
-10:50AM
|
MWF
|
336 Davenport Hall
|
McCarthy, T
|
|
|
|
54442
|
Lecture-Discussion
|
G1
|
10:00AM
-10:50AM
|
MWF
|
336 Davenport Hall
|
McCarthy, T
|
|