To apply you must hold (or expect to obtain soon) a Bachelor's (or equivalent) degree in a relevant discipline, e.g.:
- Computer Science
- Artificial Intelligence
You furthermore are expected to have a reasonable background in logic, affinity with mathematical and formal thinking, and some familiarity with mathematical proofs. In practice, this means that we expect that incoming students have had a formal introduction to logic up to the completeness theorem for first-order predicate logic and have taken courses requiring mathematical or formal reasoning. The tight schedule of the programme leaves very little room to compensate for deficiencies.
In addition, you are required to have a strong academic record, you should be able to demonstrate an aptitude for and an interest in research, and you must satisfy the English language requirements.
The admission criteria for the MSc Logic and the Logic Year are the same.
English Language Requirements
Students of the programme must be able to read textbooks, understand lectures, take part in classroom discussions, and do written work in English. Therefore all applicants are required to demonstrate sufficient proficiency in English.
This can be demonstrated by the successful completion of one of the following examinations:
- IELTS Test (only Academic IELTS is accepted): the minimum score required is 6.5, with at least 6 on each sub-score (listening, reading, writing, speaking).
- TOEFL Test: the minimum score required is:
- Internet-based test (iBT): 92
- A Cambridge Examination Score with a minimum test result of CAE A or B will also be accepted. For the CPE test a minimal score of C is required.
Applicants who have taken English at VWO level at a school in the Netherlands, have an English-language 'international baccalaureate' diploma or have had secondary or tertiary education in Australia, Canada, Ireland, New Zealand, United Kingdom or United States of America automatically satisfy the English language requirement.
Schakelprogramma (for Dutch students only)
In exceptional cases, candidates who still lack some of the required background knowledge but who otherwise are excellent candidates for the MSc Logic, may be offered the possibility to acquire this missing knowledge in a so-called schakelprogramma (sometimes translated as pre-master), to then be admitted to the MSc Logic upon successful completion of that additional programme. A schakelprogramma consists of up to 30 EC of relevant Bachelor's courses at the University of Amsterdam. Because most of these courses are taught in Dutch, we can only offer this opportunity to Dutch-speaking students. Note that you cannot directly apply for this programme (however, you can note your interest in your regular application to the MSc Logic).