Skip to main content

Instructor: Craig Warmke. This course meets Monday – Friday from 9:45 a.m. – 11:15 a.m. in Caldwell 105.

This course is an introduction to symbolic logic. We’ll be approaching logic as the science of good reasoning. To study the essence of good reasoning, we have to abstract away from the misleading and ambiguous forms of English sentences and learn a purely formal, mathematical language. Using this language, students will evaluate whether various arguments are valid or not and prove theorems in the language. Believe it or not, honing these skills makes us better and clearer thinkers.

Textbook: Language, Proof, and Logic. 2nd. Edition. Dave Barker-Plummer, Jon Barwise, and John Etchemendy. CSLI Publications: Stanford, California. ISBN 9781575866321.

(We’ll be using the software that comes with the book. We will use the software, which can be registered online only once. So I would avoid buying used or old copies.)

Craig Warmke’s webpage