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.

The logic group at FLoV has a broad expertise in mathematical, philosophical and computational logic. With a diverse team from varied backgrounds, we integrate different traditions in mathematical logic, ranging from proof theory, models of arithmetics to categorical semantics and logics for systems’ verification.

A common stream is research in the foundations and philosophy of mathematics often motivated by the interrelation between concepts of proof, truth and computation. Our group is also engaged in research in philosophy of language and applications of logic to linguistics.

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. In 2024, our group hosted the annual European meeting of the Association for Symbolic Logic (the ‘Logic Colloquium’).