University of Gothenburg
  2. About
  3. Find staff
  4. Graham Leigh

Graham Leigh

Professor

Philosophy and Logic unit
Telephone
+46 31-786 29 34
Mail
graham.leigh@gu.se
Visiting address
Renströmsgatan 6
41255 Göteborg
Room number
C504
Postal address
Box 200
40530 Göteborg

About Graham Leigh

My research concerns the interface of three concepts central to logic: proof, truth and computation. Much of my work examines links between these concepts, such as axiomatic theories of truth, infinitary (and non-wellfounded) notions of proof, and computational content of classical logic. I have published articles on ordinal analysis (proof theory), philosophy of mathematics, intuitionism, and temporal logics, and a monograph The Road to Paradox: A Guide to Syntax, Truth and Modality with Volker Halbach (October 2024).

I joined the logic group as Researcher in 2016 with a Wallenberg Academy Fellowship and was appointed Docent in 2018, Senior Lecturer in 2022 and full professor in Autumn 2024.

For information about our research seminar in logic and activities of our group see our group webpage (external).

My interview with the Wallenberg Foundation: Reflecting on truth with the help of logic.

The Road to Paradox: A Guide to Syntax, Truth and Modality

Co-authored with Volker Halbach (New College, Oxford), The Road to Paradox (CUP) provides a clear and direct introduction to the theory of paradoxes and the Gödel incompleteness theorems. It offers new analyses of the ideas of self-reference, circularity, and the semantic paradoxes, and helps readers to see both how paradoxes arise and what their common features are. The book can be ordered directly from the publisher.

Research projects

Research team

See the logic group homepage to find out about other members.

Preprints and forthcoming work

The above manuscripts are available on request.