17 ideas
| 16123 | Whenever you perceive a community of things, you should also hunt out differences in the group [Plato] |
| Full Idea: The rule is that when one perceives first the community between the members of a group of many things, one should not desist until one sees in it all those differences that are located in classes. | |
| From: Plato (The Statesman [c.356 BCE], 285b) | |
| A reaction: He goes on to recommend the opposite as well - see community even when there appears to be nothing but differences. I take this to be analysis, just as much as modern linguistic approaches are. Analyse the world, not language. |
| 16125 | To reveal a nature, divide down, and strip away what it has in common with other things [Plato] |
| Full Idea: Let's take the kind posited and cut it in two, .then follow the righthand part of what we've cut, and hold onto things that the sophist is associated with until we strip away everything he has in common with other things, then display his peculiar nature. | |
| From: Plato (The Statesman [c.356 BCE], 264e) | |
| A reaction: This seems to be close to Aristotle's account of definition, when he is trying to get at what-it-is-to-be some thing. But if you strip away everything the definiendum has in common with other things, will anything remain? |
| 16124 | No one wants to define 'weaving' just for the sake of weaving [Plato] |
| Full Idea: I don't suppose that anyone with any sense would want to hunt down the definition of 'weaving' for the sake of weaving itself. | |
| From: Plato (The Statesman [c.356 BCE], 285d) | |
| A reaction: The point seems to be that the definition brings out the connections between weaving and other activities and objects, thus enlarging our understanding. |
| 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. |
| 16079 | De re modal predicates are ambiguous [Lewis, by Rudder Baker] |
| Full Idea: Lewis is perhaps the most prominent proponent of the view that de re modal predicates are ambiguous. | |
| From: report of David Lewis (Survival and Identity, with postscript [1983]) by Lynne Rudder Baker - Why Constitution is not Identity n25 |
| 5961 | The soul gets its goodness from god, and its evil from previous existence. [Plato] |
| Full Idea: From its composer the soul possesses all beautiful things, but from its former condition, everything that proves to be harsh and unjust in heaven. | |
| From: Plato (The Statesman [c.356 BCE], 273b) | |
| A reaction: A neat move to explain the origins of evil (or rather, to shift the problem of evil to a long long way from here). This view presumably traces back to the views of Empedocles on good and evil. Can the soul acquire evil in its current existence? |
| 283 | The question of whether or not to persuade comes before the science of persuasion [Plato] |
| Full Idea: The science of whether one must persuade or not must rule over the science capable of persuading. | |
| From: Plato (The Statesman [c.356 BCE], 304c) | |
| A reaction: Plato probably thinks that reason has to be top of the pyramid, but there is always the Nietzschean/romantic question of why we should place such a value on what is rational. |
| 282 | Non-physical beauty can only be shown clearly by speech [Plato] |
| Full Idea: The bodiless things, being the most beautiful and the greatest, are only shown with clarity by speech and nothing else. | |
| From: Plato (The Statesman [c.356 BCE], 286a) | |
| A reaction: Unfortunately this will be true of warped and ugly ideas as well. |
| 281 | The arts produce good and beautiful things by preserving the mean [Plato] |
| Full Idea: It is by preserving the mean that arts produce everything that is good and beautiful. | |
| From: Plato (The Statesman [c.356 BCE], 284b) |
| 22559 | Democracy is the worst of good constitutions, but the best of bad constitutions [Plato, by Aristotle] |
| Full Idea: Plato judged that when the constitution is decent, democracy is the worst of them, but when they are bad it is the best. | |
| From: report of Plato (The Statesman [c.356 BCE], 302e) by Aristotle - Politics 1289b07 | |
| A reaction: Aristotle denies that a good oligarchy is superior. What of technocracy? The challenge is to set up institutions which ensure the health of the democracy. The big modern problem is populists who lie. |
| 279 | Only divine things can always stay the same, and bodies are not like that [Plato] |
| Full Idea: It is fitting for only the most divine things of all to be always the same and in the same state and in the same respects, and the nature of body is not of this ordering. | |
| From: Plato (The Statesman [c.356 BCE], 269b) |