• See here for the syllabus.

Announcements

Homework

  • Due Monday 2/3: Chapter 2 exercises A, B.

Schedule

This course is organized by topics. Homework is assigned weekly due on the following Monday.

The schedule below is tentative; we might have small adjustments in the dates. For each week I’ve included which sections from the textbook we will be covering.

  • Arguments (1/27–1/31)

    • Week 1: Part I

  • Truth-Function Logic (2/3–2/28)

    • Week 2: Part II

    • Week 3: Chater III

    • Week 4: Part IV

    • Week 5: Part IV, quiz

    • Quiz 1 Feb 28, journal due by end of weekend.

  • First-Order Logic (3/3–4/11)

    • Week 6: Part V

    • Week 7: Part VI

    • Spring break!

    • Week 8: Part VI

    • Week 9: Part VII

    • Week 10: Part VII, quiz

    • Quiz 2 Apr 11, journal due by end of weekend.

  • Modal Logic (4/14–4/25)

    • Week 11: Part VIII

    • No class Friday 4/18

    • Week 12: Part VIII

  • Metatheory (4/28–5/7)

    • Week 13: Part IX

    • Week 14: Exam

    • Exam May 7, journal due by Friday.