Logic for Philosophy

  • Ted Sider; Fall 2014 office hours: Thursdays, 1:30-2:30
  • Class meets in Goldwin Smith 142, Tuesdays and Thursdays, 11:40-12:55
  • Teaching assistant: Eric Epstein; office hours Mondays 2-4

Announcements

  • The second exam will be in Goldwin Smith Hall G22 on Thursday, December 11, at 9:00 AM.

Downloads

Homeworks

  • Due 9/9: exercises 2.1, 2.2
  • Due 9/16: exercises 2.4-2.7, 2.9 (2.8 extra credit)
  • Due 9/23: exercise 2.11...
  • Due 9/30: exercises 3.5, 3.6, 3.9 (3.8 extra credit). For 3.6, no need to do an inductive proof.
  • Due 10/7: exercises 3.10, 3.12-3.15 (3.11 extra credit), ...
  • Due 10/16: exercises 4.2, 4.3 (4.1 is extra credit)
  • Due 11/4: exercises 6.3, except the ones marked *, since their solutions are in the back of the book
  • Due 11/11: exercises 6.5 b, d, f, h
  • Due 11/18: exercises 6.6b, 6.7a, 6.8a, 6.9b, 6.10a
  • Due 11/25: exercises 8.2b, 8.3b, 8.4b
  • Due 12/8 at 9:00am: exercises 8.3d, 8.4a, 9.1b, 9.1c, and also this problem