PHIL 155.951 – Introduction to Mathematical Logic

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

Logic is about patterns of correct reasoning. The study of logic is about identifying the patterns that reasoning has to follow in order to be correct. In this course we will learn how to use one important form of logic (classical first-order deductive logic) and how to apply it to instances of reasoning that we might encounter in any part of life. Although this is a philosophy course, because of the nature of logic, it will be in certain ways more like a math or computer science course. In particular, the written assignments in this course will consist primarily of problem sets rather than essays. Some of these assignments will be completed online, so access to a computer is required. No background in logic, philosophy or math will be presupposed. This course satisfies the QR requirement, not the PH requirement.

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.