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

Logic, Master's Programme, 120 credits

Logic, Master's Programme started in September 2018.

You find information about how to apply on this page. For study guidance please contact Fredrik Engström, mil-info@flov.gu.se, 031-7866335.

See our video about the programme

What is logic?

Logic formulas with pen

Modern logic is the product of the fusion of profound philosophical insights and striking mathematical methodology. It is a mature, complex subject with its own set of internal agenda and goals. Moreover, the conceptual frameworks and tools developed by research in “pure logic” have found a dazzling, extensive array of applications, not only in the neighboring disciplines of philosophy, mathematics, linguistics, and computer science, but also in industry and engineering. Consequently, Logic is a genuinely interdisciplinary subject.

The first year courses of the program provide a solid grounding in the core areas of logic. These include Model Theory, which studies the relationship between formal languages and the structures that interpret them; Computability Theory, where algorithms and the complexity of computational problems are investigated; Proof Theory, whose focus is on the structure of formal proofs; and Set Theory, which provides the foundation of mathematics and formal sciences by studying finite and infinite collections.

During the second year, students compose a 30 hp-master’s thesis; and based on their interests and goals, they concentrate on a selection of courses in logic or its applications taught in our own department (e.g., in Logic, Philosophy, Linguistics, or Language Technology), or offered at partner departments (Mathematics, and Computer Science).

Logic in Gothenburg

At the University of Gothenburg, logic as a field of research and teaching was established at the Faculty of Arts, in the philosophy department in the 1960s, and the first full professor, Per Lindström, was appointed in 1991. Today, the FLoV department has a lively research environment, including doctoral students in logic, led by Professor Ali Enayat, who was appointed in 2013.


The programme’s versatility prepares the student to either follow an academic career path, or to pursue employment in fields as diverse as secondary education, software engineering, web-based technologies, and in the information and communication technology sector. ​

See also

Programme description in the university web catalogue.

International and interdisciplinary

Tjeerd from the Netherlands tells you about the programme and what it is like to study in Gothenburg.

Logic, Master's Programme

Get to know our Master's Programmes at the Faculty of Arts

Page Manager: Monica Havström|Last update: 2/22/2019

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?