10 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. |
7441 | Experiences are defined by their causal role, and causal roles belong to physical states [Lewis] |
Full Idea: The definitive characteristic of any experience is its causal role, its most typical causes and effects; but we materialists believe that these causal roles which belong by analytic necessity to experiences belong in fact to certain physical states. | |
From: David Lewis (An Argument for the Identity Theory [1966], §I) | |
A reaction: This is the Causal version of functionalism, which Armstrong also developed. The word 'typical' leads later to a teleological element in the theory (e.g. in Lycan). There are other things to say about mental states than just their causal role. |
7442 | 'Pain' contingently names the state that occupies the causal role of pain [Lewis] |
Full Idea: On my theory, 'pain' is a contingent name - that is, a name with different denotations in different possible worlds - since in any world, 'pain' names whatever state happens in that world to occupy the causal role definitive of pain. | |
From: David Lewis (An Argument for the Identity Theory [1966], §II n6) | |
A reaction: Better to say that 'pain' (like 'sound') is ambiguous. It is indiscriminately used by English-speakers to mean [1] the raw quale that we experience when damaged, and [2] whatever it is that leads to pain behaviour. Maybe frogs have 2 but not 1. |
9284 | Reasons are 'internal' if they give a person a motive to act, but 'external' otherwise [Williams,B] |
Full Idea: Someone has 'internal reasons' to act when the person has some motive which will be served or furthered by the action; if this turns out not to be so, the reason is false. Reasons are 'external' when there is no such condition. | |
From: Bernard Williams (Internal and External Reasons [1980], p.101) | |
A reaction: [compressed] An external example given is a family tradition of joining the army, if the person doesn't want to. Williams says (p.111) external reason statements are actually false, and a misapplication of the concept of a 'reason to act'. See Idea 8815. |