Guidelines & Regulations
The MSc Logic is one of the Master's programmes of the Master School of Informatics. For questions involving registering for courses, grades, course schedules, and your actual degree, please contact the Education Service Centre (Science Park 904, first floor, +31 (0)20 525 7100).
The official text of the programme description can be found in the Course Catalogue.
The MSc Logic consists of an obligatory part (between 21 and 45 ECTS credits, depending amongst others on the specialization), a free choice part (between 45 and 69 credits), and an MSc thesis (30 credits).
- Some elements are (or might be) obligatory for all students.
- Logic, Language and Computation (3 EC)
- Research Project (6 EC)
- (*) Basic Logic (6 EC)
The Research Project refers to special projects offered in the months of January and June every year, but also to individual research projects and reading courses. It is possible to split up the 6 EC into more than one research project. More information about projects can be found on our project page.
Basic Logic (6 EC) is a course offered in order to deal with the differences due to the large variety of backgrounds of our students. The course is meant for students with a non-mathematical background. Enrollment for this course is determined by the Board of Examiners: some students are required to take it, some will take it after consultation with their academic mentors, and some are not permitted to take it.
Each of the four tracks of the MSc Logic has a number of track-specific obligatory courses:
- Logic and Computation (L&C):
- Computational Complexity (6 EC)
- Recursion Theory (6 EC)
- Logic and Language (L&L):
- Meaning, Reference and Modality (10 EC)
- Structures for Semantics (10 EC)
- Logic and Mathematics (L&M):
- Proof Theory (6 EC)
- Model Theory (6 EC)
- Logic and Philosophy (L&P):
- Meaning, Reference and Modality (10 EC)
- Kant, Logic and Cognition (10 EC)
- Philosophical Logic (6 EC)
Introduction to Modal Logic (6 EC) furthermore is obligatory for those students in the L&C and L&M tracks who did not have a mathematical introduction to modal logic in their undergraduate education; and Axiomatic Set Theory (6 EC) is obligatory for those students in the L&M track who did not have an introduction to axiomatic set theory in their undergraduate education.
Note that the list of obligatory courses for the L&C and L&M tracks changed in 2011. If you have started prior to the change and already have taken some of the previously obligatory courses, then you can replace requirements as appropriate (specifically, you can use Introduction to Logic in Computer Science in place of Computational Complexity and you can use Recursion Theory in place of Proof Theory).
- In the free choice part, you can choose freely from all courses offered at the MSc/MA level (in discussions with your academic mentor who will guide your course choices depending on your interests, strengths and weaknesses). If you want to take more than 20 credits of courses that are not listed as logic courses you need the permission of the Board of Examiners. With the permission of your mentor, you may take up to 12 credits of BSc/BA level courses among your free choice courses.
- During the third semester of their studies, students in the MSc in Logic start to prepare for writing a thesis. Typically, a student will spend the fourth semester writing his or her thesis under the supervision of an ILLC staff member. For more information, see the description of the Graduation Procedure.
The official regulations of the MSc in Logic are fixed in a document called
the Education and Examination Regulations (onderwijs- en examenregeling, or OER)
which, as of 2008/09, exists in English.
The old OER regulations can also be found here, in Dutch only:
- OER 2003/04:
- OER 2004/05:
- OER 2005/06:
- Deel A (Algemene bepalingen).
- OER 2006/07:
- OER 2007/08:
- OER 2008/09:
- OER 2009/10:
- OER 2010/11:
- OER 2011/12:
- Deel A (General Provisions).
- Deel B (The Master's Programme in Logic).
- Errata Deel A.