Combining Texts

All the ideas for 'Sweet Dreams', 'An Axiomatization of Set Theory' and 'On the Nature of Mathematical Reasoning'

unexpand these ideas     |    start again     |     specify just one area for these texts


8 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann]
     Full Idea: Von Neumann's Limitation of Size axiom is not self-evident, and he himself admitted that it seemed too strong.
     From: comment on John von Neumann (An Axiomatization of Set Theory [1925]) by Shaughan Lavine - Understanding the Infinite VII.1
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
Poincaré rejected the actual infinite, claiming definitions gave apparent infinity to finite objects [Poincaré, by Lavine]
     Full Idea: Poincaré rejected the actual infinite. He viewed mathematics that is apparently concerned with the actual infinite as actually concerning the finite linguistic definitions the putatively describe actually infinite objects.
     From: report of Henri Poincaré (On the Nature of Mathematical Reasoning [1894]) by Shaughan Lavine - Understanding the Infinite
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
All the axioms for mathematics presuppose set theory [Neumann]
     Full Idea: There is no axiom system for mathematics, geometry, and so forth that does not presuppose set theory.
     From: John von Neumann (An Axiomatization of Set Theory [1925]), quoted by Stewart Shapiro - Foundations without Foundationalism 8.2
     A reaction: Von Neumann was doubting whether set theory could have axioms, and hence the whole project is doomed, and we face relativism about such things. His ally was Skolem in this.
15. Nature of Minds / B. Features of Minds / 5. Qualia / c. Explaining qualia
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.
16. Persons / E. Rejecting the Self / 4. Denial of the Self
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.
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
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.
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
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.
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / a. Artificial Intelligence
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'.