4 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 |
6027 | From the fact that some men die, we cannot infer that they all do [Philodemus] |
Full Idea: There is no necessary inference, from the fact that men familiar to us die when pierced through the heart, that all men do. | |
From: Philodemus (On Signs (damaged) [c.50 BCE], 1.3) | |
A reaction: This is scepticism about the logic of induction, long before David Hume. This is said to be a Stoic argument against Epicureans - though on the whole Stoics are not keen on scepticism. |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
Full Idea: Philosophers are the forefathers of heretics. | |
From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2 |
6610 | I believe because it is absurd [Tertullian] |
Full Idea: I believe because it is absurd ('Credo quia absurdum est'). | |
From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2 | |
A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though. |