Till startsida
Till innehåll Läs mer om hur kakor används på gu.se

Masterprogram i logik, 120hp

Masterprogrammet i logik kunde inte starta 2016 som var planerat. Studentpengen blev inte tillräckligt stor för att kunna genomföra utbildningen på humanistiska fakulteten. Ny planerad start blir hösten 2018.

Programmet ges på engelska, se den engelska versionen av denna sida för fullständig information.

What is logic?

An often-told anecdote amongst logicians is the story of how the list of “the 20 most influential scientists, thinkers and inventors” of the 20th century published by Time Magazine in March 1999 included no fewer than three logicians: the logician and mathematician Kurt Gödel, the logician and computer scientist Alan Turing, and the logician and philosopher Ludwig Wittgenstein.

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.


Studievägledning gällande logikprogrammet

Sidansvarig: Monica Havström|Sidan uppdaterades: 2017-01-23

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?