Combining Texts

Ideas for 'fragments/reports', 'Structure and Ontology' and 'Logic for Philosophy'

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

display all the ideas for this combination of texts


3 ideas

9. Objects / B. Unity of Objects / 3. Unity Problems / b. Cat and its tail
Dion and Theon coexist, but Theon lacks a foot. If Dion loses a foot, he ousts Theon? [Chrysippus, by Philo of Alexandria]
     Full Idea: If two individuals occupied one substance …let one individual (Dion) be thought of as whole-limbed, the other (Theon) as minus one foot. Then let one of Dion's feet be amputated. Theon is the stronger candidate to have perished.
     From: report of Chrysippus (fragments/reports [c.240 BCE]) by Philo (Alex) - On the Eternity of the World 48
     A reaction: [SVF 2.397 - from Chrysippus's lost 'On the Growing Argument'] This is the original of Tibbles the Cat. Dion must persist to change, and then ousts Theon (it seems). Philo protests at Theon ceasing to exist when nothing has happened to him.
9. Objects / E. Objects over Time / 2. Objects that Change
Change of matter doesn't destroy identity - in Dion and Theon change is a condition of identity [Chrysippus, by Long/Sedley]
     Full Idea: The Growing Argument said any change of matter is a change of identity. Chrysippus presents it with a case (Dion and Theon) where material diminution is the necessary condition of enduring identity, since the diminished footless Dion survives.
     From: report of Chrysippus (fragments/reports [c.240 BCE]) by AA Long / DN Sedley - Hellenic Philosophers commentary 28:175
     A reaction: [The example, in Idea 16058, is the original of Tibbles the Cat] This is a lovely bold idea which I haven't met in the modern discussions - that identity actually requires change. The concept of identity is meaningless without change?
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
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.