I am a logician and philosopher of mathematics, based at the Munich Center for Mathematical Philosophy. I was previously attached to a project on set-theoretic pluralism at the University of Aberdeen and the University of Bristol, working with Toby Meadows and Philip Welch.

My research is in logic and the philosophy
of mathematics. My current project uses tools and results from
*reverse mathematics*, a subfield of mathematical logic, to
determine the strength of the axioms that are necessary for arguments in
different areas of philosophy, such as epistemology, philosophy of
language, and metaphysics. I'm also working on some results relating
axiomatic theories of truth to hyperarithmetical analysis, and the role
of reverse mathematics in foundations of mathematics.

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

## The latest

- I spoke at MWPMW 19 at the University of Notre Dame, on the role of coding in reverse mathematics.
- I gave a talk at 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).