display all the ideas for this combination of texts
2 ideas
16520 | We see properties necessary for a kind (in the definition), but not for an individual [Ayer] |
Full Idea: We can significantly ask what properties it is necessary for something to possess in order to be a thing of such and such a kind, since that asks what properties enter into the definition of the kind. But there is no such definition of the individual. | |
From: A.J. Ayer (The Central Questions of Philosophy [1973], 9.A.5) | |
A reaction: [Quoted, not surprisingly, by Wiggins] Illuminating. If essence is just about necessary properties, I begin to see why the sortal might be favoured. I take it to concern explanatory mechanisms, and hence the individual. |
13730 | The Indiscernibility of Identicals has been a big problem for modal logic [Fitting/Mendelsohn] |
Full Idea: Equality has caused much grief for modal logic. Many of the problems, which have struck at the heart of the coherence of modal logic, stem from the apparent violations of the Indiscernibility of Identicals. | |
From: M Fitting/R Mendelsohn (First-Order Modal Logic [1998], 7.1) | |
A reaction: Thus when I say 'I might have been three inches taller', presumably I am referring to someone who is 'identical' to me, but who lacks one of my properties. A simple solution is to say that the person is 'essentially' identical. |