15 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. |
| 13804 | A property is essential iff the object would not exist if it lacked that property [Forbes,G] |
| Full Idea: A property P is an essential property of an object x iff x could not exist and lack P, that is, as they say, iff x has P at every world at which x exists. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 1) | |
| A reaction: This immediately places the existence of x outside the normal range of its properties, so presumably 'existence is not a predicate', but that dictum may be doubted. As it stands this definition will include trivial and vacuous properties. |
| 13805 | Properties are trivially essential if they are not grounded in a thing's specific nature [Forbes,G] |
| Full Idea: Essential properties may be trivial or nontrivial. It is characteristic of P's being trivially essential to x that x's possession of P is not grounded in the specific nature of x. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 2) | |
| A reaction: This is where my objection to the modal view of essence arises. How is he going to explain 'grounded' and 'specific nature' without supplying an entirely different account of essence? |
| 13808 | A relation is essential to two items if it holds in every world where they exist [Forbes,G] |
| Full Idea: A relation R is essential to x and y (in that order) iff Rxy holds at every world where x and y both exist. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 2) | |
| A reaction: I find this bizarre. Not only does this seem to me to have nothing whatever to do with essence, but also the relation might hold even though it is a purely contingent matter. All rabbits are a reasonable distance from the local star. Essence of rabbit? |
| 13806 | Trivially essential properties are existence, self-identity, and de dicto necessities [Forbes,G] |
| Full Idea: The main groups of trivially essential properties are (a) existence, self-identity, or their consequences in S5; and (b) properties possessed in virtue of some de dicto necessary truth. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 2) | |
| A reaction: He adds 'extraneously essential' properties, which also strike me as being trivial, involving relations. 'Is such that 2+2=4' or 'is such that something exists' might be necessary, but they don't, I would say, have anything to do with essence. |
| 13807 | A property is 'extraneously essential' if it is had only because of the properties of other objects [Forbes,G] |
| Full Idea: P is 'extraneously essential' to x iff it is possessed by x at any world w only in virtue of the possession at w of certain properties by other objects. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 2) | |
| A reaction: I would say that these are the sorts of properties which have nothing to do with being essential, even if they are deemed to be necessary. |
| 13809 | One might be essentialist about the original bronze from which a statue was made [Forbes,G] |
| Full Idea: In the case of artefacts, there is an essentialism about original matter; for instance, it would be said of any particular bronze statue that it could not have been cast from a totally different quantity of bronze. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 3) | |
| A reaction: Forbes isn't endorsing this, and it doesn't sound convincing. He quotes the thought 'I wish I had made this pot from a different piece of clay'. We might corrupt a statue by switching bronze, but I don't think the sculptor could do so. |
| 13810 | The source of de dicto necessity is not concepts, but the actual properties of the thing [Forbes,G] |
| Full Idea: It is widely held that the source of de dicto necessity is in concepts, ..but I deny this... even with simple de dicto necessities, the source of the necessity is to be found in the properties to which the predicates of the de dicto truth refer. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 3) | |
| A reaction: It is normal nowadays to say this about de re necessities, but this is more unusual. |
| 20921 | How can we state relativism of sweet and sour, if they have no determinate nature? [Theophrastus] |
| Full Idea: How could what is bitter for us be sweet and sour for others, if there is not some determinate nature for them? | |
| From: Theophrastus (On the Senses [c.321 BCE], 70) | |
| A reaction: The remark is aimed at Democritus. This is part of the general question of how you can even talk about relativism, without attaching stable meanings to the concepts employed. |