display all the ideas for this combination of philosophers
2 ideas
| 13702 | The identity of indiscernibles is necessarily true, if being a member of some set counts as a property [Sider] |
| Full Idea: The identity of indiscernibles (∀x∀y(∀X(Xx↔Xy)→x=y) is necessarily true, provided that we construe 'property' very broadly, so that 'being a member of such-and-such set' counts as a property. | |
| From: Theodore Sider (Logic for Philosophy [2010], 5.4.3) | |
| A reaction: Sider's example is that if the two objects are the same they must both have the property of being a member of the same singleton set, which they couldn't have if they were different. |
| 14754 | If you say Leibniz's Law doesn't apply to 'timebound' properties, you are no longer discussing identity [Sider] |
| Full Idea: If someone is in pain at t1 and not at t2, we might restrict Leibniz's Law so as not to apply to 'timebound' properties, ..but this is deeply unsatisfying, ...and forfeits one's claim to be discussing identity. The demands of identity are high. | |
| From: Theodore Sider (Four Dimensionalism [2001], 5.5) | |
| A reaction: [on Myro 1986] Sider's response is unsatisfying. It means a thing loses its identity (with itself?) if it has even a tiny fluctuating in its properties. Quantum changes then destroy all notions of identity. English-speakers don't use 'identity' like that. |