| Course: | LPS/Phil 104 |
| Name: | Introduction to Logic |
| Description: | Introduces propositional and first-order logic. We will
cover the syntax of logical languages, translating from natural
language, constructing formal proofs, and building models. The
class will move quickly but no previous training in symbolic logic is
required. |