Logic

An introduction to classical logic. The first half of the course introduces propositional logic, using the techniques of truth-tables and trees. The second half of the course extends the use of trees to predicate logic and basic modal logic. Emphasis is placed on applying the techniques to philosophical arguments, and on philosophical questions raised by the study of logic.