more from this thinker     |     more from this text


Single Idea 9549

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

Full Idea

The set theorist cannot tell us anything about the true relationship of membership.

Gist of Idea

The set theorist cannot tell us what 'membership' is

Source

Charles Chihara (A Structural Account of Mathematics [2004], 01.5)

Book Ref

Chihara,Charles: 'A Structural Account of Mathematics' [OUP 2004], p.24


A Reaction

If three unrelated objects suddenly became members of a set, it is hard to see how the world would have changed, except in the minds of those thinking about it.


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]