PHIL 155.001 – Introduction to Mathematical Logic

Instructor: Jessi Addison. This course meets MTWRF 11:30 a.m. – 1:00 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 logic—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.