Fakultät für Philosophie, Wissenschaftstheorie
Munich Center for Mathematical Philosophy (MCMP)
- CV, Eastaugh Benedict (July 2021) (113 KByte)
Benedict Eastaugh received an MA in Logic and Philosophy of Mathematics (2011) and a PhD in Philosophy (2015) from the University of Bristol. His PhD thesis assessed the philosophical ramifications of results in reverse mathematics. Before coming to the MCMP, Benedict was a postdoctoral researcher on the Leverhulme Trust-funded project Set Theoretic Pluralism (principal investigators: Toby Meadows and Philip Welch) at the University of Aberdeen and the University of Bristol.
Benedict’s research interests lie primarily in logic and philosophy of mathematics, including foundations of mathematics and the role of mathematics in science and philosophy. He is currently applying tools and results from reverse mathematics to problems in epistemology and philosophical logic, including axiomatic theories of truth and the foundations of mathematical philosophy.
- Review of John Stillwell, Reverse Mathematics: Proofs from the Inside Out. Philosophia Mathematica 28(1):108–116, 2020 (preprint) (DOI).
- Set existence and closure conditions: unravelling the standard view of reverse mathematics. Philosophia Mathematica 27(2):153–176, 2019 (preprint) (DOI).
- Tarski. In A. Malpass and M. Antonutti Marfori (eds.), The History of Philosophical and Formal Logic: From Aristotle to Tarski (pp. 293–313). London: Bloomsbury Academic, 2017 (preprint).