The MSc Logic curriculum consists of 90 EC worth of courses and projects, and a 30 EC research thesis. Only a small part of the course load is made up of obligatory elements. The official rules and regulations regarding both the obligatory part of the programme and the electives are laid down in the OER. On this page, we only give a brief overview.
The MSc Logic has four tracks:
- Logic & Computation (L&C)
- Logic & Language (L&L)
- Logic & Mathematics (L&M)
- Logic & Philosophy (L&P)
The following elements are obligatory for all students:
- Logic, Language and Computation (3EC)
- Mathematical Proof Methods for Logic (6 EC)*
- Research Project (6EC)**
- Thesis (30EC)
*In the admission process, the Examinations Board can grant an exemption from the obligation to take the course Mathematical Proof Methods for Logic. Students exempted from Mathematical Proof Methods for Logic are not allowed to take this course for credits.
**Taking more than one research project is possible (up to a total of 24EC).
In addition to the above, for each track there are a small number of track-specific obligatory courses:
- L&C: Computational Complexity / Information Theory / (Introduction to Modal Logic*)
- L&L: Meaning, Reference and Modality / Structures for Semantics
- L&M: Set Theory / Model Theory / Proof Theory / (Introduction to Modal Logic*)
- L&P: Meaning, Reference and Modality / Philosophical Logic
*Students in the L&C or L&M track, who did not have a mathematical introduction to Modal Logic in their undergraduate education, will need to take Introduction to Modal Logic as an elective course.
Electives and Free Choice
Your mentor will help you to design a coherent programme of study drawing on our large offering of electives listed in the course catalogue.
Note that all of the track-specific obligatory courses listed above may be taken as electives by students from other tracks. The same holds for Axiomatic Set Theory and Introduction to Modal Logic (unless you have already acquired this knowledge in your undergraduate education).
In the free choice part of the programme, in consultation with your mentor, you can choose freely from all courses offered at Master's level at the University of Amsterdam and other universities in the Netherlands. Should you want to take more than 18EC worth of courses that are not listed as part of the MSc Logic programme, then you need the permission of the Examinations Board.