Benedict Eastaugh

Research

My research is in logic and the philosophy of mathematics, where my 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

2025–26

• PH340 Logic 3: Incompleteness and Undecidability (Term 2)
• PH342 Philosophy of Mathematics (Term 2)

2024–25

• PH340 Logic 3: Incompleteness and Undecidability (Term 2)
• PH342 Philosophy of Mathematics (Term 2)

2023–24

• PH210 Logic 2: Metatheory (Term 1)
• PH342 Philosophy of Mathematics (Term 2)

2022–23

• PH210 Logic 2: Metatheory (Term 1)
• PH342 Philosophy of Mathematics (Term 2)

2021–22

• PH210 Logic 2: Metatheory (Term 1)
• PH340 Logic 3: Incompleteness and Undecidability (Term 2)

2020–21

• PH342 Philosophy of Mathematics (Term 2)

Email

Benedict.Eastaugh@warwick.ac.uk

Office

S2.58 (Social Sciences, 2nd floor)

Advice & feedback hours 2025–26

Term 1: by appointment only, please email.

Term 2: drop-in sessions Tuesday 15:00—16:00 in my office (except week 6).

Term 3: by appointment only, please email.