13 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) |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |
13412 | Obtaining numbers by abstraction is impossible - there are too many; only a rule could give them, in order [Benacerraf] |
Full Idea: Not all numbers could possibly have been learned ŕ la Frege-Russell, because we could not have performed that many distinct acts of abstraction. Somewhere along the line a rule had to come in to enable us to obtain more numbers, in the natural order. | |
From: Paul Benacerraf (Logicism, Some Considerations (PhD) [1960], p.165) | |
A reaction: Follows on from Idea 13411. I'm not sure how Russell would deal with this, though I am sure his account cannot be swept aside this easily. Nevertheless this seems powerful and convincing, approaching the problem through the epistemology. |
13413 | We must explain how we know so many numbers, and recognise ones we haven't met before [Benacerraf] |
Full Idea: Both ordinalists and cardinalists, to account for our number words, have to account for the fact that we know so many of them, and that we can 'recognize' numbers which we've neither seen nor heard. | |
From: Paul Benacerraf (Logicism, Some Considerations (PhD) [1960], p.166) | |
A reaction: This seems an important contraint on any attempt to explain numbers. Benacerraf is an incipient structuralist, and here presses the importance of rules in our grasp of number. Faced with 42,578,645, we perform an act of deconstruction to grasp it. |
13411 | If numbers are basically the cardinals (Frege-Russell view) you could know some numbers in isolation [Benacerraf] |
Full Idea: If we accept the Frege-Russell analysis of number (the natural numbers are the cardinals) as basic and correct, one thing which seems to follow is that one could know, say, three, seventeen, and eight, but no other numbers. | |
From: Paul Benacerraf (Logicism, Some Considerations (PhD) [1960], p.164) | |
A reaction: It seems possible that someone might only know those numbers, as the patterns of members of three neighbouring families (the only place where they apply number). That said, this is good support for the priority of ordinals. See Idea 13412. |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable). | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) | |
A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
A reaction: Each expansion brings a limitation, but then you can expand again. |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
13415 | An adequate account of a number must relate it to its series [Benacerraf] |
Full Idea: No account of an individual number is adequate unless it relates that number to the series of which it is a member. | |
From: Paul Benacerraf (Logicism, Some Considerations (PhD) [1960], p.169) | |
A reaction: Thus it is not totally implausible to say that 2 is several different numbers or concepts, depending on whether you see it as a natural number, an integer, a rational, or a real. This idea is the beginning of modern structuralism. |
16608 | Ockham was an anti-realist about the categories [William of Ockham, by Pasnau] |
Full Idea: Ockham is the scholastic paradigm of anti-realism with respect to the categories. | |
From: report of William of Ockham (Summula philosophiae naturalis [1320]) by Robert Pasnau - Metaphysical Themes 1274-1671 05.3 | |
A reaction: These are the ten categories mentioned in Aristotle's book 'Categories'. |
16599 | Ockham says matter must be extended, so we don't need Quantity [William of Ockham, by Pasnau] |
Full Idea: Ockham regards Quantity as an entirely superfluous ontological category, …because matter is intrinsically extended. | |
From: report of William of Ockham (Summula philosophiae naturalis [1320]) by Robert Pasnau - Metaphysical Themes 1274-1671 04.4 |
16681 | Matter gets its quantity from condensation and rarefaction, which is just local motion [William of Ockham] |
Full Idea: Matter is made to have a greater or lesser quantity not through its receiving any absolute accident, but through condensation and rarefaction alone. Parts come more or less close together, which can happen with local motion. | |
From: William of Ockham (Summula philosophiae naturalis [1320], I.13), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 15.1 | |
A reaction: This is Ockham at his most modern, rejecting the odd idea of Quantity in favour of a modern corpuscular view of the mere motions of matter. |