Combining Texts

Ideas for 'Natural Kinds and Biological Realism', 'Logic for Philosophy' and 'Significance of the Kripkean Nec A Posteriori'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

2 ideas

9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties

13969	Kripkean essential properties and relations are necessary, in all genuinely possible worlds [Soames]
	Full Idea: By (Kripkean) 'essential' properties and relations I mean simply properties and relations that hold necessarily of objects (in all genuinely possible world-states in which the objects exist).
	From: Scott Soames (Significance of the Kripkean Nec A Posteriori [2006], p.168 n5)
	A reaction: This is the standard modern view of essences which I find so unsatisfactory. Kit Fine has helped to take us back to the proper Aristotelian view, where 'necessary' and 'essential' actually have different meanings. Note the inclusion of relations.

9. Objects / F. Identity among Objects / 7. Indiscernible Objects

13702	The identity of indiscernibles is necessarily true, if being a member of some set counts as a property [Sider]
	Full Idea: The identity of indiscernibles (∀x∀y(∀X(Xx↔Xy)→x=y) is necessarily true, provided that we construe 'property' very broadly, so that 'being a member of such-and-such set' counts as a property.
	From: Theodore Sider (Logic for Philosophy [2010], 5.4.3)
	A reaction: Sider's example is that if the two objects are the same they must both have the property of being a member of the same singleton set, which they couldn't have if they were different.