PHIL 155.951 – Introduction to Mathematical Logic

Instructor: Jessi Addison. This course meets MW 6:00 – 7:15 p.m. in CW 103.

The field of logic is about reasoning; specifically, it seeks to identify and characterize patterns of reasoning that are correct. In this course, we will use one particular logical theory—called classical first order logic—to examine and assess reasoning that we encounter in many contexts, from the abstract to the everyday. This course is a philosophy course, but unlike most philosophy courses, student progress is not assessed by essays, but by problem sets. No previous background in philosophy or mathematics is presupposed, and this course should prepare students for either Phil 355 or 455.

Please note, registration for this course is controlled by Part-time Classroom Studies (PTCS) until the late registration period begins. Please contact PTCS for registration questions or details.