'When we think, we make categories - that is how we make things thinkable. We sort reality into orders and hierarchies, from the lowest angels to the highest. This is obviously useful, because everyone does it. In the west, we trace the tradition back to Aristotle.' (Introduction)