The Master's programme in Logic at the University of Amsterdam (UvA) is a strongly interdisciplinary and international two-year Research Master's programme that focuses on the central role of logic as mediator and tool for both sciences and the humanities. The programme enjoys a strong international reputation as an excellent research training programme. Graduates of the programme frequently move on to become key players in the international logical research community.
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 programme in 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.