Combining Texts

All the ideas for 'Transworld Identity or worldbound Individuals?', 'Introduction to 'Absolute Generality'' and 'Identity and Essence'

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


26 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation
Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano]
Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
Indiscernibility is a necessary and sufficient condition for identity [Brody]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
Brody bases sortal essentialism on properties required throughout something's existence [Brody, by Mackie,P]
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
Modern emphasis is on properties had essentially; traditional emphasis is on sort-defining properties [Brody]
9. Objects / D. Essence of Objects / 5. Essence as Kind
A sortal essence is a property which once possessed always possessed [Brody, by Mackie,P]
Maybe essential properties are those which determine a natural kind? [Brody]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
De re essentialism standardly says all possible objects identical with a have a's essential properties [Brody]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
Essentially, a has P, always had P, must have had P, and has never had a future without P [Brody]
An object having a property essentially is equivalent to its having it necessarily [Brody]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
Essentialism is justified if the essential properties of things explain their other properties [Brody]
9. Objects / D. Essence of Objects / 12. Essential Parts
Mereological essentialism says that every part that ensures the existence is essential [Brody]
9. Objects / E. Objects over Time / 12. Origin as Essential
Interrupted objects have two first moments of existence, which could be two beginnings [Brody]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
a and b share all properties; so they share being-identical-with-a; so a = b [Brody]
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 / b. Rigid designation
Identity across possible worlds is prior to rigid designation [Brody]
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]
19. Language / F. Communication / 5. Pragmatics / a. Contextual meaning
The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano]