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 philosphy of mind.

Complete Module Description



Description by Module

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

The Complete Schedule



Schedule by Module

• All labs will be in Pul MC1, E-Hus, bv.
• There will be two lab groups (A) and (B). You can register for the labs by signing your name on the form posted on the door of room G.466, E-hus, bv. Deadline: March 13.
• Laptops will be distributed March 21.