display all the ideas for this combination of texts
3 ideas
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |
| 21563 | The 'no classes' theory says the propositions just refer to the members [Russell] |
| Full Idea: The contention of the 'no classes' theory is that all significant propositions concerning classes can be regarded as propositions about all or some of their members. | |
| From: Bertrand Russell (On 'Insolubilia' and their solution [1906], p.200) | |
| A reaction: Apparently this theory has not found favour with later generations of theorists. I see it in terms of Russell trying to get ontology down to the minimum, in the spirit of Goodman and Quine. |