3 ideas
3299 | In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z) [Baillie] |
Full Idea: In logic identity is an equivalence relation, which involves reflexivity (x=x), symmetry (if x=y, then y=x), and transitivity (if x=y and y=z, then x=z). | |
From: James Baillie (Problems in Personal Identity [1993], Intr p.4) |
9413 | An event is a change in or to an object [Lombard, by Mumford] |
Full Idea: Lombard holds that an event is a change in or to an object. | |
From: report of Lawrence B. Lombard (Events [1986]) by Stephen Mumford - Laws in Nature 2.1 | |
A reaction: This strikes me as more plausible than Davidson's view that events are primitive, or Kim's that they are exemplifications of properties. Events then exist just insofar as we wish to (or are able to) discriminate them. |
12709 | Motion is not absolute, but consists in relation [Leibniz] |
Full Idea: In reality motion is not something absolute, but consists in relation. | |
From: Gottfried Leibniz (On Motion [1677], A6.4.1968), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 3 | |
A reaction: It is often thought that motion being relative was invented by Einstein, but Leibniz wholeheartedly embraced 'Galilean relativity', and refused to even consider any absolute concept of motion. Acceleration is a bit trickier than velocity. |