• Ted Sider, Fall, 2008

Announcements

• No class on October 23

Downloads

• Syllabus
• Course text


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

Announcements

Homeworks

• Due 9/11: exercises 2.1, 2.2
• Due 9/18: exercises 2.3-2.9
• Due 9/25: exercise 2.11, 3.1-3.4
• Due 10/2: exercises 3.5-3.11
• Due 10/9: exercises 4.2, 4.3 (4.1 is extra credit)
• Due 10/16: exercises 4.4a, 4.4d, 5.1, 5.3, 5.4, 5.5
• Due 10/21, noon: exercises 5.7-5.12
• Due 11/6: exercise 6.1
• Due 11/13: exercises 6.2c, 6.2e, 6.2i
• Due 11/20: exercises 6.4d, 6.8b, 6.9c
• Due 12/4: exercise 6.15 (was 6.12)
• Due 12/11: exercises 7.3 and 8.2
• Due 12/17: exercises 9.1b and 9.1d; and 9.2 (with respect to 9.1b and 9.1d)