This work applies the technical results published in "Prolegomena to Formal Logic" (Gower 1989) and "Intensional Logic" (Ashgate 1994) to resolve matters of interest in philosophy, logic and linguistics - notably attacking the realisms found in cognitive science and the philosophy of mathematics.
