display all the ideas for this combination of texts
1 idea
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! |