Intermediate Logic

(3 Credit Hours) · Undergraduate

This course is an introduction to the metatheory of first-order logic, the central system of logic for both philosophical and mathematical purposes. We begin with the basics of set theory, and then move on to first-order logic proper, covering the completeness theorem and associated results. This material is essential for those who want to understand elementary philosophical debates about the use and the significance of logic, the history of logic, and the connection between languages and models. Prerequisite: for graduate students: Formal logic or equivalent; contact the professor if you are unsure about your preparation. Prerequisite for undergrads: Philosophy or philosophy-associated major or minor + formal logic or instructor approval.