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.
- My paper “Set existence and closure conditions: unravelling the standard view of reverse mathematics” is now out in Philosophia Mathematica (preprint) (DOI).
- I will be at the Logic Colloquium in Udine this year, where I will talk about the connection between Dedekind's Continuity and Irrational Numbers and reverse mathematics.
- I gave a talk at the Philosophy of Mathematics Seminar at the University of Oxford on Monday 14 May 2018, on the mathematical gap between classical and nonclassical theories of truth.
- 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.
- My book chapter on the work of Alfred Tarski is now published in The History of Philosophical and Formal Logic: From Aristotle to Tarski (M. Antonutti Marfori and A. Malpass, eds.), Bloomsbury, 2017 (preprint).
- My review of Denis Hirschfeldt's book Slicing the Truth has now appeared in Studia Logica 105(4), August 2017 (preprint) (DOI).
- The second Set Theoretic Pluralism Symposium took place in Bristol, 20–25 June 2017. Thanks to all the speakers and attendees for making it a great event.
- 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.