Ted Sider, Spring, 2007, Meets Monday evenings at 7:00 (note the changed meeting time)

• Syllabus
• Course text

Announcements

I modified the semantics for the iota in the course notes, as the result of discussion in class. In case you need to look at the old semantics for doing the homework, it is here.

Exam 2 is due 5/9. I have emailed it to you.

Homeworks

• Propositional logic (due February 5) (solutions)
• Sequents, variations, and deviations from PL (due February 12) (solutions)
• Predicate logic (due February 26) (solutions)
• Predicate logic extensions (due March 5) (solutions)
• Axiomatic proofs in MPL: problems 1, 11, 23, 30, 35, 41, 48, 55 on the theorem sheet (due 4/9) (solutions)
• Validity and invalidity in MPL: problems 2, 6, 15, 22, 25 on the list of MPL wfs (due 4/16) (solutions)
• Completeness in MPL (due 4/16) (solutions)
• Counterfactuals (solutions)
• Quantified modal logic (due 5/4) (solutions)

Downloads

• 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)
• Examples of symbolizations in predicate logic with function symbols and descriptions
• Examples of validity and invalidity proofs in predicate logic with function symbols and descriptions
• Examples of axiomatic proofs in modal propositional logic
• Examples of validity and invalidity proofs in modal propositional logic