Announcements:


The required text/software package for the course is Language, Proof, and Logic, 2nd edition. David Barker-Plummer, Jon Barwise and John Etchemendy. CSLI. 2011. The software works on PCs and Macs; install on any and as many computers you like.

Do not buy a used copy of this package, and do not “Rent” it. You can buy and download a digital copy at http://ggweb.stanford.edu/store, or order a new one from Amazon directly. The registration code that comes with a new copy of the book can only ever be registered to a single person, so someone’s used copy is going to be worthless to you.


Click for Syllabus Click for Current Week Click for Problem Sets


Week 1


Week 2


Week 3


Week 4


Week 5


Week 6


Week 7


Week 8


Week 9


Week 10


Week 11


Week 12


Week 13


Week 14


Week 15


Final Exam Week

  • Exam 3 will be administered in our regular classroom during our scheduled final exam slot. Check online at https://www.iwu.edu/registrar/calendars/final_exam_fall.html to see the schedule for this and all your other courses’ exam times.
  • Exam 3 is not a comprehensive final exam. It will only test you on the material after Exam 2, namely Chapters 11 and 13. It will have no Take Home component.



























Valid CSS!