Graham E. Leigh

University of Oxford
Faculty of Philosophy
Radcliffe Observatory Quarter
Woodstock Road
Oxford OX2 6GG

Tel: +44(0)1865 615347
E-mail: graham.leigh [at]

I am a research fellow on the AHRC project Inexpressibility and Reflection in the formal sciences. My research interests concern the interfaces between the three facets of logic: mathematical logic, philosophical logic, and theoretical computer science, in especial, theories of truth, proof theory, non-classical logics, predicativism and fixed point logics. Since September 2011 I am a research fellow at Wolfson College, Oxford.

For the Princeton workshop on Language, Truth and Logic in March 2013, see here.

Recent publications and preprints


See here