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.
|
6019
|
If someone squashed a horse to make a dog, something new would now exist [Mnesarchus]
|
|
Full Idea:
If, for the sake of argument, someone were to mould a horse, squash it, then make a dog, it would be reasonable for us on seeing this to say that this previously did not exist but now does exist.
|
|
From:
Mnesarchus (fragments/reports [c.120 BCE]), quoted by John Stobaeus - Anthology 179.11
|
|
A reaction:
Locke would say it is new, because the substance is the same, but a new life now exists. A sword could cease to exist and become a new ploughshare, I would think. Apply this to the Ship of Theseus. Is form more important than substance?
|