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 the courses below, organised according to four themes:

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

In addition, the minor offers a selfstudy course as an introductory course on logic which is registered as Project Logic and Computation 1 (51221PLC3Y) and a number of general courses.


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
Modules and Categories WI5122MOCA6Y 6    
Wiskundige logica WI5122WILO6Y 6    
Course Course code  #EC   Remark
Intro. to the Philosophy of Mathematics 136213086Y 6    
Philosophy and AI


Philosophical Logic 900273HUMY 6    
Logical analysis 136221086Y 6    
Philosophy of Language 136221336Y 6    


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    
Semantiek van functioneel programmeren 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 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    

The final list of courses (including periods and course descriptions) can be found in the UvA course catalogue.