Course syllabus

Master in Logic, 120 credits

For the fall semester of 2021 we're planning on giving courses both at campus and streamed over Zoom. Starting from the spring semester (i.e., from January 17 2022) we will fully go back to campus teaching and not offer streamed lectures or the possibility to write exams over Zoom.

The purpose of the Master's Programme in Logic is to provide a new generation of students with thorough theoretical knowledge, and the ability to apply it, within a central intellectual field, which gets its theoretical interest and practical value from a unique combination of humanities, mathematics and information science. For the Faculty of Arts this is a commitment to promote and further develop the field of mathematical humanities.

The main goal is that students, after successful completion of the programme, will have a coherent training and thorough understanding of the theoretical fundamentals of the subject of logic itself, its general role in the sciences and humanities, as well as its applications in fields like philosophy, linguistics, mathematics and computer science. Students will be well prepared for a career of research and development in logic and its applications, both in academia and industry.

The programme starts with a number of core courses, common for all students, which provide a solid foundation in the fundamentals of theoretical logic and its applications, and then follow elective courses, tailored to the background, interests and career plans for individual students.

The structure of the programme changed slightly in 2021. If you started the programme in 2021 or earlier please see the old information available here.

Structure of the programme for students starting 2022 or later

Obligatory courses are listed below. You will find links to the course syllabi and to the latest Canvas activity for each course:

See below for elective courses.

The Research Seminar in Logic

The Colloquium in Logic

  • Some Fridays at 10:15 - 12:00.
  • The focus of these talks is to give an overview of logic areas for master students. 
  • All are welcome.
  • Talks around 45 minutes and then discussions/social chat. 
  • Announcements here on Canvas and schedule available here.

Elective courses

Elective courses are chosen by the student after counseling with the teacher who is assigned as her study tutor; this is to ensure that the student builds a sensible and competitive profile, with respect to her individual background, interests, potential and plans for future professional life.

There are three sets of elective courses to choose among: 1) the five recommended elective logic courses, 2) courses in other subject areas that you apply for through and 3) one of the four Specialization in Logic courses that can be tailored toward your special interests and needs.

1) The five recommended elective logic courses

  • Models of Computation, LOG260 (syllabus tbd).
  • Advanced Set Theory, LOG270 (syllabus tbd).
  • History of Logic, LOG280 (syllabus tbd).
  • Logic, Games and Automata, LOG290 (syllabus tbd)
  • Category Theory, LOG350: The course starts with general category theory and defines the concept of a category. Examples of categories, constructed in set theory, are presented. Then, a number of central concepts in category theory defined by using abstract limits and universal properties are presented. The course also provides an introduction to topos theory, and its connection to logic and set theory. Finally, two central concepts in general category theory are defined and exemplified: functors and natural transformations.

2) Courses in other subject areas

Such courses will need to be applied for (in time) through and observe that to include such a course in your exam you will need to get the course confirmed by your study tutor. Also note that you will need to fulfill the prerequisites. Below you will find a list of some of the courses at GU that we think may interest you:

3) One of the four Specialization in Logic courses

Specialization in Logic 1-4, 7.5 credits: LOG230, LOG240, LOG320, and LOG330 can be filled with different content and are usually offered as reading courses. They can be used for preparing you for the thesis work and it is recommended to take at least one during the third semester of the programme. Below you will find some possible specializations:

  • Formal theories of truth
  • Computability and complexity theory
  • Games theory and logic
  • Philosophy of Mathematics
  • Knowledge representation and logic for the web
  • Models of Arithmetic
  • Advanced philosophical logic

But also other specializations, determined in consultation with your study tutor, are possible.

More information

Course summary:

Date Details Due