# Curriculum

The MSc Logic curriculum consists of 90 EC worth of courses and projects, and a 30 EC research thesis. Only a small part of the course load is made up of obligatory elements. The official rules and regulations regarding both the obligatory part of the programme and the electives are laid down in the OER. On this page, we only give a brief overview.

#### Tracks

The MSc Logic has four *tracks*:

- Logic & Computation (L&C)
- Logic & Language (L&L)
- Logic & Mathematics (L&M)
- Logic & Philosophy (L&P)

Your choice of track determines some of your obligatory courses.

#### Obligatory Elements

The following elements are obligatory for *all* students:

- Logic, Language and Computation (3EC)
- Mathematical Proof Methods for Logic (6 EC)*
- Research Project (6EC)**
- Thesis (30EC)

*In the admission process, the Examinations Board can grant an exemption from the obligation to take the course *Mathematical Proof Methods for Logic*. Students exempted from Mathematical Proof Methods for Logic are not allowed to take this course for credits.

**Taking more than one research project is possible (up to a total of 24EC).

In addition to the above, for each track there are a small number of track-specific obligatory courses:

- L&C: Computational Complexity / Information Theory / (Introduction to Modal Logic*)
- L&L: Meaning, Reference and Modality / Structures for Semantics
- L&M: Set Theory / Model Theory / Proof Theory / (Introduction to Modal Logic*)
- L&P: Meaning, Reference and Modality / Philosophical Logic

*Students in the L&C or L&M track, who did not have a mathematical introduction to Modal Logic in their undergraduate education, will need to take *Introduction to Modal Logic* as an elective course.

#### Electives and Free Choice

Your mentor will help you to design a coherent programme of study drawing on our large offering of *electives* listed in the course catalogue.

Note that all of the track-specific obligatory courses listed above may be taken as electives by students from other tracks. The same holds for Axiomatic Set Theory and Introduction to Modal Logic (unless you have already acquired this knowledge in your undergraduate education).

In the *free choice part* of the programme, in consultation with your mentor, you can choose freely from all courses offered *at Master's level* at the University of Amsterdam and other universities in the Netherlands. Should you want to take more than 18EC worth of courses that are not listed as part of the MSc Logic programme, then you need the permission of the Examinations Board.