The main goal of the minor is to offer students:

  1. An intensive introduction to the formal techniques used in logic and related areas in order to analyze the truth and complexity of information, to draw correct conclusions, to design strategies, to construct computational models, to build (counter)-arguments and to reason about uncertainty.
  2. Illustrations of the applications of these techniques in the investigation of foundational issues in mathematics and computer science and in the definition of predictive models for phenomena of various nature including linguistic meanings, music cognition and phenomena of social interactions.

The programme consists of 30 EC, chosen from several courses, organised according to four themes:

  • Mathematics 
  • Philosophy 
  • Theoretical Computer Science
  • Computational Linguistics and AI 

In addition, the minor offers a self-study Introduction to Logic course (mandatory for students without logic background) and the possibility to do individual or group research projects under the supervision of an ILLC researcher. 



Below is a list of representative courses. The complete list of courses offered in the current academic year (including periods and course descriptions) can be found in the UvA course catalogue.



Course Course code #EC      Remark
Axiomatic Set Theory WI5122AXVE6Y 6    
Introduction to Modal Logic WI5122INML6Y 6    
Mathematical Logic 900368SCIY 6   Cannot be followed with Metalogic because of overlap. Only accessible to Honour students.
Modules and Categories WI5122MOCA6Y 6    
Wiskundige logica WI5122WILO6Y 6    


Course Course code  #EC   Remark
Introduction to the Philosophy of Mathematics 136213086Y 6   Not offered every year
Embodied Cognition 136213126Y 6    
Language and Cognition 136213116Y 6    
Philosophy and AI


 6   Not offered every year
Philosophical Logic 900273HUMY 6   Only for honour students
Logical Analysis 136221086Y 6    
Logic and Society 136213136Y 6   Not offered every year
Philosophy of Language 136221336Y 6   Not offered every year


Theoretical Computer Science

Course Course code #EC    
Algoritmen en Complexiteit IN5062ALCO6Y 6    
Automaten en Formele Talen IN5062AUFT6Y 6    
Introduction to Information Theory WI5122ITSL6Y 6    
Introduction to Quantum Computing  WI5122ITQC6Y 6    
Moderne Cryptografie IN5062MOCR6Y 6    
Theory of Functional Programming IN5062SEFP6Y 6    

Computational Linguistics and Artificial Intelligence

Course Course code #EC    
Causality and Common Sense Reasoning KI5082CCSR6Y 6    
Computational Methods 139222036Y 6    
Computational Musicology 115215146Y 6    
Computationele logica KI5082COLO6Y 6    
Evolution of Language and Music PB5102EVTM6Y 6    
Foundations of Multi-Agent Systems KI5082FMAS6Y 6    
Language, Speech and Dialogue Processing KI5082LSDP6Y 6    
Law and Economics III: Digital Legal Studies 3013DLQ0KY 6    
Natuurlijke Taalmodellen en Interfaces KI5082NTIT6Y 6    
Taaltheorie en Taalverwerking KI5082TATA6Y 6   special arrangement

General programme

Course Course code #EC    Remark
Logic and Computation: Introduction to Logic   5122LCIT3Y  3   Mandatory for students without logic background
Logic and Computability 5082LOCO6Y 6    
Logic and Computation: Metalogic 5122LOCM6Y 6   Cannot be followed with Mathematical logic because of overlap
Project Logic and Computation 1 51221PLC3Y 3    
Project Logic and Computation 2 51222PLC6Y 6    


Projects Logic and Computation

Each January and June (the third block of each semester, which is free of regular taught courses), students of the Minor Logic and Computation can conduct individual or group projects under the supervision of an ILLC researcher. Projects can have different formats and purposes, e.g., an internship in one of the ILLC research groups; a reading group exploring recent developments in the Logic, Language and Computation area; or a supervised self-study (followed by an exam) designed to fill a gap in the background of a student or covering an advanced topic not addressed in a regular taught course.  

There are generally two options for LoCo projects:

(i) Individual project organised by the students themselves, which involves  (i) choosing a topic; (ii) finding a supervisor among the staff member of ILLC  (typically a lecturer of one of the courses you have followed this semester);

(ii) Coordinated projects organised by ILLC for MSc Logic students (special permission from the instructors required). Please have a look at the list of current projects offered at ILLC: