display all the ideas for this combination of texts
4 ideas
13155 | If you add one to one, which one becomes two, or do they both become two? [Plato] |
Full Idea: I cannot convince myself that when you add one to one either the first or the second one becomes two, or they both become two by the addition of the one to the other, ...or that when you divide one, the cause of becoming two is now the division. | |
From: Plato (Phaedo [c.382 BCE], 097d) | |
A reaction: Lovely questions, all leading to the conclusion that two consists of partaking in duality, to which you can come by several different routes. |
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. |