more from this thinker     |     more from this text


Single Idea 6103

[filed under theme 4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets ]

Full Idea

With the ordinary view of classes you would say that a class that has only one member was the same as that one member; that will land you in terrible difficulties, because in that case that one member is a member of that class, namely, itself.

Clarification

(the problem is classes that turn out to be members of themselves)

Gist of Idea

Normally a class with only one member is a problem, because the class and the member are identical

Source

Bertrand Russell (The Philosophy of Logical Atomism [1918], §VII)

Book Ref

Russell,Bertrand: 'Russell's Logical Atomism', ed/tr. Pears,David [Fontana 1972], p.126


A Reaction

The problem (I think) is that classes (sets) were defined by Frege as being identical with their members (their extension). With hindsight this may have been a mistake. The question is always 'why is that particular a member of that set?'


The 12 ideas with the same theme [status of a set having a single member]:

If a set is 'a many thought of as one', beginners should protest against singleton sets [Cantor, by Lewis]
Normally a class with only one member is a problem, because the class and the member are identical [Russell]
The singleton is defined using the pairing axiom (as {x,x}) [Enderton]
What on earth is the relationship between a singleton and an element? [Lewis]
Are all singletons exact intrinsic duplicates? [Lewis]
We can replace the membership relation with the member-singleton relation (plus mereology) [Lewis]
If we don't understand the singleton, then we don't understand classes [Lewis]
If singleton membership is external, why is an object a member of one rather than another? [Lewis]
Maybe singletons have a structure, of a thing and a lasso? [Lewis]
What is special about Bill Clinton's unit set, in comparison with all the others? [Chihara]
What is a singleton set, if a set is meant to be a collection of objects? [Szabó]
The unit set may be needed to express intersections that leave a single member [Oliver/Smiley]