AvÐÔ°®

University AvÐÔ°®
  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. I am editor of .

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.