more on this theme     |     more from this thinker


Single Idea 7785

[filed under theme 4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / a. Sets as existing ]

Full Idea

We should abandon the idea that the use of plural forms commits us to the existence of sets/classes… Entities are not to be multiplied beyond necessity. There are not two sorts of things in the world, individuals and collections.

Gist of Idea

The use of plurals doesn't commit us to sets; there do not exist individuals and collections

Source

George Boolos (To be is to be the value of a variable.. [1984]), quoted by Henry Laycock - Object

Book Ref

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


A Reaction

The problem of quantifying over sets is notoriously difficult. Try http://plato.stanford.edu/entries/object/index.html.


The 11 ideas from 'To be is to be the value of a variable..'

The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos]
Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro]
Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro]
We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro]
Boolos invented plural quantification [Boolos, by Benardete,JA]
Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo]
Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo]
Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos]
Plural forms have no more ontological commitment than to first-order objects [Boolos]
First- and second-order quantifiers are two ways of referring to the same things [Boolos]
Does a bowl of Cheerios contain all its sets and subsets? [Boolos]