My main main research interest in recent years has been in the foundations of logic and mathematics. I recently published a monograph defending formalism in the philosophy of mathematics- Truth through Proof- a formalist foundation for mathematics, (OUP, 2010). I am currently working on establishing the consistency of naive set theory inside a relatively natural and user-friendly non-classical logic, on the interpretation of Quine, on the metaphysics of properties, as well as continuing to work on formalism.
I have also worked on topics in epistemology, especially with regard to the nature of rationality and in philosophy of mind, for example on externalist, anti-representationalist theories of perception.
RECENT WORK AND PUBLICATIONS
Quine's Naturalism: Forthcoming in Harman, G. and Lepore, E. (eds.) The Blackwell Companion to Quine. Blackwell. (In Press)
Metatheoretic results for a non-transitive logic
Formalism in the philosophy of mathematics. Stanford Encyclopedia of Philosophy . (2011) ISSN 1095-5054
Truth Through Proof: A Formalist Foundation for Mathematics. Oxford University Press, Oxford, UK. ISBN 9780199541492 (2010)
I am currently supervising Gareth Young in a thesis on the paradoxes.
1K: Philosophy of Mind section
Honours lecturing, 2012-13:
- SH12 Realism and Anti-Realism
- SH13 Philosophy of Mathematics
Office Hour: 10am Tuesdays and Thursdays
- Administration: Senior Honours Convenor
- REF 2014: UoA Champion for Philosophy;
- Member, College Assessment Panel.