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
|
21547
|
On Meinong's principles 'the existent round square' has to exist [Russell]
|
|
Full Idea:
To my contention that, on his principles, 'the existent round square' exists, Meinong replies that it is existent but does not exist. I must confess that I see no difference between existing and being existent, and I have no more to say on this head.
|
|
From:
Bertrand Russell (Review: Meinong 'Uber die Stellung...' [1907], p.93)
|
|
A reaction:
Russell is obviously invoking the famously dubious ontological argument for God's existence. Normally impossible objects are rejected because of contradictions, but there might also be category mistakes. 'The slow square'.
|