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 and Computational Linguistics and AI.


Course Course code Remark
Axiomatic Set Theory 5122AXVE6Y  
Introduction to Modal Logic 5122INML6Y  
Mathematical Logic 5122AXVE6Y Cannot be followed with Metalogic because of overlap
Modules and Categories 5122MOCA6Y  
Wiskundige logica 5122WILO6Y  
Course Course code Remark
Intro. to the Philosophy of Mathematics 136213086Y  
Logic and Society 136213136Y  
Logical Analysis 136221086Y  
Metalogic, intensive Introduction 136213096Y Cannot be followed with Mathematical logic because of overlap
Philosophical Logic 900273HUMY  
Realism and Anti-realism 136219146Y  
Theoretical Computer Science    
Course Course code  
Algoritmen en Complexiteit 5062ALCO6Y   
Automaten en Formele Talen 5062AUFT6Y   
Introduction to Quantum Computing  5122ITQC6Y  
Moderne Cryptografie 5062MOCR6Y  
Theoretische aspecten van programmatuur 5062THAP6Y   
 Introduction to Information Theory  5122ITSL6Y  
Computational Linguistics and Artificial Intelligence    
Course Course code  
Causality and Common Sense Reasoning 5082CDMG6Y   
Computational Methods 139222036Y  
Computational Musicology 115215146Y  
Computationele logica 5082COLO6Y  
Conceptual Spaces for Artificial Intelligence 5082CSFA6Y  
Foundations of Multi-Agent Systems 5082FMAS6Y  
Language, Speech and Dialogue Processing 5082LSDP6Y  
Law and Economics III: Digital Legal Studies 3013DLQ0KY  


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