Logic
Curriculum
Logic (MSc)
Programme outline
All students are required to participate in a broad introduction to modern research in logic and neighbouring disciplines in the course ‘Logic, Language and Computation'. Courses in the Logic and Language track focus on formal models for natural language semantics and on computational linguistics.
Depending on their background, students can choose between four tracks:
- Logic and Mathematics
- Logic and Computation
- Logic and Philosophy
- Logic and Language
Students can thus expand on their original field of BSc or BA study while simultaneously working toward common goals and shared interests with students from a wide variety of backgrounds. Each student is assigned a member of the academic staff as a mentor. Mentors help students design individual curricula according to their specific strengths, educational needs and interests.
Courses offered in the track Logic and Mathematics focus on the mathematics of modal logic, mathematical analysis of games and set and model theory. The Logic and Computation track focuses on games in computer science, complexity theory and algorithms. Courses in the track Logic and Philosophy focus on the philosophy of language and cognitive science. Courses in the Logic and Language track focus on formal models for natural language semantics.
During the fourth semester of the second year of the programme, each student writes a research-based thesis under the close supervision of an ILLC staff member. Upon successful completion, the thesis will be published in the ILLC Publication series. See link below.
For detailed information about the curriculum, please see the regularly updated website of the MSc programme in Logic through the link below.