14 ideas
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
11184 | Aristotelian essentialism is about shared properties, individuating essentialism about distinctive properties [Marcus (Barcan)] |
11181 | Aristotelian essentialism involves a 'natural' or 'causal' interpretation of modal operators [Marcus (Barcan)] |
11180 | Essentialist sentences are not theorems of modal logic, and can even be false [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)] |
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)] |
11187 | In possible worlds, names are just neutral unvarying pegs for truths and predicates [Marcus (Barcan)] |
14365 | Scientific understanding is always the grasping of a correct explanation [Strevens] |
14368 | We may 'understand that' the cat is on the mat, but not at all 'understand why' it is there [Strevens] |
14369 | Understanding is a precondition, comes in degrees, is active, and holistic - unlike explanation [Strevens] |
11189 | Dispositional essences are special, as if an object loses them they cease to exist [Marcus (Barcan)] |