Skip to main content

Instructor: Aaron Thieme. This course meets MWF 9:05 – 9:55 a.m. in DA 301.

In this course we study the syntax and semantics of two formal logics, propositional logic and first order logic. Along the way, we will learn to perform derivations within these formal systems and to translate between their formal sentences and English sentences. Our goal will be to understand the benefits and the limits of using these formal systems.