PHIL 220 Introduction to Logic

Introduction to basic systems of logic, including categorical logic, sentential logic, and predicate logic (and may include inductive logic and/or basic modal systems). Emphasizes the ability to translate between symbolic and natural languages and the ability to construct proofs.