Quantification theory and ontological monism

This paper will attempt to integrate (1) some new reflections on the implications for ontology of Monistic interpretations of formulae in quantification theory, with (2) a review of earlier material that I have published on such implications, and with (3) a sketch of several points made by others which bear on related issues. I hope that a review of these moves and issues might indirectly help the reader in dealing with two strange questions. (A) Does the development of modern quantification theory with its ways of systematically formalising relational inferences throwany light on Ontology, on the question of What There Is for scientists and applied mathematicians to study? (B) Are there any analogies between Monist interpretations of quantification theory and the attraction of holding down the number of basic entities in physics by viewing some as mere modes of other more ‘really basic’ ones? More directly I try to throw sympathetic light on more traditional philosophers of science like Leibniz and Spinoza.