more from this thinker | more from this text
Full Idea
Each proposed revision of set theory is unnatural, because the natural scheme is the unrestricted one that the antinomies discredit.
Gist of Idea
The set scheme discredited by paradoxes is actually the most natural one
Source
Willard Quine (The Ways of Paradox [1961], p.16)
Book Ref
Quine,Willard: 'Ways of Paradox and other essays' [Harvard 1976], p.16
A Reaction
You can either takes this free-far-all version of set theory, and gradually restrain it for each specific problem, or start from scratch and build up in safe steps. The latter is (I think) the 'iterated' approach.
| 15894 | Russell invented the naïve set theory usually attributed to Cantor [Russell, by Lavine] |
| 21695 | The set scheme discredited by paradoxes is actually the most natural one [Quine] |
| 10485 | Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
| 13441 | Naïve set theory has trouble with comprehension, the claim that every predicate has an extension [Hart,WD] |
| 9933 | The paradoxes are only a problem for Frege; Cantor didn't assume every condition determines a set [Burgess/Rosen] |
| 9613 | Naïve set theory assumed that there is a set for every condition [Brown,JR] |
| 9615 | Nowadays conditions are only defined on existing sets [Brown,JR] |
| 23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
| 23623 | Predicativism says only predicated sets exist [Hossack] |