The study of symbolic logic rewards us with a unique, powerful and
useful skill.  It is a skill with application in almost every
imaginable context of inquiry.

In this course, students will learn the language of modern symbolic
logic and develop the skills required for its use.  The language of
logic is developed in two stages: propositional logic and predicate
logic. Propositional logic (truth-functional logic) will form the
core of our study.  The language of propositional logic is then
expanded to form the language of predicate logic (quantifier logic),
which will complete our study.

The main objective of the course is for students to feel comfortable
with the symbolism of predicate logic and to be able to use the
language to accurately express, and establish the validity of,
various forms of reasoning.  Students will 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.  Other topics (time
permitting) will include: truth tables, semantic tableaux (i.e.
trees), and the logic of functions and descriptions.

Coursework will include regular exercises (in-class and homework) and
two exams.  Success in the course requires practice rather than
simple memorization and lectures and discussion will attempt to
reflect this emphasis.  There are two required texts, both by Howard
Pospesel: 1) "Introduction to Propositional Logic, 3/e" and
2) "Introduction to Predicate Logic, 1/e".

Arguments are everywhere.  The study of Symbolic Logic is not only
fun; it is incredibly useful.  The ability to analyze and evaluate
the forms of reasoning one encounters among the intellectual
activities of life --e.g. in newspapers, magazines and television; in
the courts and in the culture; in political speeches and in
university lectures; in scientific and philosophical investigation--
is really a requirement for successful participation in those
activities.  As Lewis Carroll writes: "Once master the machinery of
Symbolic Logic, and you have a mental occupation always at hand, of
absorbing interest, and one that will be of real use to you in any
subject you may take up.  Try it!