Phil 513: Mathematical Logic I
Spring 2017 — Kevin C. Klement


Course description and goals.

This course covers elementary meta-mathematics and logical meta-theory. Topics include completeness and consistency proofs for first-order logic, model theory, elementary number theory (especially Peano arithmetic), and Gödel’s incompleteness theorems and related results.

Prerequisites.

Phil 310 (Intermediate Logic) or equivalent and solid grasp of high school algebra, or consent of instructor.
Syllabus

Course requirements, homework lists, contact info and course schedule.
Log in to Moodle Page

Check grades, get readings, use discussion boards, etc.
Lecture Notes

Contains notes for all four units, plus hyperlinked table of contents and index of symbols/definitions.
Links: Email Kevin / Kevin’s Homepage / UMass Philosophy / Five College Logic Certificate