more from this thinker | more from this text
Full Idea
Someone who is sympathetic to the thesis that the totality of sets is not well-defined ought to concede that we have no reason to think that the Power Set Axiom is true.
Gist of Idea
If the totality of sets is not well-defined, there must be doubt about the Power Set Axiom
Source
Ian Rumfitt (The Boundary Stones of Thought [2015], 9.6)
Book Ref
Rumfitt,Ian: 'The Boundary Stones of Thought' [OUP 2015], p.292
A Reaction
The point is that it is only this Axiom which generates the vast and expanding totality. In principle it is hard, though, to see what is intrinsically wrong with the operation of taking the power set of a set. Hence 'limitation of size'?
13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
13023 | The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy] |
10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
15936 | The Power Set is just the collection of functions from one collection to another [Lavine] |
18845 | If the totality of sets is not well-defined, there must be doubt about the Power Set Axiom [Rumfitt] |