Logic in Action: A New Introduction to Logic

Course Number 
Fall Semester
Honors Precalculus with Trigonometry (OM013)
Consent of instructor
Additional Recommendations
Prior experience reading and writing mathematical proofs

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.

Course Credit