How can we reason more clearly?  How can we detect the strengths and
weaknesses in the reasoning of ourselves and of others?  In this
class, students will be introduced to the basic notions of good
reasoning, and they will learn to use two symbolic languages -
propositional logic and predicate logic - to check for good
reasoning.  Students will develop skills in translating English
sentences into symbolic form, and be taught how to use the formal
tools of symbolic logic to rigourously assess pieces of reasoning.

The formal tools taught in this class are also used in many
disciplines outside of philosophy, including computer science,
mathematics, and the formal aspects of economics and law, making this
a great class for anyone interested in any of these disciplines.

Final grades will be based on regular homework, group assignments,
and quizzes.  The required text for the class will be a course packet
available from Collegiate Copies and elsewhere.