14 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) |
7658 | Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett] |
Full Idea: If you define qualia as intrinsic properties of experiences considered in isolation from all their causes and effects, logically independent of all dispositional properties, then they are logically guaranteed to elude all broad functional analysis. | |
From: Daniel C. Dennett (Sweet Dreams [2005], Ch.8) | |
A reaction: This is a good point - it seems daft to reify qualia and imagine them dangling in mid-air with all their vibrant qualities - but that is a long way from saying there is nothing more to qualia than functional roles. Functions must be exlained too. |
7655 | The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett] |
Full Idea: All the work done by the imagined homunculus in the Cartesian Theater must be distributed among various lesser agencies in the brain, none of which is conscious. | |
From: Daniel C. Dennett (Sweet Dreams [2005], Ch.3) | |
A reaction: Dennett's account crucially depends on consciousness being much more fragmentary than most philosophers claim it to be. It is actually full of joints, which can come apart. He may be right. |
7657 | Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett] |
Full Idea: As long as your homunculi are more stupid and ignorant than the intelligent agent they compose, the nesting of homunculi within homunculi can be finite, bottoming out, eventually, with agents so unimpressive they can be replaced by machines. | |
From: Daniel C. Dennett (Sweet Dreams [2005], Ch.6) | |
A reaction: [Dennett first proposed this in 'Brainstorms' 1978]. This view was developed well by Lycan. I rate it as one of the most illuminating ideas in the modern philosophy of mind. All complex systems (like aeroplanes) have this structure. |
7656 | I don't deny consciousness; it just isn't what people think it is [Dennett] |
Full Idea: I don't maintain, of course, that human consciousness does not exist; I maintain that it is not what people often think it is. | |
From: Daniel C. Dennett (Sweet Dreams [2005], Ch.3) | |
A reaction: I consider Dennett to be as near as you can get to an eliminativist, but he is not stupid. As far as I can see, the modern philosopher's bogey-man, the true total eliminativist, simply doesn't exist. Eliminativists usually deny propositional attitudes. |
7654 | What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett] |
Full Idea: Neuro-science matters because - and only because - we have discovered that the many different neuromodulators and other chemical messengers that diffuse throughout the brain have functional roles that make important differences. | |
From: Daniel C. Dennett (Sweet Dreams [2005], Ch.1) | |
A reaction: I agree with Dennett that this is the true ground for pessimism about spectacular breakthroughs in artificial intelligence, rather than abstract concerns about irreducible features of the mind like 'qualia' and 'rationality'. |
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. |