more on this theme | more from this thinker
Full Idea
According to the iterative conception, every set is formed at some stage. There is a relation among stages, 'earlier than', which is transitive. A set is formed at a stage if and only if its members are all formed before that stage.
Gist of Idea
The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first
Source
George Boolos (Must We Believe in Set Theory? [1997], p.126)
Book Ref
Boolos,George: 'Logic, Logic and Logic' [Harvard 1999], p.126
A Reaction
He gives examples of the early stages, and says the conception is supposed to 'justify' Zermelo set theory. It is also supposed to make the axioms 'natural', rather than just being selected for convenience. And it is consistent.
10482 | The logic of ZF is classical first-order predicate logic with identity [Boolos] |
10483 | Mathematics and science do not require very high orders of infinity [Boolos] |
10484 | The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos] |
10485 | Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
10488 | It is lunacy to think we only see ink-marks, and not word-types [Boolos] |
10487 | I am a fan of abstract objects, and confident of their existence [Boolos] |
10489 | We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos] |
10490 | Mathematics isn't surprising, given that we experience many objects as abstract [Boolos] |
10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
10492 | A few axioms of set theory 'force themselves on us', but most of them don't [Boolos] |