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 [benedict\\@eastaugh.net]. 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.
[about page]: /about
[benedict\\@eastaugh.net]: mailto:benedict@eastaugh.net
[GitHub]: https://github.com/beastaugh
[@extralogical]: http://twitter.com/extralogical
[doctoral research]: /research
[reverse mathematics]: /articles/reverse-maths-intro.html
[reflection principles]: http://en.wikipedia.org/wiki/Reflection_principle
[Shore's computational reverse mathematics]: /files/comprm-slides.pdf
[Philosophy and Computation]:
http://www.fil.lu.se/conferences/conference.asp?id=51
[History of Logic]:
http://www.bris.ac.uk/philosophy/department/events/historyoflogic