This course provides an introduction to the language and methods of contemporary symbolic logic. We will learn how to represent natural language statements and arguments in symbolic form and how to evaluate them using formal methods. Along the way, we will also stop to reflect on some of the properties of the formal language and methods and the significance of logic for other intellectual pursuits.
Class meetings will be a mix of lecture, discussion, and workshop. We’ll be doing lots of exercises both as homework and in class.