PHIL 454

spring 2021

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 2021 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 107
- PHIL 109
- PHIL 110
- PHIL 199
- PHIL 202
- PHIL 203
- PHIL 206
- PHIL 222
- PHIL 223
- PHIL 307
- PHIL 316
- PHIL 390
- PHIL 410
- PHIL 411
- PHIL 412
- PHIL 414
- PHIL 419
- PHIL 420
- PHIL 421
- PHIL 430
- PHIL 436
- PHIL 454
- PHIL 492
- PHIL 499
- PHIL 512
- PHIL 525
- PHIL 551
- PHIL 583
- PHIL 590
- PHIL 599

Detail	Status		CRN	Type	Section	Time	Day	Location	Instructor