I am a logician and philosopher of mathematics, based at the University of Warwick and the Munich Center for Mathematical Philosophy.

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 investigate questions about the limits of rational belief and decision-making.

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.

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

Recent updates

  • I’m speaking at the Lisbon Mathematical Logic Seminar on April 19, 2021.
  • My review of John Stillwell’s book Reverse Mathematics: Proofs from the Inside Out has appeared in the February 2020 issue of Philosophia Mathematica (preprint) (DOI).
  • I gave a talk at the OC–IE HPML seminar at Chapman University on March 13, 2020.
  • I spoke at the Structuralist Foundations workshop in Vienna, February 20–21, 2020.