I am a postdoctoral fellow at the Munich Center for Mathematical Philosophy. Previously I was a postdoctoral researcher on the Set Theoretic Pluralism project, first at the University of Aberdeen, and then at the University of Bristol, working with Toby Meadows and Philip Welch. I received my PhD from the University of Bristol in 2015.

My research is in logic and the philosophy of mathematics. My current primary research project is an inquiry into the foundations of mathematical philosophy, using reverse mathematics to determine the strength of the axioms used in different areas, positions, and arguments in philosophy.

If you'd like to get in touch, please email me at benedict@eastaugh.net.

## The latest

- I gave a talk in the Logic Colloquium 2018 special session on philosophy of logic and mathematics, on a result that connects theorems of hyperarithmetical analysis studied in reverse mathematics, and formal theories of truth.
- My paper “Computational reverse mathematics and foundational analysis” is available as a preprint.
- My paper “Set existence and closure conditions: unravelling the standard view of reverse mathematics” is out in Philosophia Mathematica (preprint) (DOI).
- I have taken up a position as a postdoctoral fellow at the Munich Center for Mathematical Philosophy, where I will be researching philosophical applications of reverse mathematics.
- In collaboration with Shawn A. Miller I have created a wiki of PhD programmes with strengths in the philosophy of mathematics; you can visit it at philmath.net.