You should study Logic iff this sentence is true.
Should you study logic?

Master in Logic

Come learn Logic with us!

Our research group powers the Master’s programme in Logic offered at the University of Gothenburg. For full details and application procedure, see the official webpage of the Master’s Programme in Logic. Do check out our poster!

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.

Students in the Master in Logic complete the programme with a deep and well-rounded education in Logic and related topics.

Programme structure and content

The programme begins with an in-depth introductory course specifically designed to give students from diverse backgrounds the foundational knowledge needed. There are six mandatory courses providing core knowledge:

  • Logical Theory
  • Set Theory
  • Modal Logic
  • Philosophy of Logic
  • Proof Theory
  • Model theory

Next to the mandatory courses, the program offers a broad and dynamic collection of elective courses. Below you find a selection of elective courses that were offered in the recent past at our master, roughly sorted by topic. Note, the choice of elective courses varies from year to year based on availability and interest, so we cannot guarantee that all courses will be offered during your stay.

Proof and Truth

  • Logic of provability
  • Quantified modal logic
  • Dependence logic

Categorical Logic

  • Category theory
  • Functorial semantics
  • Introduction to topos theory

Logic and Computation

  • Models of computation
  • Lambda calculus and type theory
  • Logic, games and automata
  • Decision theory

Logic in Philosophy

  • Philosophy of mathematics
  • History of logic
  • Human reasoning and cognitive science
  • Semantic paradoxes and the logic of truth

You’re also encouraged to choose elective courses taught at partner departments. You will receive guidance to help build a profile matching your individual plans for your future career. Seminars, peer review, and supervising will assist you in writing your thesis, which is an in-depth exploration of a topic of your choice.