P150 | 3385 | Harris

In this course, students learn the basic concepts of reasoning and the language of modern symbolic logic. A large part of the course deals with developing a system of symbolic logic called propositional logic, along with the skills required for its use. A main objective of the course is for students to feel comfortable with the symbolism of modern logic and to be able to use the language of logic to accurately express, and establish the validity of, various forms of reasoning. Students learn how to formulate statements and arguments in the symbolism, how to translate ordinary English into the symbolism, and how to construct derivations (proofs) in an associated system of natural deduction. Success in the study of logic requires practice rather than simple memorization, so lectures and discussion attempt to reflect this emphasis. Coursework includes regular exercises (in-class and homework), three quizzes and a final exam. There is one required text, by Howard Pospesel: Introduction to Propositional Logic, 3/e (Prentice Hall). -