Combining Texts

All the ideas for 'Locke on Essences and Kinds', 'Completeness of Axioms of Logic' and 'Last Fragments'

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


10 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
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 / B. Scientific Theories / 1. Scientific Theory
General statements about nature are not valid [Novalis]
17. Mind and Body / A. Mind-Body Dualism / 8. Dualism of Mind Critique
The whole body is involved in the formation of thoughts [Novalis]
25. Social Practice / E. Policies / 5. Education / d. Study of history
Persons are shaped by a life history; splendid persons are shaped by world history [Novalis]
26. Natural Theory / A. Speculations on Nature / 1. Nature
Nature is a whole, and its individual parts cannot be wholly understood [Novalis]
26. Natural Theory / A. Speculations on Nature / 4. Mathematical Nature
The basic relations of nature are musical [Novalis]
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]