---

Introduction to Logic

Title: Logic and Computation: Introduction to Logic
Course code: 5122LCIT3Y
Credits: 3 EC
Course load: 4 weeks programme (part time) / 2 weeks programme (fulltime)
Coordinator: Maria Aloni
Instructor: Maria Aloni

This introductory course to logic is part of the Minor Logic and Computation, ILLC, University of Amsterdam. The course is offered as a self-study with opportunities for final exams in blocks 1, 3 and 6. One week before each exam there will be one Q&A session with the instructors. The schedule with time and location of the exams and the Q&A sessions can be found in DataNose.

Course description

The course is intended primarily for students who wish to do the Minor Logic and Computation but who have not yet followed an introductory course to logic. Students are expected to cover the course material by self-study alone. The written exam will assess students’ knowledge of the following topics:

• Propositional logic
  • Syntax, semantics
  • Functional completeness
  • Logical validity
  • Truth Tables
  • Natural deduction
• Predicate logic
  • Syntax, semantics
  • Interpretation by Substitution
  • Logical validity
  • Identity
  • Properties of Relations
  • Natural deduction (for predicate logic without identity)

Literature

You are free to choose your own textbook. There are many excellent introductions to logic available. However, for this course we recommend everybody to read

• The first four chapters to the textbook of the course Logic in Action.

In addition, read,

• Chapters 1-4 of Logic, Language and Meaning. Introduction to Logic, Volume 1, by L.T.F. Gamut. University of Chicago Press.

Or

• Chapters 0-2 of Logic and Structure, by Dirk van Dalen. Springer

The book by Gamut is written with an eye towards applications in linguistics, whereas the book by van Dalen has a more technical style suitable for students with a background in mathematics or computer science.

---

---

Test exam

Once you have studied the course materials it is time to test yourself. If you are able to make the following test exam you should be well prepared to make the real exam.

• Test Exam
• Solutions

Examination

Grading will be based on a written exam. Every year there are three opportunities for a final exam in periods 1 (September), 3 (January) and 6 (June). The exams will take place in Science Park. Consult DataNose for exact time and locations: DataNose.

Registration

Only registered students are admitted to the exams. To register please follow the instructions here: UvA course registration. For late registration, please send an email to the Minor coordinator at minor-loco-illc@uva.nl at least one month before the exam.

Contact

Contact the coordinator in case you have questions, suggestions or complaints.