Downloads:

• Syllabus
• Course textbook:  Ted Sider, Philosophically Useful Logic
• Modal propositional logic theorems
• Example modal propositional logic proofs
• Mixed modal propositional logic wffs
• Example MPL validity and invalidity proofs

 
• Exam 1 study guide
• Exam 1 sample problems
• Exam 2 study guide
• Description of an old exam 2

 
• Announcements:
• Classroom change:  as of Tuesday, 9/6, class meets in Hardenburgh A1.
• EXAM 2, on modal logic, tense logic, and counterfactuals, Thursday, December 22, Noon, in our regular classroom location

 
•   Homeworks
• Propositional logic     solutions
• PL sequents, deviations, variations     solutions
• Predicate logic     solutions
• Predicate logic:  function symbols, definite descriptions
• Proofs in modal propositional logic:  provide axiomatic proofs (in the relevant systems) for numbers 7, 14, 17, 31, 36, 39, 44, 54 on the sheet of modal propositional logic theorems.  Solutions
• Validity and invalidity in modal propositional logic:  do numbers 2, 6, 15, and 21 on the sheet of mixed MPL wffs. solutions