Instruction offered by members of the Department of Philosophy in the Faculty of Arts.
With the exception of Philosophy 590 and Philosophy 595, courses numbered 500-599 may be taken for credit in the Graduate program in Philosophy. Details of the specific topics to be taught in all 600-level courses in Philosophy will be announced in the Department brochure and, when possible, in the Schedule of Classes.
Seminar in Selected Problems
Course Hours:3 units; H(3-0) MAY BE REPEATED FOR CREDIT
Introduction to the metatheory of logical systems. Completeness, compactness, Loewenheim-Skolem, and undecidability theorems for first-order logic. Preview of non-standard models, second-order logic, and Godel's first incompleteness theorem. Course Hours:3 units; H(3-0) NOT INCLUDED IN GPA