• Semester: Fall 2022
  • Instructor: Sider, Ted
  • Description:

    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.)

  • Credits: 3
  • Syllabus Disclaimer: The information on this syllabus is subject to change. For up-to-date course information, please refer to the syllabus on your course site (e.g. Canvas) on the first day of class.