MSc Logic
University of Amsterdam / ILLC
Currently enrolled in the Master of Logic at the University of Amsterdam / ILLC. Taught-course requirements are complete; the thesis is in progress.
At a glance
- Current stage
- Thesis in progress; degree not yet awarded
- Research
- Scientific structuralism, scientific representation and translations between theories
Thesis
Mechanising Structuralism: Structural Languages and Theory Translation in Isabelle/HOL
Working title. The philosophical study is substantially developed. Isabelle/HOL formalisation is at an early stage, with syntax and semantics preparation and an initial scaffold.
Course records
Record date: 13 September 2025
Scroll horizontally for all course details.
| Course | ECTS | Grade | Record status |
|---|---|---|---|
| Dynamic Epistemic Logic | 6 | 8.0 | Passed |
| Proof Theory | 6 | 7.0 | Passed |
| Logic, Language and Computation | 3 | Pass | Passed |
| Philosophy of Cognition | 6 | 6.9 | Passed |
| Philosophy of Logic | 6 | 7.5 | Passed |
| Meaning, Reference and Modality | 6 | 8.5 | Passed |
| Mathematical Proof Methods for Logic | 6 | 8.5 | Passed |
| Knowledge Representation and Reasoning | 6 | 7.5 | Passed |
| Philosophy of Science | 6 | 9.0 | Passed |
| Structures for Semantics | 6 | 7.1 | Passed |
| Seminar Mathematical Logic | 3 | Pass | Passed |
| Research project | |||
| Research Project Master of Logic 3 | 6 | Pass | Passed |
| Taught coursework | |||
| Philosophy of Mathematics | 6 | 7.3 | Passed |
| Topology, Logic and Learning | 6 | 8.0 | Passed |
| Introduction to Modal Logic | 6 | 7.0 | Passed |
This dated portal extract records 84 ECTS, including a 6 ECTS research project. It is not a current official transcript or the current programme total. A separate official transcript from 3 December 2024 records 18 ECTS. Current coursework completion is confirmed separately by Simone in October 2026.
Evidence & documents
Historical official Master of Logic transcript
Download public copy (PDF)
Earlier work
Historical notes & course material
- Horreum: earlier study notes and coursework Historical material and study planning. The current qualification status is stated on this page above.