Combining Texts

All the ideas for 'Why Constitution is not Identity', 'Letters to Leibniz 1' and 'Completeness of Axioms of Logic'

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

8 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
17751 Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
16078 Clay is intrinsically and atomically the same as statue (and that lacks 'modal properties') [Rudder Baker]
16077 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
16080 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
16076 Constitution is not identity, as consideration of essential predicates shows [Rudder Baker]
16081 The constitution view gives a unified account of the relation of persons/bodies, statues/bronze etc [Rudder Baker]
16082 Statues essentially have relational properties lacked by lumps [Rudder Baker]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
17009 I won't object if someone shows that gravity consistently arises from the action of matter [Newton]