PHIL 454

Fall 2004 Part of Term 1

Part of Term 1
Aug 25-Dec 10

Advanced Symbolic Logic

Credit: 3 OR 4 hours.

(PHIL 354) 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

My Favorites

My Schedule

Section Status updates every 10 minutes.

PHIL 454 class schedule data for fall 2004
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	39427	Lecture	G4	2:00PM -2:50PM	MWF	Civil Eng Hydrosystems Lab	McCarthy, T	Part of Term: 1 Date Range: 08/25/04-12/10/04 Degree Notes: Quant Reasoning II course. Credit: 4 hours
	39426	Lecture	UG3	2:00PM -2:50PM	MWF	Civil Eng Hydrosystems Lab	McCarthy, T	Part of Term: 1 Date Range: 08/25/04-12/10/04 Degree Notes: Quant Reasoning II course. Credit: 3 hours