The course consists of a series of modules. Each module contains 2 seminars, 1 lecture, and
4 hours of supervised lab time. There are two lab groups, A and B.
For each scheduled meeting, there is a short preparation description.
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.
- 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.
- Lecture 3 Practice with Tarski's World Proof Theory.
- 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.
- 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).
- Thu. 15-17, FOA, A1.294 (Bring your Laptops!), (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).
- Thu. 15-17, FOA, A1.294 (Bring your Laptops!), (A).
Module 6 - Chapter 6. (LFOL) (Week 16)
- Lecture 5 Practice Proof Theory using Quantifiers I.
- Seminar 12 Multiple Quantifiers.
- Tue. 13-15, U6.
- Read Chap. 6, LFOL.
- Lecture 6 Practice Proof Theory using Quantifiers II.
- 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.
- Mon. 13-15, U6.
- Read Chap. 10.2, 11.1-3, LFOL.
- Seminar 14 Completeness, Incompleteness. Cancelled!
- Tis. 13-15, U6.
- Read Chap. 11.7, LFOL.
- 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-19)
Note that due to a very large tutorial conference being
hosted by IDA that we will not have access to the MAC Pul's.
Instead, you can come with your lap tops to FOA, Rm A1.294,
during these occasions. Lars and Marcus will be there to assist.
- Seminar 14 Completeness, Incompleteness.
- Thur. 13-15, U6. Week 18.
- Read Chap. 11.7, LFOL.
- 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).
- Seminar 15 Logics of Action and Change.
email: patdo@ida.liu.se
25-Apr-96 14:08