Program Overview

Master of Logic Programme

The Master of Logic Programme, offered by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, is a two-year international Master's programme providing intensive interdisciplinary research training in the foundations of mathematical and philosophical logic as well as their application in computer science, linguistics, and cognitive science.

Programme Structure

• The programme is organised by the ILLC and covers various disciplines, including:
  • Mathematics
  • Linguistics
  • Computer Science
  • Philosophy
  • Artificial Intelligence
  • Cognitive Science

Career Prospects

The MSc Logic provides intensive interdisciplinary research training in the broad area of Logic, Language and Information. Most of our graduates choose to pursue a research career, typically in academia, and succeed in obtaining attractive PhD positions at universities around the world in a variety of relevant fields (e.g., Logic, Computer Science, Cognitive Science, Linguistics, Philosophy, and Mathematics).

Application and Admission

• The University of Amsterdam organises information days, where all the Master's programmes offered by the university present themselves.
• Online informative sessions are available for those who cannot attend in person.

Current Students and Alumni

• The programme has a strong focus on research training, with many students going on to pursue PhDs in relevant fields.
• Alumni have successful careers in academia and research, with some becoming prominent figures in their fields.

Research Areas

• The programme covers a wide range of research areas, including:
  • Mathematical logic
  • Philosophical logic
  • Computer science
  • Linguistics
  • Cognitive science
  • Artificial intelligence

Programme Details

• The Master of Logic Programme is a two-year international Master's programme.
• It provides intensive interdisciplinary research training in the foundations of mathematical and philosophical logic and their application in computer science, linguistics, and cognitive science.