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).

In addition, lab descriptions and copies of overheads will be handed out or put on-line.













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.
Please notice that dates and dead lines in the lab descriptions are obsolete. We will soon present up-to-date versions.


Description by Module




Module 1 - Introduction to Logic (Week 10)





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)



Module 2 Lecture Exercises

Lecture 2 (97)



Module 2 Lab Exercises

Labs 3-4 (97)




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



Module 3 Lecture Exercises

Lecture 3



Module 3 Lab Exercises

Labs 5-6




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



Module 4 Lecture Exercises

Lecture 4



Module 4 Lab Exercises

Labs 7-8




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



Module 5 Lab Exercises

Labs 9-10




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



Module 6 Lab Exercises

Labs 11-12




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



Module 8 - Summary (Week 18)





email: patdo@ida.liu.se

20-Apr-97 20:39