PHIL 454

Spring 2023 Part of Term 1

Part of Term 1
Jan 17-May 3

Advanced Symbolic Logic

SHOW FINAL EXAM SCHEDULE

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

My Favorites

My Schedule

Section Status updates every 10 minutes.

PHIL 454 class schedule data for spring 2023
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	71949	Lecture-Discussion	GOL	12:30PM -1:45PM	TR	166 Bevier Hall	Kishida, K	Part of Term: 1 Date Range: 01/17/23-05/03/23 Degree Notes: Quantitative Reasoning II course. Credit: 4 hours Restriction(s): Not intended for Undergrad - Urbana-Champaign.
	71948	Lecture-Discussion	UOL	12:30PM -1:45PM	TR	166 Bevier Hall	Kishida, K	Part of Term: 1 Date Range: 01/17/23-05/03/23 Degree Notes: Quantitative Reasoning II course. Credit: 3 hours Restriction(s): Not intended for Graduate - Urbana-Champaign.