PHIL 454

spring 2020

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 Spring 2020 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 100
- PHIL 101
- PHIL 102
- PHIL 103
- PHIL 104
- PHIL 105
- PHIL 107
- PHIL 110
- PHIL 199
- PHIL 202
- PHIL 203
- PHIL 206
- PHIL 270
- PHIL 307
- PHIL 316
- PHIL 390
- PHIL 404
- PHIL 410
- PHIL 412
- PHIL 419
- PHIL 420
- PHIL 421
- PHIL 426
- PHIL 430
- PHIL 435
- PHIL 454
- PHIL 492
- PHIL 511
- PHIL 521
- PHIL 525
- PHIL 547
- PHIL 583
- PHIL 590
- PHIL 599

Detail	Status		CRN	Type	Section	Time	Day	Location	Instructor