display all the ideas for this combination of texts
2 ideas
| 9987 | An aggregate in which order does not matter I call a 'set' [Bolzano] |
| Full Idea: An aggregate whose basic conception renders the arrangement of its members a matter of indifference, and whose permutation therefore produces no essential difference, I call a 'set'. | |
| From: Bernard Bolzano (Paradoxes of the Infinite [1846], §4), quoted by William W. Tait - Frege versus Cantor and Dedekind IX | |
| A reaction: The idea of 'sets' was emerging before Cantor formalised it, and clarified it by thinking about infinite sets. Nowadays we also have 'ordered' sets, which rather contradicts Bolzano, and we also expect the cardinality to be determinate. |
| 13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |
| Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity. | |
| From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12 | |
| A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit. |