The goal of the logic course is to teach the student the fundamental concepts used in the study
and application of logic. The course is application oriented in the sense that much emphasis is
placed on doing formal proofs rather than studying meta-theory. Consequently, the labs are an
important and central part of the course.
The course is structured as a series of eight modules. Each module contains 2 seminars, 1
lecture, and 4 hours of supervised lab time. Although attendance is not mandatory, it is highly
recommended. I will be following the course literature very closely with some excursions
outside the material. This is the type of course where iteration and repetition is important
if one is to acquire even moderate skills in proving theorems and doing formal proofs. Logic
and the manipulation of formal languages serves as a basis for many of the other courses you
will study in the cogsci line such as linguistics, artificial intelligence, and philosophy of mind.
The following two books are obligatory course material and can be
purchased at Sahlström's Bokhandel in Linköping (S:t Larsgatan).
- 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.
In addition, lab descriptions and copies of overheads will be handed out or
put on-line.
- All labs will be in Pul MC1, E-Hus, bv.
- There will be two lab groups (A) and (B). The lab groups are the saem as the groups ,in the discrete mathematics part.
- Laptops will be distributed week 10. There are a few more students than
laptops, so some students, preferably with their own computer at home,
will have to stay without.
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.
There are also descriptions for each lab and lecture.
Description by Module
Module 1 - Introduction to Logic (Week 10)
- Seminar 1 Course introduction. Some philosophical perspectives.
- Mon 3/3, 10-12, U3.
- Read Chap. 1, LFOL.
- Seminar 2 Atomic sentences, Identity.
- Tue 4/3, 13-15, U3.
- Read Chap. 2, LFOL.
- Lecture 1 Practice with Power PC's.
- Wed 5/3, 13-15, U3.
- Play with Power PC's.
- Lab 1 Practice with Tarski's World
- Thu 6/3, 10-12, MC Mac 1, (A).
- Thu 6/3, 13-15, MC Mac 1, (B).
- Read Appendix A. LFOL
- Lab 2 More Practice with Tarski's World
- Fri 7/3, 10-12, MC Mac 1, (B).
- Fri 7/3, 13-15, MC Mac 1, (A).
- Continue to Play with Tarski's World Software.
Module 1 Lecture Exercises
There are no exercises for this lecture. We will instead familiarize ourselves with the course software
and its use.
Module 1 Lab Exercises
Labs 1-2 (97)
Module 2 - Chapter 3. (LFOL) (Week 11)
- Seminar 3 Propositional Logic I.
- Mon 10/3, 10-12, S41.
- Read Chap. 3.1-7, LFOL.
- Seminar 4 Propositional Logic II.
- Tue 11/3, 13-15, S41.
- Read Chap. 3.8-12, LFOL.
- Lecture 2 Exercises, Chap. 3.
- Lab 3 Chap 3. Tarski's World.
- Thu 13/3, 8-10, MC Mac 1, (A).
- Thu 13/3, 13-15, MC Mac 1, (B).
- Lab 4 Chap 3. Tarski's World.
- Fri 14/3, 10-12, MC Mac 1, (B).
- Fri 14/3, 13-15, MC Mac 1, (A).
Module 2 Lecture Exercises
Lecture 2 (97)
Module 2 Lab Exercises
Labs 3-4 (97)
Module 3 - Chapter 4. (LFOL) (Week 12)
- Seminar 5 Conditionals and Biconditionals.
- Mon 17/3, 10-12, S41.
- 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 20/3, 10-12, MC Mac 1, (A).
- Thu 20/3, 13-15, MC Mac 1, (B).
- Lab 6 Chap 4. Tarski's World.
- Fri 21/3, 10-12, MC Mac 1, (B).
- Fri 21/3, 13-15, MC Mac 1, (A).
Module 3 Lecture Exercises
Lecture 3
Module 3 Lab Exercises
Labs 5-6
Module 4 - Chapter 1-2. (HyperProof) (Week 14)
- Seminar 7 Hyperproof and Situations.
- Tue 1/4, 13-15, U4.
- Read Chap. 1-2, HP.
- Seminar 8 HyperProof and Fitch's System.
- Wed 2/4, 10-12, S26.
- Reread Chap. 2.9, 3.9, 4.5, 4.6. LFOL.
- Lecture 4 History of Logic & Practice with HyperProof.
- Wed 2/4, 13-15, Estraden (E-huset, 1 trappa upp).
- Lab 7 HyperProof Exercises.
- Thu 3/4, 10-12, MC Mac 1, (A).
- Thu 3/4, 13-15, MC Mac 1, (B).
- Lab 8 HyperProof Exercises.
- Fri 4/4 10-12, MC Mac 1, (B).
- Fri 4/4, 13-15, MC Mac 1, (A).
Module 4 Lecture Exercises
Lecture 4
Module 4 Lab Exercises
Labs 7-8
Module 5 - Chapter 5. (LFOL) (Week 15)
- Seminar 9 Quantifiers I.
- Mon 7/4, 10-12, U3.
- Read Chap. 5.1-5, LFOL.
- Seminar 10 Quantifiers II.
- Tue 8/4, 13-15, U3.
- Read Chap. 5.6-10, LFOL.
- Lecture 5 Practice Proof Theory using Quantifiers I.
- Lab 9 Tarski's World and HyperProof Exercises.
- Thu 10/4, 10-12, MC Mac 1, (A).
- Thu 10/4, 13-15, MC Mac 1, (B).
- Lab 10 Tarski's World and HyperProof Exercises.
- Fri 11/4, 10-12, MC Mac 1, (B).
- Fri 11/4, 13-15, MC Mac 1, (A).
Module 5 Lab Exercises
Labs 9-10
Module 6 - Chapter 6. (LFOL) (Week 16)
- Seminar 11 Quantifiers III.
- Mon 14/4, 10-12, U4.
- Read Chap. 5.11-13, LFOL.
- Seminar 12 Multiple Quantifiers.
- Tue 15/4, 13-15, U3.
- Read Chap. 6, LFOL.
- Lecture 6 Practice Proof Theory using Quantifiers II.
- Lab 11 Tarski's World and HyperProof Exercises.
- Thu 17/4, 10-12, MC Mac 1, (A).
- Thu 17/4, 13-15, MC Mac 1, (B).
- Lab 12 Tarski's World and HyperProof Exercises.
- Thur 18/4, 10-12, MC Mac 1, (B).
- Thur 18/4, 13-15, MC Mac 1, (A).
Module 6 Lab Exercises
Labs 11-12
Module 7 - Advanced Topics (LFOL) (Week 17)
- Seminar 13 Syntax and Semantics of FOL.
- Mon 21/4, 10-12, U3.
- Read Chap. 10.2, 11.1-3, LFOL.
- Seminar 14 Completeness, Incompleteness.
- Thu 24/4, 15-17, T2. Obs! New time and place. Obs!
- Read Chap. 11.7, LFOL.
- Lab 13 Tarski's World and HyperProof Exercises.
- Thu 24/4, 10-12, MC Mac 1, (A).
- Thu 24/4, 13-15, MC Mac 1, (B).
- Lab 14 Tarski's World and HyperProof Exercises.
- Fri 25/4 10-12, MC Mac 1, (B).
- Fri 25/4 13-15, MC Mac 1, (A).
Module 8 - Summary (Week 18)
- Seminar 15 Logics of Action and Change.
- Reserve lab
- Fri 2/5, 10-12, MC Mac 1, (B).
- Fri 2/5, 13-15, MC Mac 1, (A).
email: patdo@ida.liu.se
20-Apr-97 20:39