Philosophy | Elementary Logic
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).