Philosophy | Elementary Logic
P150 | 13476 | Gonnerman

This course is an introduction to the basics of modern logic.  Its
primary topic will be propositional logic: the logic of statements
and their relations.  We will discuss how to analyze statements into
symbolic forms and evaluate arguments using truth tables and formal
demonstrations (i.e., proofs).  Toward the end of the semester, we
will delve into the “sub-sentential” when we discuss the logic of
quantifiers, predicate logic.  Here, we will learn more about
symbolizations and formal demonstrations.

Along with quizzes and homework, final grades for the course will be
determined on the basis of two in-class, written examinations and a
final exam.