  Philosophy, including Logic, is not primarily about language, but about the real world. … Formalism, i.e. the theory that Logic is just about symbols and not things, is false. Nevertheless, it is important to ‘formalise’ as much as we can, i.e. to state truths about things in a rigorous language with a known and explicit structure. (1996a: 45)