The future of post-human formal science : a preface to a new theory of abstraction and application - Baofu, Peter. (Cambridge Scholars Pub., 2010)