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) |
7548 | Classes, grouped by a convenient property, are logical constructions [Russell] |
Full Idea: Classes or series of particulars, collected together on account of some property which makes it convenient to be able to speak of them as wholes, are what I call logical constructions or symbolic fictions. | |
From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.125) | |
A reaction: When does a construction become 'logical' instead of arbitrary? What is it about a property that makes it 'convenient'? At this point Russell seems to have built his ontology on classes, and the edifice was crumbling, thanks to Wittgenstein. |