more on this theme | more from this thinker
Full Idea
In the range of modal systems for which Saul Kripke has provided a semantics, no essentialist sentence is a theorem. Furthermore, there are models for which such sentences are demonstrably false.
Gist of Idea
Essentialist sentences are not theorems of modal logic, and can even be false
Source
Ruth Barcan Marcus (Essential Attribution [1971], p.188)
Book Ref
-: 'Nous' [-], p.188
11180 | Essentialist sentences are not theorems of modal logic, and can even be false [Marcus (Barcan)] |
11181 | Aristotelian essentialism involves a 'natural' or 'causal' interpretation of modal operators [Marcus (Barcan)] |
11182 | If essences are objects with only essential properties, they are elusive in possible worlds [Marcus (Barcan)] |
11183 | The use of possible worlds is to sort properties (not to individuate objects) [Marcus (Barcan)] |
11186 | 'Essentially' won't replace 'necessarily' for vacuous properties like snub-nosed or self-identical [Marcus (Barcan)] |
11185 | 'Is essentially' has a different meaning from 'is necessarily', as they often cannot be substituted [Marcus (Barcan)] |
11184 | Aristotelian essentialism is about shared properties, individuating essentialism about distinctive properties [Marcus (Barcan)] |
11187 | In possible worlds, names are just neutral unvarying pegs for truths and predicates [Marcus (Barcan)] |
11189 | Dispositional essences are special, as if an object loses them they cease to exist [Marcus (Barcan)] |