This course is an introduction to formal logic. Logic is the study of argument forms; “formal” in this context means that we will be studying arguments using rigid rules and procedures. A formal logic course is very different from other courses in Philosophy, or in Arts in general; it is in many ways more like mathematics. Students will produce proofs, not essays, for this course. We will learn the syntax and semantics of propositional and predicate logic, and develop proof systems for each. We will draw connections to significant historical and contemporary ideas in philosophy, but the main goal of the course is the mastery of formal logic itself, as well as an introduction to metalogic, where we will examine significant proofs about our formal system.