PHIL 454

fall 2012

All Classes

Advanced Symbolic Logic

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 2012 for:

Quantitative Reasoning II

Status Icon Legend

: Section Status Closed
: Section Status Open
: Section Status Pending
: Section Status Open (Restricted)
: Section Status Unknown

Section Status updates every 10 minutes.

- PHIL 101
- PHIL 102
- PHIL 103
- PHIL 104
- PHIL 105
- PHIL 108
- PHIL 110
- PHIL 191
- PHIL 199
- PHIL 202
- PHIL 203
- PHIL 206
- PHIL 230
- PHIL 307
- PHIL 316
- PHIL 380
- PHIL 390
- PHIL 410
- PHIL 419
- PHIL 420
- PHIL 425
- PHIL 426
- PHIL 430
- PHIL 433
- PHIL 436
- PHIL 454
- PHIL 492
- PHIL 507
- PHIL 511
- PHIL 517
- PHIL 521
- PHIL 583
- PHIL 590
- PHIL 599

Detail	Status		CRN	Type	Section	Time	Day	Location	Instructor