more from this thinker     |     more from this text


Single Idea 15523

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

Full Idea

Set theory is not innocent. Its trouble is that when we have one thing, then somehow we have another wholly distinct thing, the singleton. And another, and another....ad infinitum. But that's the price for mathematical power. Pay it.

Gist of Idea

Set theory isn't innocent; it generates infinities from a single thing; but mathematics needs it

Source

David Lewis (Parts of Classes [1991], 3.6)

Book Ref

Lewis,David: 'Parts of Classes' [Blackwell 1991], p.87


The 8 ideas with the same theme [commitment to sets as really existint entities]:

Classes are a host of ethereal, platonic, pseudo entities [Goodman]
The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos]
If singletons are where their members are, then so are all sets [Lewis]
A huge part of Reality is only accepted as existing if you have accepted set theory [Lewis]
Set theory isn't innocent; it generates infinities from a single thing; but mathematics needs it [Lewis]
Are sets part of logic, or part of mathematics? [Shapiro]
The set theorist cannot tell us what 'membership' is [Chihara]
ZFC can prove that there is no set corresponding to the concept 'set' [George/Velleman]