Fall only Logic provides an essential methodological framework of reasoning connecting a wide variety of disciplines in the humanities and sciences, including philosophy, mathematics, computer science, linguistics, cognitive science, and economics. This course will introduce students to logic and its applications highlighted by recent developments in these fields. We will use the open source logic course Logic in Action, which has been developed by the international team of Prof. Johan van Benthem at Amsterdam, and taught in many places, including Stanford, Amsterdam, Beijing, Seville, etc.
Logic in Action: A New Introduction to Logic
Honors Precalculus with Trigonometry (OM013)
Consent of instructor
Prior experience reading and writing mathematical proofs