Graham E. LeighUniversity of Oxford
Faculty of Philosophy
Radcliffe Observatory Quarter
Oxford OX2 6GG
Tel: +44(0)1865 615347
E-mail: graham.leigh [at] philosophy.ox.ac.uk
I am a research fellow on the AHRC project Inexpressibility and Reflection in the formal sciences. My main interests are in mathematical logic, theories of truth, proof theory and philosophy of mathematics. Since September 2011 I am a research fellow at Wolfson College, Oxford.
For the Princeton workshop on Language, Truth and Logic this March, see here.
Axiomatic Truth, syntax and metatheoretic reasoning (joint with Nicolai, C.). To appear in Review of Symbolic Logic.[pdf]
Some weak theories of truth. To appear in Springer Series "Logic, Epistemology and the Unity of Science". [pdf]
A proof-theoretic account of classical principles of truth (extended abstract). Numbers and truth, Göteborg, Sweden October 19-21 2012. [pdf]
The Friedman-Sheard programme in intuitionistic logic (with Rathjen M.), Journal of Symbolic Logic 77(3) (2012) pp. 777-806. [pdf]
Proof-theoretic investigations into the Friedman-Sheard theories and other theories of truth, PhD thesis, University of Leeds, 2010. [pdf]