My PhD examined the programme of reverse mathematics from a philosophical point of view, with a particular eye towards its relevance for our understanding and evaluation of different foundations for mathematics. As well as continuing to develop this project, I’m now starting to study applications of reverse mathematics within philosophy, as a new tool for philosophers interested in the unexamined mathematical commitments of different philosophical views.
If you’re interested in any of the manuscripts listed below, do .
Set existence and closure conditions: unravelling the standard view of reverse mathematics. Submitted.
Computational reverse mathematics and foundational analysis. Submitted.
Tarski. In A. Malpass and M. Antonutti Marfori (eds.), The History of Philosophical and Formal Logic: From Aristotle to Tarski, Bloomsbury Academic, 2017 (preprint).
Review of Denis R. Hirschfeldt, Slicing the Truth: On the Computability Theoretic and Reverse Mathematical Analysis of Combinatorial Principles, forthcoming in Studia Logica (preprint).