Philosophy 312, Intermediate Logic

Spring 2013

Announcements

• Instead of a textbook, we will mostly use Halvorson's notes — see "Course notes" below. But it is also recommended that you obtain a copy of Boolos, Burgess, and Jeffrey, Computability and Logic.
• Precepts are W 3:30pm in Room 121 of 1879 Hall, and Th 10:00am in Room 119 of 1879 Hall.

Course notes

1. Review of elementary logic pdf tex (updated Feb 19)
2. Tools for meta-logic proofs pdf tex (updated Feb 19)
3. Compactness pdf tex (updated Mar 4)
4. The Craig Interpolation Theorem pdf

Homework

• HW1 pdf tex
• HW2 pdf tex
• HW3 pdf
• HW4 pdf
• HW5 pdf
• HW6 pdf
• HW7 pdf
• HW9 pdf
• HW10 pdf

Miscellaneous Handouts

• Syllabus pdf
• Translations between Fitch system, Lemmon system, and sequent calculus pdf