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)
- Research Project (6EC)
- Thesis (30EC)
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 (6EC) / Information Theory (6EC)
- L&L: Meaning, Reference and Modality (6EC) / Structures for Semantics (6EC)
- L&M: Model Theory (6EC) / Proof Theory (6EC)
- L&P: Meaning, Reference and Modality (6EC) / Philosophical Logic (6EC)
The following courses formally have the status of deficiency courses and may be obligatory for you:
- Basic Logic (6EC)
- Axiomatic Set Theory (6EC)
- Introduction to Modal Logic (6EC)
For Basic Logic, depending on your prior training, the Examinations Board will decide whether (a) you have to take this course, (b) you are not allowed to take this course, or (c) you can take this course in consultation with your mentor. The other two deficiency courses you are not allowed to take if you have acquired this knowledge already before starting the MSc Logic (which would be very rare for modal logic, but quite possible for axiomatic set theory). Students in the L&M track must take both of them if they do not yet have this knowledge; students in the L&C must take the modal logic course if they do not yet have this knowledge.
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.