Combining Texts

All the ideas for 'Locke on Essences and Kinds', 'Definitiones cogitationesque metaphysicae' and 'On the General Idea of Proof Theory'

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


8 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
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
Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
Substance is that which can act [Leibniz]
9. Objects / D. Essence of Objects / 13. Nominal Essence
If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle]
Nominal essence are the observable properties of things [Eagle]
Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle]
14. Science / D. Explanation / 3. Best Explanation / b. Ultimate explanation
Nature can be fully explained by final causes alone, or by efficient causes alone [Leibniz]
26. Natural Theory / B. Natural Kinds / 4. Source of Kinds
Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle]