91̽»¨

University 91̽»¨
  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 .

My interview with the Wallenberg Foundation: .

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 .

Research projects

Research team

See the to find out about other members.

Preprints and forthcoming work

  • Demystifying μ (with Bahareh Afshari and ), January 2024 (updated Dec 2024). arXiv:
  • The limit of recursion in state-based systems (with B. Afshari and Giacomo Barlucchi). Extended abstract in .
  • A metapredicative study of μ-arithmetics (with B. Afshari). August 2024. GUPEA: .
  • Herbrand schemes for first-order logic (with B. Afshari and ), to appear in Archive of Mathematical Logic. Pre-print: .
  • Herbrand schemes for cyclic proofs (with B. Afshari and ). To appear in Journal of Logic and Computation. Pre-print: .
  • Uniform interpolation from cyclic proofs (with B. Afshari and ). Full version of the extended abstract in TABLEAUX (2021) with full proofs and application to other modal logics.
  • Normal forms for cyclic proofs (with B. Afshari), manuscript. June 2023.

The above manuscripts are available on request.