Combining Texts

All the ideas for 'fragments/reports', 'Completeness of Axioms of Logic' and 'The Human Animal'

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

---

4 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]

16. Persons / B. Nature of the Self / 7. Self and Body / a. Self needs body

16236

Maybe our persistence conditions concern bodies, rather than persons [Olson, by Hawley]

6669	For 'animalism', I exist before I became a person, and can continue after it, so I am not a person [Olson, by Lowe]

27. Natural Reality / G. Biology / 1. Biology

651	Eurytus showed that numbers underlie things by making pictures of creatures out of pebbles [Eurytus, by Aristotle]