- Ted Sider; Fall 2017 office hours: Mondays, 1-2 and by appointment
- Class meets in Scott Hall 104, M/Th 9:50-11:10

- The second exam (covering modal logic and counterfactuals) will be on December 19, at 12:00 noon.

- Syllabus
- Study guide for exam 2
- Errors and typos in the textbook
- More exercises on various topics (for extra practice)
- Modal propositional logic theorems (for practice doing axiomatic proofs)
- Propositional modal logic wffs (for practice doing validity and invalidity proofs)
- Counterfactual conditional wffs (for practice doing validity and invalidity proofs)
- Quantified modal logic wffs (for practice doing validity and invalidity proofs)

- Due 9/18: exercises 2.1, 2.2a
- Due 9/25: exercises 2.2bc, 2.4abc, 2.6, 2.9, and this problem: "Show that in the interpretation in which every sentence letter is true, every formula with no ~s is true. (By "formula" here I mean official formula - no defined connectives allowed.)" Extra credit: exercises 2.7, 2.8.
- Due 10/2: exercise 2.11. For parts c and d you may not use contraposition 2, negated conditional, or excluded middle MP.
- Due 10/9: exercises 3.1, 3.2, 3.3, 3.5, 3.6. For 3.6, no need to do an inductive proof.
- Due 10/16: exercises 3.10, 3.12, 3.13. (3.8, 3.11, 3.14, 3.15 extra credit.)
- Due 11/13: exercises 6.3, except the ones marked *, since their solutions are in the back of the book
- Due 11/20: exercises 6.5bdfh, 6.6b, 6.7a, 6.7c, 6.8a.
- Due 12/4: exercises 6.9a, 6.9b, 6.10a, 6.13, 6.15, 6.18, 6.19. Extra credit: 6.20
- Due 12/13 5pm: exercises 8.2b, 8.3b, 8.4b, 8.3d and 8.4a.