The programme was established in 1995 by the Institute for Logic, Language and Computation (ILLC), and remains firmly embedded in this research institute, with staff members from the fields of Computer Science, Philosophy, Cognitive Science, (Computational) Linguistics and Mathematics. The goal and the underlying spirit of the MSc Logic is to connect traditional fundamental research in the formal sciences with a wide variety of applications that range from Information Sciences to Linguistics and Philosophy.
The MSc Logic is a research-oriented programme for highly motivated students with an excellent academic record. The programme is open to students from all over the world and is based on a scheme known as the I³ system: Interdisciplinarity, Internationality and Individuality.
All students are required to participate in the course ‘Logic, Language and Computation', which provides an introduction to research areas that are being pursued at the ILLC. Depending on their background, students can choose between four tracks:
You can thus expand on the original field of your Bachelor's programme while simultaneously working toward common goals and shared interests with students from a wide variety of backgrounds.
Each student is assigned a member of the academic staff as a mentor. Mentors help students design individual curricula according to their specific strengths, educational needs and interests.
During the second semester of the second year of the programme, each student writes a research-based thesis under the close supervision of an ILLC staff member. Upon successful completion, the thesis will be published in the ILLC Publication series.
For detailed information regarding courses, please see the UvA Course
For detailed information about the curriculum, please see the website of the ILLC
All students enrolled in Logic are requested to bring their own laptop, due to the nature of the programme. More information on specific system requirements can be found here.
A Master of Science in Logic is awarded upon successful completion of all the core courses in the curriculum and a written Master's thesis based on an independent research project. This translates into a total of 120 EC credits.
The Master's programme in Logic has been legally accredited by the Accreditation Organisation of the Netherlands and Flanders (NVAO) and has received the top ranking of ‘excellent' (= world leader in this area) in the categories ‘research quality of the programme', ‘research quality of the teaching staff', ‘student support and guidance' and ‘results of the programme'.
Upon successful completion of the programme students will receive an accredited Master's degree in Logic and the title Master of Science (MSc).