more from this thinker | more from this text
Full Idea
Most writers agree that if any sense can be made of the distinction between analytic and synthetic, then the Axiom of Extensionality should be counted as analytic.
Gist of Idea
The Axiom of Extensionality seems to be analytic
Source
Penelope Maddy (Believing the Axioms I [1988], §1.1)
Book Ref
-: 'Journal of Symbolic Logic' [-], p.484
A Reaction
[Boolos is the source of the idea] In other words Extensionality is not worth discussing, because it simply tells you what the world 'set' means, and there is no room for discussion about that. The set/class called 'humans' varies in size.
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] |