Combining Texts

All the ideas for 'The Barcan Formula and Metaphysics', 'In Defense of Absolute Essentialism' and 'Intro to III: Quantifiers'

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


13 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen]
The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen]
BF implies that if W possibly had a child, then something is possibly W's child [Simchen]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette]
Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
A property is essential iff the object would not exist if it lacked that property [Forbes,G]
Properties are trivially essential if they are not grounded in a thing's specific nature [Forbes,G]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
A relation is essential to two items if it holds in every world where they exist [Forbes,G]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
Trivially essential properties are existence, self-identity, and de dicto necessities [Forbes,G]
9. Objects / D. Essence of Objects / 9. Essence and Properties
A property is 'extraneously essential' if it is had only because of the properties of other objects [Forbes,G]
9. Objects / D. Essence of Objects / 11. Essence of Artefacts
One might be essentialist about the original bronze from which a statue was made [Forbes,G]
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
The source of de dicto necessity is not concepts, but the actual properties of the thing [Forbes,G]
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
Serious Actualism says there are no facts at all about something which doesn't exist [Simchen]