Combining Texts

All the ideas for 'Conspectus libelli (book outline)', 'Introduction to Zermelo's 1930 paper' and 'Prologue to Ordinatio'

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

10 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
17833 The first-order ZF axiomatisation is highly non-categorical [Hallett,M]
17834 Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
17837 Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
17836 The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M]
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
12699 A body would be endless disunited parts, if it did not have a unifying form or soul [Leibniz]
9. Objects / C. Structure of Objects / 2. Hylomorphism / d. Form as unifier
12700 Form or soul gives unity and duration; matter gives multiplicity and change [Leibniz]
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
12736 If we understand God and his choices, we have a priori knowledge of contingent truths [Leibniz, by Garber]
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
9100 Our intellect only assents to what we believe to be true [William of Ockham]
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
9101 Abstractive cognition knows universals abstracted from many singulars [William of Ockham]
17. Mind and Body / A. Mind-Body Dualism / 3. Panpsychism
12698 Every body contains a kind of sense and appetite, or a soul [Leibniz]