Combining Texts

All the ideas for 'The Nature of Things', 'On the General Idea of Proof Theory' and 'Molyneux's Question'

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]

12. Knowledge Sources / B. Perception / 4. Sense Data / d. Sense-data problems

7639	The Homunculus Fallacy explains a subject perceiving objects by repeating the problem internally [Evans]