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.

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.
Deadlines for the labs will be added later.


Description by Module




Module 1 - Introduction to Logic (Week 6)





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)



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)



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)



Module 4 Lecture Exercises

Lecture 4



Module 4 Lab Exercises

Labs 7-8

Deadline: -




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



Module 5 Lab Exercises

Labs 9-10 (-99 version).

Deadline: -




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



Module 6 Lab Exercises

Labs 11-12 (-99 version).

Deadline: April 6




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

Module 8 - Summary (Week 13)




email: larka@ida.liu.se
9-Feb-98 11:28