14 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. |
21570 | Numbers are just verbal conveniences, which can be analysed away [Russell] |
Full Idea: Numbers are nothing but a verbal convenience, and disappear when the propositions that seem to contain them are fully written out. | |
From: Bertrand Russell (Is Mathematics purely Linguistic? [1952], p.301) | |
A reaction: This is the culmination of the process which began with his 1905 theory of definite descriptions. The intervening step was Wittgenstein's purely formal account of the logical connectives. |
15959 | If the substantial form of brass implies its stability, how can it melt and remain brass? [Alexander,P] |
Full Idea: If we account for the stability of a piece of brass by reference to the substantial form of brass, then it is mysterious how it can be melted and yet remain brass. | |
From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 02.3) | |
A reaction: [Alexander is discussing Boyle] |
15956 | The peripatetics treated forms and real qualities as independent of matter, and non-material [Alexander,P] |
Full Idea: The peripatetic philosophers, in spite of their disagreements, all treated forms and real qualities as independent of matter and not to be understood in material terms. | |
From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 54) | |
A reaction: This is the simple reason why hylomorphism became totally discredited, in the face of the 'mechanical philosophy'. But there must be a physical version of hylomorphism, and I don't think Aristotle himself would reject it. |
15975 | Can the qualities of a body be split into two groups, where the smaller explains the larger? [Alexander,P] |
Full Idea: Is there any way of separating the qualities that bodies appear to have into two groups, one as small as possible and the other as large as possible, such that the smaller group can plausibly be used to explain the larger? | |
From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 5.02) | |
A reaction: Alexander implies that this is a question Locke asked himself. This is pretty close to what I take to be the main question for essentialism, though I am cautious about couching it in terms of groups of qualities. I think this was Aristotle's question. |
15963 | Science has been partly motivated by the belief that the universe is run by God's laws [Alexander,P] |
Full Idea: The idea of a designed universe has not been utterly irrelevant to the scientific project; it is one of the beliefs that can give a scientist the faith that there are laws, waiting to be discovered, that govern all phenomena. | |
From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 03.3) | |
A reaction: Of course if you start out looking for the 'laws of God' that is probably what you will discover. Natural selection strikes me as significant, because it shows no sign of being a procedure appropriate to a benevolent god. |
15951 | Alchemists tried to separate out essences, which influenced later chemistry [Alexander,P] |
Full Idea: The alchemists sought the separation of the 'pure essences' of substances from unwanted impurities. This last goal was of great importance for the development of modern chemistry at the hands of Boyle and his successors. | |
From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 01.1) | |
A reaction: In a nutshell this gives us the reason why essences are so important, and also why they became discredited. Time for a clear modern rethink. |
15981 | Absolute space either provides locations, or exists but lacks 'marks' for locations [Alexander,P] |
Full Idea: There are two conceptions of absolute space. In the first, empty space is independent of objects but provides a frame of reference so an object has a location. ..In the second space exists independently, but has no 'marks' into which objects can be put. | |
From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 6) | |
A reaction: He says that Locke seems to reject the first one, but accept the second one. |