# Benedict Eastaugh

I’m a postgraduate student working on logic and the philosophy of mathematics at the University of Bristol. You can find out more on my about page.

To get in touch, email me at . My Twitter handle is @extralogical if you’re into that sort of thing.

## Research

My doctoral research centres on developing philosophical responses to the programme in foundations of mathematics known as reverse mathematics.

In my Master's dissertation I defended strong reflection principles as new axioms of set theory which are intrinsically justified on the iterative conception of set, and derived limitations on ontological accounts of higher-typed collections.

## Talks

### Shore’s computational reverse mathematics

Philosophy and Computation workshop, Lunds universitet. May 13 2012.

### Alfred Tarski

History of Logic lecture series, University of Bristol. May 24 2012.

## Notes & Queries

- May 22, 2012 Reverse mathematics, constructivism and justification
- March 5, 2012 Learning mathematical philosophy
- March 2, 2012 An introduction to reverse mathematics
- April 11, 2011 Developing arithmetic in Gödel's system T
- April 4, 2011 Firmin, a JavaScript animation library