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
|
16061
|
If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow]
|
|
Full Idea:
Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'.
|
|
From:
Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C)
|
|
A reaction:
This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic.
|
16689
|
The schools said spirits lack extension, and wonder how many could dance on a needle's point [More,H]
|
|
Full Idea:
Many, not without reason, laugh at those ridiculous fancies of the schools, that rashly take away all extensions from spirits, whether souls or angels, and then dispute how many of them booted and spurred may dance on a needle's point at once.
|
|
From:
Henry More (Immortality of the Soul [1659], III.2.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 17.3
|
|
A reaction:
This famous idea originated with William Chillingworth. More's version is the classic one. Pasnau cites Aquinas Summa 1a 52.3 as discussing the actual question (and says this couldn't happen).
|