more from this thinker | more from this text
Full Idea
One principle of modal set theory should be uncontroversial: a set exists in a given possible world if and only if all of its members exist at that world.
Gist of Idea
In modal set theory, sets only exist in a possible world if that world contains all of its members
Source
Robert C. Stalnaker (Mere Possibilities [2012], 2.4)
Book Ref
Stalnaker,Robert C.: 'Mere Possibilities' [Princeton 2012], p.38
A Reaction
Does this mean there can be no set containing all of my ancestors and future descendants? In no world can we coexist.
14428 | Members define a unique class, whereas defining characteristics are numerous [Russell] |
16449 | In modal set theory, sets only exist in a possible world if that world contains all of its members [Stalnaker] |
13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
13013 | The Axiom of Extensionality seems to be analytic [Maddy] |
13014 | Extensional sets are clearer, simpler, unique and expressive [Maddy] |
10097 | Axiom of Extensionality: for all sets x and y, if x and y have the same elements then x = y [George/Velleman] |
10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
18836 | A set may well not consist of its members; the empty set, for example, is a problem [Rumfitt] |
18837 | A set can be determinate, because of its concept, and still have vague membership [Rumfitt] |