Full-time and part-time - Day-time class
Curriculum Logic
1. Core elements
All students must take the course Logic, Language and Computation (3 EC) which is offered in the first semester.
In addition, each student must complete a total of at least 6 EC in research projects ( Research Project Master of Logic (6 EC)). During the final month of each semester, the MSc Logic offers projects for this purpose. However, students can also organise individual research projects with a member of staff of their choice.
In order to deal with the differences due to the large variety of backgrounds of our students, we are offering the course Basic Logic (6 EC) for students with a non-mathematical background. Enrollment for this course is determined by the Board of Examiners: some students are required to take it, some will take it after consultation with their academic mentors, and some are not permitted to take it.
2. Track-specific courses
Each student must satisfy the requirements of at least one of the four tracks of the MSc Logic. Students of the other three tracks can take these required track courses as electives.
The requirements of the tracks are as listed below:
2a. Track Logic and Computation
Students who did not have a mathematical introduction to Modal Logic in their undergraduate education will need to take Inleiding modale logica (Introduction to Modal Logic) (6 EC) as an elective course.
2b. Track Logic and Language
2c. Track Logic and Mathematics
Students who did not have a mathematical introduction to modal logic in their undergraduate education will need to take Inleiding modale logica (Introduction to Modal Logic) (6 EC) as an elective course. Students who did not have an introduction to axiomatic set theory in their undergraduate education will need to take Axiomatische verzamelingentheorie (Axiomatic Set Theory) (6 EC) as an elective course.
2d. Track Logic and Philosophy
3. Master thesis
The Thesis Master of Logic (30 EC) is written under the supervision of a member of staff at the ILLC. The student should start discussing possible topics with staff members in his or her third semester (in close consultation with his or her academic mentor) and agree with a supervisor on a thesis topic and plan by the end of the third semester. The thesis defense (in the presence of a thesis committee) is the final examination of the MSc Logic.
4. Elective courses of the MSc Logic
Please note that you are free to choose any of the obligatory courses of tracks other than your chosen track as electives.
