PHIL 155.001 – Truth and Proof: Introduction to Mathematical Logic

Instructor: Aurora Yu. This course meets MWF 10:10 – 11:00 a.m. in PE 3018.

In this course, we will explore the realm of formal logic, focusing on two foundational systems: propositional logic and first-order logic. Through this rigorous voyage, we will cultivate the skills necessary to perform derivations within these logical frameworks and translate between their formal expressions and English sentences. Our primary goal is to foster a deep understanding of the benefits and constraints associated with the application of these formal systems across diverse contexts. As a historical backdrop, we will also spend a little time learning about the world of Aristotelian logic, enhancing our appreciation for the origin of logical thought across centuries.