Course Descriptions

The goal is for you to achieve “logic literacy”. We will study i) the basic techniques of logic, including syntax, semantics, proof theory, metalogic, and a bit of philosophy of logic; and ii) a number of extensions of stan- dard logic that are important in philosophy (for example, modal logic and counterfactuals). The course will be more broad than deep: we will examine many different systems, but will not spend a lot of time proving difficult metalogical results about these systems (except for completeness in propositional logic and modal propositional logic.)