| Course Title: Advanced Logic |
| Start Date: 01/27/2026 End Date: 05/12/2026 |
| Term: Spring Semester 2026 |
| Description: This course uses the predicate calculus to present a careful development of formal elementary number theory, and elementary recursion theory, culminating in a proof of Gödel's incompleteness results. It includes some discussion of the philosophical significance of these results for the foundations of mathematics. |
| Distribution(s): I - Humanities |
| Academic Level Of Course: Undergraduate | Credits:4.00 |
| Faculty | Phone | Email address |
| Samuel Mitchell | 413-538-2387 | smitchel@mtholyoke.edu |
| Meeting Dates | Method | Meeting days | Meeting times | Building name | Room | Frequency |
| 01/27/2026 - 05/12/2026 | Seminar | Monday and Wednesday | 01:45PM - 03:00PM | TBA | TBA | Weekly |
| Requisite Courses | ||
| Prereq: PHIL-225 or MATH-232. | Take previously | Required |
| Comments |
| Additional Comments |
| Course Tags | ||
| PHIL0004 | PHIL-LG: Logic | This course has been approved to count towards the Philosophy major in the Logic area. |
| Cross-listed Sections |
| None |
| Course Availability | ||||
| Section status: Open | Capacity: 18 | Enrollment: 14 | Available: 4 | Waitlist: 0 |
BOOK INFORMATION
| Book List | Required | Publisher Full Price |
| To be determined. |
| Additional Book Comments |
| This is NOT the complete book list for this class. |