Research in Logic

The research group in Logic employs mathematical methodology to investigate the foundational questions in mathematics, philosophy and computer science, including axiomatic theories of arithmetic and set theory, modal and temporal logics, formal theories of truth, concepts of induction and circularity, and methods of proof.

Seminars and workshops on a variety of topics

We host regular seminars and workshops on a variety of topics, including a bi-weekly research seminar in logic and annual Lindström Lectures. We co-organise (with colleagues in Stockholm) the monthly Nordic Online Logic Seminar, and are one of the member groups of the Scandinavian Logic Society which organises a number of events promoting logic in the Nordic regions.

External webpage

More detailed information about our research group can be found on our external webpage and the personal pages of our…

The Lindström Lectures

The Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg launched a lecture series in…

Research seminars

The Logic Group organises a bi-weekly Research Seminar in Logic and, in collaboration with Stockholm University, the monthly Nordic Online Logic Seminar.

Research seminar in Logic

Nordic Online Logic Seminar