Combining Texts

All the ideas for 'The Nature of Things', 'fragments/reports' and 'On the General Idea of Proof Theory'

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

---

9 ideas

4. Formal Logic / F. Set Theory ST / 7. Natural Sets

9406	A class is natural when everybody can spot further members of it [Quinton]

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

13827

Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]

5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models

13826

Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]

7. Existence / E. Categories / 5. Category Anti-Realism

15730

Extreme nominalists say all classification is arbitrary convention [Quinton]

8. Modes of Existence / B. Properties / 5. Natural Properties

15728

The naturalness of a class depends as much on the observers as on the objects [Quinton]

9407	Properties imply natural classes which can be picked out by everybody [Quinton]

8. Modes of Existence / D. Universals / 4. Uninstantiated Universals

15729

Uninstantiated properties must be defined using the instantiated ones [Quinton]

9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties

8520	An individual is a union of a group of qualities and a position [Quinton, by Campbell,K]

15. Nature of Minds / A. Nature of Mind / 2. Psuche

5880	Xenocrates held that the soul had no form or substance, but was number [Xenocrates, by Cicero]