Combining Texts

All the ideas for 'fragments/reports', 'Existence,Ontological Commitment and Fictions' and 'Paradoxes of the Infinite'

unexpand these ideas     |    start again     |     specify just one area for these texts


5 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
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.
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
What in the real world could ground the distinction between the sets {A,{A,B}} and {B,{A,B}}? [Inwagen]
     Full Idea: Nothing in the world of nominalistically acceptable things could ground or explain the non-identity of the set {A,{A,B}} with the set {B,{A,B}}.
     From: Peter van Inwagen (Existence,Ontological Commitment and Fictions [2003], p.154)
     A reaction: [He cites Goodman for this thought] Van Inwagen is offering this to show that the existence of sets is abstract, whereas Goodman was denying the existence of sets altogether. I'm with Goodman. Nice example.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
A truly infinite quantity does not need to be a variable [Bolzano]
     Full Idea: A truly infinite quantity (for example, the length of a straight line, unbounded in either direction) does not by any means need to be a variable.
     From: Bernard Bolzano (Paradoxes of the Infinite [1846]), quoted by Brian Clegg - Infinity: Quest to Think the Unthinkable §10
     A reaction: This is an important idea, followed up by Cantor, which relegated to the sidelines the view of infinity as simply something that could increase without limit. Personally I like the old view, but there is something mathematically stable about infinity.
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
     Full Idea: Archelaus was the first person to say that the universe is boundless.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]
     Full Idea: Archelaus wrote that life on Earth began in a primeval slime.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus
     A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea.