17 ideas
| 17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
| Full Idea: One feature of the Axiom of Choice that troubled many mathematicians was the so-called Banach-Tarski paradox: using the Axiom, a sphere can be decomposed into finitely many parts and those parts reassembled into two spheres the same size as the original. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) | |
| A reaction: (The key is that the parts are non-measurable). To an outsider it is puzzling that the Axiom has been universally accepted, even though it produces such a result. Someone can explain that, I'm sure. |
| 17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
| Full Idea: If-thenism denies that mathematics is in the business of discovering truths about abstracta. ...[their opponents] obviously don't regard any starting point, even a consistent one, as equally worthy of investigation. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.3) | |
| A reaction: I have some sympathy with if-thenism, in that you can obviously study the implications of any 'if' you like, but deep down I agree with the critics. |
| 17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
| Full Idea: At the end of the nineteenth century there was a renewed emphasis on rigor, the central tool of which was axiomatization, along the lines of Hilbert's axioms for geometry and Dedekind's axioms for real numbers. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) |
| 17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
| Full Idea: The fact that two apparently fruitful mathematical themes turn out to coincide makes it all the more likely that they're tracking a genuine strain of mathematical depth. | |
| From: Penelope Maddy (Defending the Axioms [2011], 5.3ii) |
| 17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
| Full Idea: One form of the Continuum Hypothesis is the claim that every infinite set of reals is either countable or of the same size as the full set of reals. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.4 n40) |
| 17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
| Full Idea: Our set-theoretic methods track the underlying contours of mathematical depth. ...What sets are, most fundamentally, is markers for these contours ...they are maximally effective trackers of certain trains of mathematical fruitfulness. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.4) | |
| A reaction: This seems to make it more like a map of mathematics than the actual essence of mathematics. |
| 17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
| Full Idea: Ordinary perceptual cognition is most likely involved in our grasp of elementary arithmetic, but ...this connection to the physical world has long since been idealized away in the infinitary structures of contemporary pure mathematics. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.3) | |
| A reaction: Despite this, Maddy's quest is for a 'naturalistic' account of mathematics. She ends up defending 'objectivity' (and invoking Tyler Burge), rather than even modest realism. You can't 'idealise away' the counting of objects. I blame Cantor. |
| 16978 | If conceivability is a priori coherence, that implies possibility [Tahko] |
| Full Idea: Maybe conceivability could be understood as a priori coherence, which implies possibility. | |
| From: Tuomas E. Tahko (The Epistemology of Essence (draft) [2013], 3.2) | |
| A reaction: I'm not quite sure why 'a priori' has to be there. Assessing conceivability just is assessing coherence. That couches it as a rational activity, rather than as a purely imaginary one. Trying to conceive a square circle isn't just daydreaming. |
| 6417 | In 1921 Russell abandoned sense-data, and the gap between sensation and object [Russell, by Grayling] |
| Full Idea: In 'The Analysis of Mind' Russell gave up talk of 'sense-data', and ceased to distinguish between the act of sensing and what is sensed. | |
| From: report of Bertrand Russell (The Analysis of Mind [1921]) by A.C. Grayling - Russell Ch.2 | |
| A reaction: This seems to lead towards the modern 'adverbial' account of sensing, where I don't sense 'data', but where qualia (such as redness) are our particular mode of directly perceiving objects, where insects might directly perceive them in a different mode. |
| 6474 | Seeing is not in itself knowledge, but is separate from what is seen, such as a patch of colour [Russell] |
| Full Idea: Undeniably, knowledge comes through seeing, but it is a mistake to regard the mere seeing itself as knowledge; if we are so to regard it, we must distinguish the seeing from what is seen; a patch of colour is one thing, and our seeing it is another. | |
| From: Bertrand Russell (The Analysis of Mind [1921], Lec. VIII) | |
| A reaction: This is Russell's 1921 explanation of why he adopted sense-data (but he rejects them later in this paragraph). This gives a simplistic impression of what he intended, which has three components: the object, the 'sensibile', and the sense-datum. |
| 6476 | We cannot assume that the subject actually exists, so we cannot distinguish sensations from sense-data [Russell] |
| Full Idea: If we are to avoid a perfectly gratuitous assumption, we must dispense with the subject as one of the actual ingredients of the world; but when we do this, the possibility of distinguishing the sensation from the sense-datum vanishes. | |
| From: Bertrand Russell (The Analysis of Mind [1921], Lec. VIII) | |
| A reaction: This is the reason why Russell himself rejected sense-data. It is more normal, I think, to reject them simply as being superfluous. If the subject can simply perceive the sense-data, why can't they just perceive the object more directly? |
| 2792 | It is possible the world came into existence five minutes ago, complete with false memories [Russell] |
| Full Idea: There is no logical impossibility in the hypothesis that the world sprang into being five minutes ago, exactly as it then was, with a population that "remembered" a wholly unreal past. | |
| From: Bertrand Russell (The Analysis of Mind [1921], p.159) | |
| A reaction: One of the great sceptical arguments! At a stroke it undermines forever any dreams that memories are totally certain. This is an extra scepticism, which arises if you decide that current experience IS totally certain. |
| 22326 | Knowledge needs more than a sensitive response; the response must also be appropriate [Russell] |
| Full Idea: Accuracy of response to stimulus does not alone show knowledge, but must be reinforced by appropriateness, i.e. suitability of realising one's purpose. | |
| From: Bertrand Russell (The Analysis of Mind [1921], p.261), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 66 'Rel' | |
| A reaction: The aim of 'realising one's purpose' puts a very pragmatist spin on this. The point is a good one, and seems to apply particularly to Nozick's accurate 'tracking' account of knowledge. |
| 16975 | Essences are used to explain natural kinds, modality, and causal powers [Tahko] |
| Full Idea: Essences are supposed to do a lot of explanatory work: natural kinds can be identified in terms of their essences, metaphysical modality can be reduced to essence, the causal power of objects can be explained with the help of essence. | |
| From: Tuomas E. Tahko (The Epistemology of Essence (draft) [2013], 1) | |
| A reaction: Natural kinds and modality are OK with me, but I'm dubious about the third one. If an essence explains something's causal powers, I have no idea what an essence might be. Essence are largely characterised in terms of causal powers. |
| 6475 | In perception, the self is just a logical fiction demanded by grammar [Russell] |
| Full Idea: In perception, the idea of the subject appears to be a logical fiction, like mathematical points and instants; it is introduced, not because observation reveals it, but because it is linguistically convenient and apparently demanded by grammar. | |
| From: Bertrand Russell (The Analysis of Mind [1921], Lec. VIII) | |
| A reaction: In 1912, Russell had felt that both the Cogito, and the experience of meta-thought, had confirmed the existence of a non-permanent ego, but here he offers a Humean rejection. His notion of a 'logical fiction' is behaviouristic. I believe in the Self. |
| 16976 | Scientific essentialists tend to characterise essence in terms of modality (not vice versa) [Tahko] |
| Full Idea: The conception of essence taken for granted in much of the 'scientific essentialist' literature is that essence can be explained in terms of modality (rather than the other way round). | |
| From: Tuomas E. Tahko (The Epistemology of Essence (draft) [2013], 2.1) | |
| A reaction: [He cites Ellis and Bird] That is, presumably, that they are inclined to say that the essence of gold is a set of necessary properties. Maybe conceptual necessities dictate the properties of gold, and they in turn dictate metaphysical necessities? |
| 16977 | If essence is modal and laws are necessary, essentialist knowledge is found by scientists [Tahko] |
| Full Idea: If essence is conceived in terms of modality and the laws of nature are metaphysically necessary, it seems that the laws of nature constitute essentialist knowledge, so the discovery of essences is mostly due to scientists. | |
| From: Tuomas E. Tahko (The Epistemology of Essence (draft) [2013], 2.1) | |
| A reaction: This seems muddled to me. The idea that the laws themselves are essences is way off target. No one thinks all knowledge of necessities is essentialist. Mumford, for example, doesn't even believe in laws. |