Combining Texts

All the ideas for 'Why Constitution is not Identity', 'Ancient Thought in Modern Physics' and 'Constructibility and Mathematical Existence'

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


11 ideas

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
We could talk of open sentences, instead of sets [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro]
We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro]
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
Clay is intrinsically and atomically the same as statue (and that lacks 'modal properties') [Rudder Baker]
The clay is not a statue - it borrows that property from the statue it constitutes [Rudder Baker]
9. Objects / B. Unity of Objects / 3. Unity Problems / d. Coincident objects
Is it possible for two things that are identical to become two separate things? [Rudder Baker]
9. Objects / C. Structure of Objects / 6. Constitution of an Object
Constitution is not identity, as consideration of essential predicates shows [Rudder Baker]
The constitution view gives a unified account of the relation of persons/bodies, statues/bronze etc [Rudder Baker]
Statues essentially have relational properties lacked by lumps [Rudder Baker]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
You can only explain the qualities of large objects using entities which lack those qualities [Heisenberg]