PHIL 454
Spring 2016 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 | |
|---|---|---|---|---|---|---|---|---|
|
54442
|
Lecture-Discussion
|
G1
|
12:30PM
-1:50PM
|
TR
|
111 David Kinley Hall
|
Gilbert, D
|
|
|
|
45796
|
Lecture-Discussion
|
U3
|
12:30PM
-1:50PM
|
TR
|
111 David Kinley Hall
|
Gilbert, D
|
|