structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets

[sets as defined by absolutely any concept]

9 ideas
Russell invented the naïve set theory usually attributed to Cantor [Russell, by Lavine]
The set scheme discredited by paradoxes is actually the most natural one [Quine]
Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos]
Naïve set theory has trouble with comprehension, the claim that every predicate has an extension [Hart,WD]
The paradoxes are only a problem for Frege; Cantor didn't assume every condition determines a set [Burgess/Rosen]
Nowadays conditions are only defined on existing sets [Brown,JR]
Naïve set theory assumed that there is a set for every condition [Brown,JR]
Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo]
Predicativism says only predicated sets exist [Hossack]