| Course: | LPS 30/Philos 30 |
| Name: | Introduction to Symbolic Logic |
| Description: | An introduction to the rudiments of formal logic, up to and
including the first-order predicate calculus with identity.
Students learn how to translate arguments expressed in English into
the language of first-order logic and assess them for validity.
Emphasis on proof procedures, informal semantics, and translation. |
| Requirements: | weekly problem sets, a midterm, and a final. |
| Prerequisites: | none.
|