---
title: About
updated: 2012-04-09
---
**Ex·tra·log·i·cal** |ˈekstrəˈläjikəl|
1. (_adjective_) A symbol in a formal language whose meaning is given by its
[interpretation], unlike [logical constants] whose meaning is invariant.
2. (_noun_) The website of **Benedict Eastaugh**, a postgrad working on logic
and philosophy of mathematics at the University of Bristol.
To get in touch, email me at [benedict\@eastaugh.net](mailto:benedict@eastaugh.net).
My Twitter handle is [@extralogical].
My [research interests] include [reverse mathematics] and the philosophy of set
theory, particularly the role of [reflection principles] in justifying large
cardinal axioms. Wrapping my head around these things requires large quantities
of [coffee] and many blank [notebooks].
I used to program for a living, and I like to keep my hand in: my current
[projects] include [Firmin], a JavaScript animation library, and various
experiments with [Haskell].
One of my goals is to read every published [Philip K. Dick] novel.
Extralogical's HTML is generated with [Hakyll] and resides on [Linode].
[interpretation]: http://plato.stanford.edu/entries/model-theory/
[logical constants]: http://plato.stanford.edu/entries/logical-constants/
[projects]: /projects
[Firmin]: /projects/firmin
[Haskell]: http://haskell.org
[coffee]: /misc/coffee.html
[notebooks]: /misc/notebooks.html
[J.G. Ballard]: http://www.ballardian.com
[Philip K. Dick]: /misc/pkd.html
[@extralogical]: http://twitter.com/extralogical
[research interests]: /research
[Hakyll]: http://jaspervdj.be/hakyll
[Linode]: http://www.linode.com/?r=d5b087a6d003b8d252fb3e48f23ecc7d95afcbcd
[reverse mathematics]: /articles/reverse-maths-intro.html
[reflection principles]: http://en.wikipedia.org/wiki/Reflection_principle