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, all applicants are required to have a strong academic record, and they must satisfy the English language requirements.
The admission criteria for the MSc Logic and the Logic Year are the same.
English Language Requirements
All non-native speakers of English applying for the programme are required to demonstrate sufficient proficiency in English to enroll in university courses. Students must be able to read textbooks, understand lectures, take part in classroom discussions, and do written work in English.
Applicants have to demonstrate English proficiency as demanded by the university. For more information about these requirements and which tests to take, we refer to the these UvA pages.
For Dutch students, English at VWO level is sufficient.
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 schaeklprogramma 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).