Single Idea 10639

[catalogued under 5. Theory of Logic / G. Quantification / 6. Plural Quantification]

Full Idea

Plural quantification seems to offer ontological economy. We can pay the price of a mere first-order theory and then use plural quantification to get for free the corresponding monadic second-order theory, which would be an ontological bargain.

Gist of Idea

Plural quantification may allow a monadic second-order theory with first-order ontology

Source

Øystein Linnebo (Plural Quantification [2008], 4.4)

Book Reference

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.14


A Reaction

[He mentions Hellman's modal structuralism in mathematics]