A LaTeX package for typesetting formulae in Gottlob Frege’s Begriffschrift notation.
For those who don’t know, Begriffscrift is a tree-like notation for first-order and second-order quantificational logic invented by one of the creators of those logics, Gottlob Frege.
This was written to assist the preparation of a modern translation of some of Frege’s logical works.
Find it at the Comprehensive TeX Archive:
http://www.ctan.org/tex-archive/macros/latex/contrib/begriff
Until September 2016 I am a Tutorial Fellow in Philosophy at Corpus Christi College and an Associate Professor in the Oxford Philosophy Faculty. From then on, I'll be a Senior Adviser at the New Zealand Ministry of Transport.
My intellectual interests are mainly in metaphysics, philosophy of language, and ethics, and of course transport policy.
