10 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) |
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) |
21432 | Culture is the struggle to agree what is normal [Gibson,A] |
Full Idea: Culture is the struggle to agree what is normal. | |
From: Andrew Gibson (talk [2018]) | |
A reaction: A nice aphorism. Typically the struggle took place in villages, but has now gone global. The normalities of other cultures are beamed into a remote society, and are frequently unwelcome. |
22974 | Presentists lack the materials for a realist view of change [Price,H] |
Full Idea: The presentist view seems to have lost the materials for a realist view of passage, change or temporal transition. | |
From: Huw Price (The Flow of Time [2011], 2) | |
A reaction: It is a nice point. How can a presentist talk of change if the only component that exists is the present time slice? Price says change can only be a kind of fiction for the presentist. Change in existence and in properties are distinct concepts. |
22973 | The present moment, time's direction, and time's dynamic quality seem to be objective facts [Price,H] |
Full Idea: The flow of time seems to be an objective feature of reality because of 1) the present moment can be objectively distinguished, 2) time has an objective direction, of earlier and later, and 3) there is something objectively dynamic about time. | |
From: Huw Price (The Flow of Time [2011], 1.1) | |
A reaction: Price sets out to undermine all three of these claims, in implicit defence of a psychological view. I disagree with him. |
22975 | We must explain either the existence of a time direction, or our psychological sense of it [Price,H] |
Full Idea: If the world comes equipped with a time orientation, where does it come from? If it doesn't, what explains our psychological feeling of a direction for time? | |
From: Huw Price (The Flow of Time [2011], 3.5) | |
A reaction: The chances of 'explaining' either one look slim to me. That is, the fact would explain our experience, but the experience without the fact looks ridiculous, and I cannot conceive of any time-free entity which could explain the fact. |