Combining Texts

Ideas for 'works', 'To be is to be the value of a variable..' and 'On the Algebra of Logic'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
First- and second-order quantifiers are two ways of referring to the same things [Boolos]
     Full Idea: Ontological commitment is carried by first-order quantifiers; a second-order quantifier needn't be taken to be a first-order quantifier in disguise, having special items, collections, as its range. They are two ways of referring to the same things.
     From: George Boolos (To be is to be the value of a variable.. [1984], p.72)
     A reaction: If second-order quantifiers are just a way of referring, then we can see first-order quantifiers that way too, so we could deny 'objects'.