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 Akademibokhandeln in K;aumlrallen, or at Zenit.
- 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).
- Laptops will be distributed week 6 (maybe earlier). It is a good idea to check with your insurance company for the coverage of your insurances, since you will be personally responsible for the laptops.
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.
Deadlines for the labs will be added later.
Description by Module
Module 1 - Introduction to Logic (Week 6)
- Seminar 1 Course introduction. Some philosophical perspectives.
- Mon 8/2, 10-12, G37.
- Read Chap. 1, LFOL.
- Seminar 2 Atomic sentences, Identity.
- Tue 9/2, 13-15, G37.
- Read Chap. 2, LFOL.
- Lecture 1 Practice with Power PC's.
- Wed 10/2, 10-12, G37.
- Play with Power PC's.
- Lab 1 Practice with Tarski's World
- Thu 11/2, 13-15, MC Mac 1, (A).
- Thu 11/2, 15-17, MC Mac 1, (B).
- Read Appendix A. LFOL
- Lab 2 More Practice with Tarski's World
- Fri 12/2, 10-12, MC Mac 1, (A).
- Fri 12/2, 13-15, MC Mac 1, (B).
- 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 (-99 version!)
Deadline: February 15, 10am
Module 2 - Chapter 3. (LFOL) (Week 7)
- Seminar 3 Propositional Logic I.
- Mon 15/2, 10-12, G37.
- Read Chap. 3.1-7, LFOL.
- Seminar 4 Propositional Logic II.
- Tue 16/2, 13-15, G37.
- Read Chap. 3.8-12, LFOL.
- Lecture 2 Exercises, Chap. 3.
- Lab 3 Chap 3. Tarski's World.
- Thu 18/2, 13-15, MC Mac 1, (A).
- Thu 18/2, 15-17, MC Mac 1, (B).
- Lab 4 Chap 3. Tarski's World.
- Fri 19/2, 10-12, MC Mac 1, (A).
- Fri 19/2, 13-15, MC Mac 1, (B).
Module 2 Lecture Exercises
Lecture 2 (-99 version)
Deadline: February 24
Module 2 Lab Exercises
Labs
3-4 (-99 version)
Deadline: Februrary 22.
Module 3 - Chapter 4. (LFOL) (Week 8)
- Seminar 5 Conditionals and Biconditionals.
- Mon 22/2, 10-12, G37.
- 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 25/2, 13-15, MC Mac 1, (A).
- Thu 25/2, 15-17, MC Mac 1, (B).
- Lab 6 Chap 4. Tarski's World.
- Fri 26/2, 10-12, MC Mac 1, (A).
- Fri 26/2, 13-15, MC Mac 1, (B).
Module 3 Lecture Exercises
Lecture 3 (-99 version)
Module 3 Lab Exercises
Labs 5-6 (-99 version).
Deadline: March 8.
Module 4 - Chapter 1-2. (HyperProof) (Week 9)
- Seminar 7 Hyperproof and Situations.
- Mon 1/3, 10-12, G37.
- Read Chap. 1-2, HP.
- Seminar 8 HyperProof and Fitch's System.
- Tue 2/3, 13-15, G37.
- Reread Chap. 2.9, 3.9, 4.5, 4.6. LFOL.
- Lecture 4 Practice with HyperProof.
- Lab 7 HyperProof Exercises.
- Thu 4/3, 13-15, MC Mac 1, (A).
- Thu 4/3, 15-17, MC Mac 1, (B).
- Lab 8 HyperProof Exercises.
- Fri 5/3, 10-12, MC Mac 1, (A).
- Fri 5/3, 13-15, MC Mac 1, (B).
Module 4 Lecture Exercises
Lecture 4
Module 4 Lab Exercises
Labs 7-8
Deadline: -
Module 5 - Chapter 5. (LFOL) (Week 10)
- Seminar 9 Quantifiers I.
- Mon 8/3, 10-12, P42.
- Read Chap. 5.1-5, LFOL.
- Seminar 10 Quantifiers II.
- Tue 9/3, 13-15, S26.
- Read Chap. 5.6-10, LFOL.
- Lecture 5 Practice Proof Theory using Quantifiers I.
- Lab 9 Tarski's World and HyperProof Exercises.
- Thu 11/3, 13-15, MC Mac 1, (A).
- Thu 11/3, 15-17, MC Mac 1, (B).
- Lab 10 Tarski's World and HyperProof Exercises.
- Fri 12/3, 10-12, MC Mac 1, (A).
- Fri 12/3, 13-15, MC Mac 1, (B).
Module 5 Lab Exercises
Labs 9-10 (-99 version).
Deadline: -
Module 6 - Chapter 6. (LFOL) (Week 11)
- Seminar 11 Quantifiers III.
- Mon 15/3, 10-12, G37.
- Read Chap. 5.11-13, LFOL.
- Seminar 12 Multiple Quantifiers.
- Tue 16/3, 13-15, G37.
- Read Chap. 6, LFOL.
- Lecture 6 Practice Proof Theory using Quantifiers II.
- Lab 11 Tarski's World and HyperProof Exercises.
- Thu 12/3, 13-15, MC Mac 1, (A).
- Thu 12/3, 15-17, MC Mac 1, (B).
- Lab 12 Tarski's World and HyperProof Exercises.
- Thur 13/3, 10-12, MC Mac 1, (A).
- Thur 13/3, 13-15, MC Mac 1, (B).
Module 6 Lab Exercises
Labs 11-12 (-99 version).
Deadline: April 6
Module 7 - Advanced Topics (LFOL) (Week 12)
- Seminar 13 Syntax and Semantics of FOL.
- Mon 22/3, 10-12, G37.
- Read Chap. 10.2, 11.1-3, LFOL.
- Seminar 14 Completeness, Incompleteness.
- Tue 23/3, 13-15, G37.
- Read Chap. 11.7, LFOL.
- Lab 13 Tarski's World and HyperProof Exercises.
- Thu 25/3, 10-12, MC Mac 1, (A).
- Thu 25/3, 13-15, MC Mac 1, (B).
- Lab 14 Tarski's World and HyperProof Exercises.
- Fri 26/3 10-12, MC Mac 1, (A).
- Fri 26/3 13-15, MC Mac 1, (B).
Module 8 - Summary (Week 13)
- Seminar 15 Logics of Action and Change.
- Seminar reserve
- Reserve lab
- Thu 1/4, 13-15, MC Mac 1, (A).
- Thu 1/4, 15-17, MC Mac 1, (B).
email: larka@ida.liu.se
9-Feb-98 11:28