Till startsida
To content Read more about how we use cookies on gu.se

Programme Syllabus - Master in Logic

The first year of the two year programme consists mostly of compulsory courses in the theoretical fundamentals of logic such as set theory, modal logic, model theory and proof theory. The second year consists of a 30 hp essay and elective courses, where the student works toward a specialized profile within the general field of logic and its applications.

These courses are chosen from a wide range of subjects, some in applied logic (such as Artificial Intelligence, and Logic for web technologies) and some in theoretical logic (such as Category Theory and Formal Theories of Truth). Recommended course packages will include courses taught at partner departments (Mathematics and Computer Science and Engineering) as well as courses from subjects in our own department in Linguistics, Philosophy and the Master's Programme in Language Technology.

The first year consists of the following obligatory courses:
• Logical theory, 15 hp.
• Set theory, 7.5 hp.
• Modal logic, 7.5 hp.
• Model theory, 7.5 hp.
• Proof theory, 7.5hp.

In addition to these courses the student will take two, carefully chosen, elective courses from a battery of possible courses.

A seminar series, Colloquium in Logic, on applications of logic, methodology and history of logic will run through both years. The students will also be invited and encouraged to attend the research seminar in logic.

Page Manager: Monica Havström|Last update: 11/16/2015

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?