The aim of this course is to provide a sound understanding of the principles of deductive reasoning through the study of modern symbolic logic. Students will learn how to translate natural arguments into the formal languages of propositional and predicate logic and study both natural deduction and truth-functional derivation systems for these languages, as well as learning techniques for analyzing and evaluating natural arguments. Mastery of these methods and techniques will enable students to evaluate the validity of a wide range of arguments. No prior knowledge of logic, formal mathematics, or computer science is presupposed in this course, which does not count towards the PHL distribution requirement but instead towards the deductive reasoning requirement. 3 hrs. lect., 1 hr. disc.