16 ideas
| 18261 | A simplification which is complete constitutes a definition [Kant] |
| 22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
| 12766 | Logical space is abstracted from the actual world [Stalnaker] |
| 12764 | For the bare particular view, properties must be features, not just groups of objects [Stalnaker] |
| 12761 | An essential property is one had in all the possible worlds where a thing exists [Stalnaker] |
| 12763 | Necessarily self-identical, or being what it is, or its world-indexed properties, aren't essential [Stalnaker] |
| 12762 | Bare particular anti-essentialism makes no sense within modal logic semantics [Stalnaker] |
| 11984 | Asserting a possible property is to say it would have had the property if that world had been actual [Plantinga] |
| 11980 | A possible world is a maximal possible state of affairs [Plantinga] |
| 11982 | If possible Socrates differs from actual Socrates, the Indiscernibility of Identicals says they are different [Plantinga] |
| 11983 | It doesn't matter that we can't identify the possible Socrates; we can't identify adults from baby photos [Plantinga] |
| 11985 | If individuals can only exist in one world, then they can never lack any of their properties [Plantinga] |
| 12765 | Why imagine that Babe Ruth might be a billiard ball; nothing useful could be said about the ball [Stalnaker] |
| 11986 | The counterparts of Socrates have self-identity, but only the actual Socrates has identity-with-Socrates [Plantinga] |
| 11987 | Counterpart Theory absurdly says I would be someone else if things went differently [Plantinga] |
| 18260 | If we knew what we know, we would be astonished [Kant] |