Combining Texts

All the ideas for 'Mathematical Logic (revised)', 'Identity and Spatio-Temporal Continuity' and 'Transworld Identity or worldbound Individuals?'

expand these ideas     |    start again     |     specify just one area for these texts


10 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine]
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
We might do without names, by converting them into predicates [Quine, by Kirkham]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
'Ultimate sortals' cannot explain ontological categories [Westerhoff on Wiggins]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
Asserting a possible property is to say it would have had the property if that world had been actual [Plantinga]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
A possible world is a maximal possible state of affairs [Plantinga]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
If possible Socrates differs from actual Socrates, the Indiscernibility of Identicals says they are different [Plantinga]
It doesn't matter that we can't identify the possible Socrates; we can't identify adults from baby photos [Plantinga]
If individuals can only exist in one world, then they can never lack any of their properties [Plantinga]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
The counterparts of Socrates have self-identity, but only the actual Socrates has identity-with-Socrates [Plantinga]
Counterpart Theory absurdly says I would be someone else if things went differently [Plantinga]