1: Sep/Oct 2020

2: Nov/Dec 2020 5: [MoL-FGW]

1: [MoL-FGW] Philosophy 2: [MoL-FGW]
Advanced topics in
4: Feb/Mar 2021 2: [MoL-FGW] Introduction to Data-driven History Philosophy of
Philosophy of the Philosophy of Ideas Language
5: Apr/May 2021 (Betti)
Techno Science of Language (Betti)
not in 2020/21 (Russo) (Brouwer) Mandatory Courses of Tracks:
L&P: Logic & Philosophy Computational
all L&L: Logic & Language
4: [MoL-FGW] Radical 1: [MoL-FGW] 2: [MoL-FGW]
L&C: Logic & Computation
Cognition Linguistics / AI
1+2: Logic, L&M: Logic & Mathematics
Language and Interpretation, Rationality, Philosophy of 1:[MoL-FNWI]
Computation Hermeneutics, Cognition and Cognition Basic Probability:
(Dekker) Practice Theory Reasoning (Brouwer) Theory
(Stokhof)
Master of Logic
[3EC] (van Lambalgen) (Ferreira Aziz)
[3EC]

Philosophical
Logic
4: [MoL-FNWI]
Epistemic Paradoxes
4: [MoL-FGW]
Logic and
5: [MoL-FGW]
5: [MoL-FGW]
Causal Inference:
2020/21 1: [MScB&CS]
2:[MoL-FNWI]
Basic Probability:
and Philosophical Kant, Logic and AI Philosophical version: 10 December 2020: Foundations of Programming
Philosophy https://github.com/cschaffner/MoLOverviewPoster Neural and
all Puzzles (van Lambalgen) Theory and Modern (Ferreira Aziz)
(Assadian) Suggestions and comments are welcome! Cognitive Modelling
1: [MoL-FNWI] (Smets) Practice (Schulz) [3EC]
(Zuidema) [5EC]
Mathematical
Proof Methods
2: [MScAI]
for Logic 2: [MSc B&CS] 2: [MSc B&CS]
(Schlöder) 4: [MoL-FGW] L&P L&P L&L Natural Language
4: [MoL-FGW] Cognition and Advanced Neural Processing 1
Philosophy of 1: [MoL-FGW]
2: [MoL-FNWI] Time Language and Cognitive (Shutova)
Mathematics Meaning, Reference
Philosophical Logic (van Lambalgen) Development Modelling
(Incurvati) and Modality
(van Rooij) (Schaeffer) (Zuidema)
(Dekker)

5: [MoL-FNWI] 5: [MScB&CS] 5: [MScAI]

Computational How Music Works: Natural Language
4: [MoL-FNWI] 2: [MoL-FNWI] L&L Processing 2
2: [MoL-FGW] 2: [MoL-FNWI] Dialogue Modelling Music Cognition
Topology, Logic and Dynamic Epistemic 5: [MoL-FGW] (Sima’an)
Semantics and Logic and (Fernandez) (Honing)
Learning Logic Structures for
Philosophy Conversation
(Baltag) (Baltag) Semantics
(Dekker, Aloni) (Roelofsen)
(Aloni) 5: [MoL-FNWI]
1: [MScAI]
Deep Learning for Advanced Topics in
Natural Language Computational
Processing Semantics
1: [RM-Ling] (Monz, Aziz) (Shutova)
4: [RM-Ling]
L&M, L&C Syntax-Semantics
L&M Syntax-Semantics
Interface 1 Game Theory 6 (in June): [MScAI]
1+2: [BScWisk] Interface 2 5: [MoL-FNWI] 4+5: [MastMath]
Theoretical (Hengeveld,
(Ruijgrok) 4: [MoL-FNWI] Knowledge
Introduction to Ruijgrok) & Computational Machine Learning
Modal Logic Linguistics Game Theory
Social Choice
Representation and Theory
(Bezhanishvili)
2: [MoL-FNWI] Social Choice (Endriss) Reasoning (Koolen, Grünwald,
Topics in (Endriss)
(de Haan) de Heide) [8EC]
Modal Logic
(Venema)
5: [MoL-FNWI] 5: [MScCS-VU]
1: [MScCS-VU] 1: [MoL-FNWI]
Logic, Games and Distributed
Protocol Validation Computability and
Automata Algorithms
4: [MoL-FNWI] (Ponse) Interaction
(Afshari) (Fokkink)
Mathematical L&M L&M (Baeten)
1+2: [MastMath] 4+5: [MastMath]
Structures in Logic 4: [MoL-FNWI] 5: [MoL-FNWI] Topos Theory
Category Theory
(Bezhanishvili) Proof Theory Model Theory (van Oosten)
(van den Berg)
5: [MoL-FNWI]
L&C L&C
(Pulcini) (Venema) [8EC] 4: [MScCS-VU]
[8EC] 2: [MScCS-VU] 2: [MScCS] 4: [MoL-FNWI]
Kolmogorov Term Rewriting 2: [MoL-FNWI]
Logical Verification Concurrency Theory Computational
Complexity Systems Information Theory
1: [MoL-FNWI] (Blanchette) (Ponse) Complexity
(Torenvliet) (Endrullis) (Schaffner)
Rudiments of (de Haan)
Axiomatic Set L&M 1: [MoL-FNWI]
5: [MoL-FNWI]
Theory (Löwe) 1+2: [MMath-UvA] Seminar 4+5: [MMath-UvA] 4+5: [MMath-UvA]
[3EC] Set Theory
Capita Selecta:
Mathematical Logic 1+2: [MoL-FNWI] 1: [MoL-FNWI] Quantum
Set Theory Quantum Quantum
(Hart, Löwe) (Löwe, Galeotti) Lambda Calculus Recursion Theory Information Theory Computing
(Löwe)
[8EC] [3EC] (Rodenburg) (Marti)
Mathematical (Walter and Ozols) (de Wolf) Theoretical
[8EC] [8EC]
Logic Computer Science