11 ideas
| 3340 | Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn] |
| 3355 | Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA] |
| 22716 | Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone] |
| 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] |
| 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] |
| 2609 | If God's decrees are good, and this is not a mere tautology, then goodness is separate from God's decrees [Russell] |