• The books are now in Linköping!
  They may be purchased at Sahlström's Bokhandel in Linköping. For a preview of the books take a look at CSLI's logic software site. The book purchase is obligatory since the software you will be using in the labs comes with the books.
  
• We are currently negotiating to get laptops for each student during the duration of this course.
• It is advisable to hand in the discrete mathematics exercises before the logic section of the course begins. You probably will not have time to do them during the logic section.
• The schedule below is more or less valid. We are currently missing slots for two additional lab occasions which will be scheduled as soon as possible.

• Mathematical Methods in Linguistics (Student Edition)
  • Partee, Meulen and Wall
  • Kluwer Academic Publishers, 1993.

• The Language of First-Order Logic, 3rd Edition
  • Jon Barwise and John Etchemendy
  • CSLI Publications, 1993.
• Hyperproof
  • Jon Barwise and John Etchemendy
  • CSLI Publications, 1994.

Module 1 - Introduction to Logic (Week 11)

• Seminar 1 Course introduction. Some philosophical perspectives.
  • Mon. 10-12, U15.
  • Read Chap. 1, LFOL.
• Seminar 2 Atomic sentences, Identity.
  • Tue. 13-15, U15.
  • Read Chap. 2, LFOL.
• Lecture 1 Practice with Power PC's.
  • Wed. 13-15, U15.
  • Play with Power PC's.
• Lab 1 Practice with Tarski's World
  • Thu. 10-12, MC Mac 1, (A).
  • Thu. 13-15, MC Mac 1, (B).
  • Read Appendix A. LFOL
• Lab 2 More Practice with Tarski's World
  • Fri. 10-12, MC Mac 1, (A).
  • Fri. 13-15, MC Mac 1, (B).
  • Continue to Play with Tarski's World Software.

Module 2 - Chapter 3. (LFOL) (Week 12)

• Seminar 3 Propositional Logic I.
  • Mon. 10-12, U15.
  • Read Chap. 3.1-7, LFOL.
• Seminar 4 Propositional Logic II.
  • Tue. 13-15, U7.
  • Read Chap. 3.8-12, LFOL.
• Lecture 2 Exercises, Chap. 3.
  • Wed. 13-15, U3.
• Lab 3 Chap 3. Tarski's World.
  • Thu. 8-10, MC Mac 1, (A).
  • Thu. 13-15, MC Mac 1, (B).
• Lab 4 Chap 3. Tarski's World.
  • Fri. 10-12, MC Mac 1, (A).
  • Fri. 13-15, MC Mac 1, (B).

Module 3 - Chapter 4. (LFOL) (Week 13)

• Seminar 5 Conditionals and Biconditionals.
  • Mon. 13-15, U3.
  • Read Chap. 4, LFOL.
• Seminar 6 Tarski's World, Models, The Game.
  • Tue. 13-15, U6.
• Lecture 3 Practice with Tarski's World Proof Theory.
  • Wed. 13-15, U6.
• Lab 5 Chap 4. Tarski's World.
  • Thu. 8-10, MC Mac 1, (A).
  • Thu. 13-15, MC Mac 1, (B).
• Lab 6 Chap 4. Tarski's World.
  • Fri. 10-12, MC Mac 1, (A).
  • Fri. 13-15, MC Mac 1, (B).

Module 4 - Chapter 1-2. (HyperProof) (Week 14)

• Seminar 7 Hyperproof and Situations.
  • Mon. 13-15, U6.
  • Read Chap. 1-2, HP.
• Seminar 8 HyperProof and Fitch's System.
  • Tue. 13-15, U6.
  • Reread Chap. 2.9, 3.9, 4.5, 4.6. LFOL.
• Lecture 4 Practice with HyperProof.
  • Wed. 13-15, U6.
• Lab 7 HyperProof Exercises.
  • Thu. 8-10, MC Mac 1, (B).
  • Thu. 10-12, MC Mac 1, (A).
• Lab 8 HyperProof Exercises.
  • Thu. 13-15, MC Mac 1, (A).
  • ??. ??-??, MC Mac 1, (B).

Module 5 - Chapter 5. (LFOL) (Week 15)

• Seminar 9 Quantifiers I.
  • Tue. 10-12, U6.
  • Read Chap. 5.1-5, LFOL.
• Seminar 10 Quantifiers II.
  • Tue. 13-15, U6.
  • Read Chap. 5.6-10, LFOL.
• Seminar 11 Quantifiers III.
  • Wed. 13-15, U6.
  • Read Chap. 5.11-13, LFOL.
• Lab 9 Tarski's World and HyperProof Exercises.
  • Thu. 8-10, MC Mac 1, (A).
  • Thu. 10-12, MC Mac 1, (B).
• Lab 10 Tarski's World and HyperProof Exercises.
  • Thu. 13-15, MC Mac 1, (B).
  • ??. ??-??, MC Mac 1, (A).

Module 6 - Chapter 6. (LFOL) (Week 16)

• Lecture 5 Practice Proof Theory using Quantifiers I.
  • Mon. 13-15, U6.
• Seminar 12 Multiple Quantifiers.
  • Tue. 13-15, U6.
  • Read Chap. 6, LFOL.
• Lecture 6 Practice Proof Theory using Quantifiers II.
  • Wed. 13-15, U6.
• Lab 11 Tarski's World and HyperProof Exercises.
  • Thu. 10-12, MC Mac 1, (A).
  • Thu. 13-15, MC Mac 1, (B).
• Lab 12 Tarski's World and HyperProof Exercises.
  • Fri. 10-12, MC Mac 1, (A).
  • Fri. 13-15, MC Mac 1, (B).

Module 7 - Advanced Topics (LFOL) (Week 17)

• Seminar 13 Syntax and Semantics of FOL.
  • ??, ??-??, ??.
  • Read Chap. 10.2, 11.1-3, LFOL.
• Seminar 14 Completeness, Incompleteness.
  • Mon. 13-15, U6.
  • Read Chap. 11.7, LFOL.
• Seminar 15 Logics of Action and Change.
  • Tis. 13-15, U6.
• Lab 11 Tarski's World and HyperProof Exercises.
  • Thu. 10-12, MC Mac 1, (A).
  • Thu. 13-15, MC Mac 1, (B).
• Lab 12 Tarski's World and HyperProof Exercises.
  • Fri. 10-12, MC Mac 1, (A).
  • Fri. 13-15, MC Mac 1, (B).

Module 8 - Summary (Week 18)

• Seminar 16 Summary
  • Thur. 13-15, U6.
• Lab 13 Tarski's World and HyperProof Exercises.
  • Thu. 8-10, MC Mac 1, (A).
  • Fri. 10-12, MC Mac 1, (B).
• Lab 14 Tarski's World and HyperProof Exercises.
  • Fri. 13-15, MC Mac 1, (A).
  • Fri. 15-17, MC Mac 1, (B).

• For information about the course books you are using, you can take a look at the CSLI logic software site.
• The Visual Inference Laboratory at Indiana University is run by Jon Barwise, one of the co-authors of your course books. His group is doing innovative research in the area of visual inference. Your books are part of the experiment.
• The DLS algorithm is an on-line algorithm for reducing second-order formulas to logically equivalent first-order formulas.
• Tired of logic? Visit the Internet Underground Music Archives, where the future sounds better than ever and there are no quantifiers in sight!