more from this thinker | more from this text
Full Idea
Given the theory of part and whole, the member-singleton relation may replace membership generally as the primitive notion of set theory.
Gist of Idea
We can replace the membership relation with the member-singleton relation (plus mereology)
Source
David Lewis (Parts of Classes [1991], Pref)
Book Ref
Lewis,David: 'Parts of Classes' [Blackwell 1991], p.-3
A Reaction
An obvious question is to ask what the member-singleton relation is if it isn't membership.
Related Idea
Idea 15496 We can build set theory on singletons: classes are then fusions of subclasses, membership is the singleton [Lewis]
15505 | If a set is 'a many thought of as one', beginners should protest against singleton sets [Cantor, by Lewis] |
6103 | Normally a class with only one member is a problem, because the class and the member are identical [Russell] |
13203 | The singleton is defined using the pairing axiom (as {x,x}) [Enderton] |
10813 | What on earth is the relationship between a singleton and an element? [Lewis] |
10814 | Are all singletons exact intrinsic duplicates? [Lewis] |
15497 | We can replace the membership relation with the member-singleton relation (plus mereology) [Lewis] |
15506 | If we don't understand the singleton, then we don't understand classes [Lewis] |
15511 | If singleton membership is external, why is an object a member of one rather than another? [Lewis] |
15513 | Maybe singletons have a structure, of a thing and a lasso? [Lewis] |
9551 | What is special about Bill Clinton's unit set, in comparison with all the others? [Chihara] |
8956 | What is a singleton set, if a set is meant to be a collection of objects? [Szabó] |
14243 | The unit set may be needed to express intersections that leave a single member [Oliver/Smiley] |