more from this thinker     |     more from this text


Single Idea 18836

[filed under theme 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I ]

Full Idea

There seem strong grounds for rejecting the thesis that a set consists of its members. For one thing, the empty set is a perpetual embarrassment for the thesis.

Gist of Idea

A set may well not consist of its members; the empty set, for example, is a problem

Source

Ian Rumfitt (The Boundary Stones of Thought [2015], 8.4)

Book Ref

Rumfitt,Ian: 'The Boundary Stones of Thought' [OUP 2015], p.240


A Reaction

Rumfitt also says that if 'red' has an extension, then membership of that set must be vague. Extensional sets are precise because their objects are decided in advance, but intensional (or logical) sets, decided by a predicate, can be vague.


The 9 ideas with the same theme [axiom concerning what makes a set]:

Members define a unique class, whereas defining characteristics are numerous [Russell]
In modal set theory, sets only exist in a possible world if that world contains all of its members [Stalnaker]
Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen]
The Axiom of Extensionality seems to be analytic [Maddy]
Extensional sets are clearer, simpler, unique and expressive [Maddy]
Axiom of Extensionality: for all sets x and y, if x and y have the same elements then x = y [George/Velleman]
Extensionality: Two sets are equal if and only if they have the same elements [Clegg]
A set may well not consist of its members; the empty set, for example, is a problem [Rumfitt]
A set can be determinate, because of its concept, and still have vague membership [Rumfitt]