5 ideas
| 8920 | 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 |
| 13082 | The complete concept of an individual includes contingent properties, as well as necessary ones [Leibniz] |
| Full Idea: In this complete concept of possible Peter are contained not only essential or necessary things, ..but also existential things, or contingent items included there, because the nature of an individual substance is to have a perfect or complete concept. | |
| From: Gottfried Leibniz (Of liberty, Fate and God's grace [1690], Grua 311), quoted by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 3.3.1 | |
| A reaction: Compare Idea 13077, where he seems to say that the complete concept is only necessarily linked to properties which will predict future events - though I suppose that would have to include all of the contingent properties mentioned here. |
| 21386 | We should accept as explanations all the plausible ways in which something could come about [Epicurus] |
| Full Idea: The phases of the Moon could happen in all the ways [at least four] which the phenomena in our experience suggest for the explanation of this kind of thing - as long as one is not so enamoured of unique explanations as to groundlessly reject the others. | |
| From: Epicurus (Letter to Pythocles [c.292 BCE], 94) | |
| A reaction: Very interesting, for IBE. While you want to embrace the 'best', it is irrational to reject all of the other candidates, simply because you want a single explanation, if there are no good grounds for the rejection. |
| 14051 | A cosmos is a collection of stars and an earth, with some sort of boundary, movement and shape [Epicurus] |
| Full Idea: A cosmos is a circumscribed portion of the heavens containing stars and an earth; it is separated from the unlimited, with a boundary which is rare or dense; it is revolving or stationary; it is round or triangular, or some shape. All these are possible. | |
| From: Epicurus (Letter to Pythocles [c.292 BCE], 88) | |
| A reaction: Notice that there seem to exist the 'heavens' which extend beyond the cosmos. See Idea 14036, saying that there are many other cosmoi in the heavens. |
| 1828 | God does not intervene in heavenly movements, but is beyond all action and perfectly happy [Epicurus] |
| Full Idea: Let us beware of making the Deity interpose in heavenly movements, for that being we ought to suppose exempt from all occupation and perfectly happy. | |
| From: Epicurus (Letter to Pythocles [c.292 BCE]), quoted by Diogenes Laertius - Lives of Eminent Philosophers 10.25 |