Philosophy | Elementary Logic
P150 | 4556 | Dalton


This class is an introduction to elementary formal logic. Topics include the
concepts of argument and validity, translating, or symbolizing, arguments in
propositional logic; analyzing sentences and arguments via truth tables;
constructing formal proofs in propositional logic; symbolizing arguments in
predicate logic; diagramming arguments; and constructing formal proofs in
predicate logic.  The emphasis of the class is on problem solving.

There will be regular (at least weekly) quizzes and homework assignments, and
three exams.  Quizzes, homework, and exams will each count one-third of the
final grade.