Graham E. Leigh University of Oxford Faculty of Philosophy Radcliffe Humanities Radcliffe Observatory Quarter Woodstock Road 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.

Recent publications and preprints

• Axiomatic Truth, syntax and metatheoretic reasoning (joint with Nicolai, C.). To appear in Review of Symbolic Logic.[pdf]

• A proof-theoretic account of classical principles of truth. Accepted for publication in Annals of Pure and Applied 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]

• Revision Revisited (joint with Horsten L., Leitgeb H. and Welch, P.). Review of Symbolic Logic 5(4) (2012), pp. 642-664. [pdf]

• The Friedman-Sheard programme in intuitionistic logic (with Rathjen M.), Journal of Symbolic Logic 77(3) (2012) pp. 777-806. [pdf]

• An ordinal analysis for theories of self-referential truth (with Rathjen M.). Archive for Mathematical Logic 49(2) (2010) pp. 213-247. [pdf] [ps]

• Five papers on axiomatic theories of truth. Bulletin of Symbolic Logic, 16(3) (2010), pp. 424-428. [pdf] [ps]

• Proof-theoretic investigations into the Friedman-Sheard theories and other theories of truth, PhD thesis, University of Leeds, 2010. [pdf]

Teaching

See here