The
following are in Adobe Acrobat (.PDF) format. To read them, you'll
need to have either Adobe Acrobat or Adobe Acrobat Reader
installed. To download a free copy of Acrobat Reader, click
here. (Most university computers already have this installed.)
SYLLABUS
– contains instructor contact information, course
description, course requirements and a rough schedule
TAKEHOME MIDTERM EXAM
– covers propositional modal logic; due April 3rd
TAKEHOME FINAL EXAM
– covers quantified modal logic; due May 23rd
COURSE
HANDOUTS
HOMEWORK ASSIGNED SO FAR
(Packet 1  Due Feb. 28th:)
 (January 31): Exercises 1.2, 1.4, 1.5 of Garson
 (February 5): Exercises 1.7, 1.8, 1.10c of Garson
 (February 7): Exercises 2.3, 2.4c, 2.6 of Garson
 (February 12): Exercises 2.11, 2.12 of Garson
 (February 14): Exercise 3.2 of Garson
 (February 21): Exercise 4.8 of Garson
(Packet 2  Due March 25th:)
 (February 26): Exercises 6.3, 6.4 and 6.8 of Garson
 (February 28): Exercises 6.13 and 7.8 of Garson
 (March 4): Exercises 7.9, 7.13a,c, 7.14a,b, 7.17 and 7.18b of Garson
 (March 6): Exercise on page 35 of the handouts
 (March 11): Exercise 8.6 of Garson
 (March 13): No homework assigned
(Packet 3  Due April 22nd:)
 (March 25): Exercises 12.2 and 12.3 of Garson
 (March 27): Exercises 12.9, 12.10 (any 3) and 12.13 (any 2) of Garson
 (April 13): Exercise 12.19 of Garson
 (April 8): Exercise 14.8 (any six) and 14.15b of Garson
 (April 10): Exercise 15.3 of Garson
(Packet 4  Due May 23rd:)
 (April 15): Exercise on page 60 of handouts
 (April 22): Exercises 18.1, 18.3 and 18.7 of Garson
 (April 24): Exercise 18.13 of Garson
 (April 29): Exercise 19.1 and 19.2 of Garson
 (May 1): Exercise on page 73 of handouts
 (May 6): No homework assigned
 (May 8): Even numbered problems from translation exercises A and B
