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. I’m now developing applications of reverse mathematics within other areas of philosophy, as a new tool to demonstrate the degree of mathematical commitment associated with 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, 2017 (preprint).
Review of Denis R. Hirschfeldt, Slicing the Truth: On the Computability Theoretic and Reverse Mathematical Analysis of Combinatorial Principles, to appear in Studia Logica 105(4), 2017 (preprint) (final).