display all the ideas for this combination of texts
2 ideas
16027 | If two things are equal, each side involves a necessity, so the equality is necessary [Gallois] |
Full Idea: The necessity of identity: a=b; □(a=a); so something necessarily = a; so something necessarily must equal b; so □(a=b). [A summary of the argument of Marcus and Kripke] | |
From: André Gallois (Identity over Time [2011], §3) | |
A reaction: [Lowe 1982 offered a response] The conclusion seems reasonable. If two things are mistakenly thought to be different, but turn out to be one thing, that one thing could not possibly be two things. In no world is one thing two things! |
3145 | The Indiscernibility of Identicals is a truism; but the Identity of Indiscernibles depends on possible identical worlds [Rey] |
Full Idea: Leibniz's Law, the indiscernibility of identicals, is a truism which should not be confused with the more controversial identity of indiscernibles, which depends on the possibility of perfectly replicated universes. | |
From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.4) |