15 ideas
| 23026 | We know mathematical axioms, such as subtracting equals from equals leaves equals, by a natural light [Leibniz] |
| 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)] |
| 13189 | A necessary feature (such as air for humans) is not therefore part of the essence [Leibniz] |
| 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)] |
| 19432 | Intelligible truth is independent of any external things or experiences [Leibniz] |
| 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)] |
| 19430 | We know objects by perceptions, but their qualities don't reveal what it is we are perceiving [Leibniz] |
| 19431 | There is nothing in the understanding but experiences, plus the understanding itself, and the understander [Leibniz] |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| 11189 | Dispositional essences are special, as if an object loses them they cease to exist [Marcus (Barcan)] |