Combining Texts

All the ideas for 'fragments/reports', 'Set Theory and related topics (2nd ed)' and 'The Thesis that Mathematics is Logic'

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


4 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / e. Equivalence classes
Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz]
     Full Idea: A relation R on a non-empty set S is an equivalence relation if it is reflexive (for each member a, aRa), symmetric (if aRb, then bRa), and transitive (aRb and bRc, so aRc). It tries to classify objects that are in some way 'alike'.
     From: Seymour Lipschutz (Set Theory and related topics (2nd ed) [1998], 3.9)
     A reaction: So this is an attempt to formalise the common sense notion of seeing that two things have something in common. Presumably a 'way' of being alike is going to be a property or a part
5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
Putnam coined the term 'if-thenism' [Putnam, by Musgrave]
     Full Idea: Putnam coined the term 'if-thenism'.
     From: report of Hilary Putnam (The Thesis that Mathematics is Logic [1967]) by Alan Musgrave - Logicism Revisited §5 n
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.