I am a postdoctoral researcher at the University of Bristol, where I work as a member of the Set Theoretic Pluralism project. I was previously a postdoctoral researcher at the University of Aberdeen, and before that I was a graduate student at the University of Bristol, where I received my PhD in 2015.
My research is in logic and the philosophy of mathematics. Topics I'm currently working on include reverse mathematics, mathematical knowledge, the foundations of real analysis, infinitary logic, and the relationship between multiverse views in set theory and the reception of non-Euclidean geometry.
If you'd like to get in touch, please email me at benedict@eastaugh.net (PGP key).
- I will be giving a talk at the fourth Symposium on the Foundations of Mathematics, 9–11 October 2017, at the Munich Center for Mathematical Philosophy. There is a call for papers, so do send something in!
- I will be giving a talk at ECAP 9 (21–26 August 2017). My talk is on Saturday 26 August, at 12pm in room A016.
- My book chapter on 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.
- My review of Denis Hirschfeldt's book Slicing the Truth has now appeared in Studia Logica 105(4), August 2017 (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.
- I gave a talk at the Fourth New College Logic Meeting, 11–12 March 2017.
- I gave a talk at the Foundational Studies Bristol research seminar, 2 February 2017.
- I gave a talk at the Munich Center for Mathematical Philosophy on 19 January 2017.
- The Set Theoretic Pluralism project has now moved to the University of Bristol, where I have taken up a position as a postdoctoral researcher in the School of Mathematics, working with Philip Welch.
- 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.