Logic Research Group
Short description
The Logic Group uses formal tools to tackle questions from philosophy, mathematics, computer science and linguistics. Broad interests in the foundations of mathematics and modal logic are represented. In particular, there is expertise on the proof and model theory of arithmetic, set theory and theories of truth, as well as on type theory, mu-calculus and dependence logic.
The Logic Group organises the annual Lindström Lecture series and a biweekly research seminar with talks from national and international speakers.
The Logic Group is responsible for the Master’s Programme in Logic.
Please visit the group's external website for more information (see link above.)
Logic, Master's Programme
The Master in Logic offers the opportunity to delve into the theory and use of logic accross the fields of mathematics, philosophy, linguistics, computer science and other disciplines. The programme provides an in-depth and rounded education which allows students to move between the most theoretical aspects of logic and its varied applications.
The two-year programme opens with a selection 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.