Benedict Eastaugh
Research
My research is primarily in logic and the philosophy of mathematics, where my research interests revolve around using computability theory and reverse mathematics to study foundational questions concerning mathematical knowledge and ontology. My current project extends the use of these tools to investigate the limits of rational belief and decision-making, in contexts like formal epistemology and social choice theory.
More information about my research can be found on my personal website.
Teaching
2022–23
- PH201 Logic II: Metatheory (Term 1)
- PH342 Philosophy of Mathematics (Term 2)
2021–22
- PH210 Logic II: Metatheory (Term 1)
- PH340 Logic III: Incompleteness and Undecidability (Term 2)
2020–21
- PH342 Philosophy of Mathematics (Term 2)
Mathematics and Philosophy Convenor
Advice & Feedback Hours
Tuesday 15:00–17:00 during term time, or by appointment. Meetings can be in person or on Teams.
Benedict.Eastaugh@warwick.ac.uk