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.

To apply to the Master's programme Logic you must hold (or expect to obtain soon) a Bachelor's (or equivalent) degree in a relevant discipline, e.g: Computer Science Artificial Intelligence Mathematics Philosophy Linguistics The Admissions Board will consider admitting candidates who do not satisfy the requirement of relevant undergraduate degree if their list of courses proves that they have acquired the necessary background for postgraduate work in logic. Logic background Applicants are expected to have a solid background in modern formal logic, affinity with mathematical and formal thinking and sufficient familiarity with mathematical proofs. In practice, this means that incoming students are expected to have taken a course in mathematical logic up to and including the proof of the completeness theorem for first-order logic and have taken courses requiring mathematical or formal reasoning. Academic excellence In addition, applicants are expected to display academic excellence, usually witnessed by a very strong academic record, i.e., the equivalent of a Dutch cum laude distinction. The tight schedule of the programme leaves very little room to compensate for deficiencies.