Combining Texts

All the ideas for 'Conspectus libelli (book outline)', 'Introduction to Zermelo's 1930 paper' and 'Disputed questions about truth'

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

10 ideas

3. Truth / C. Correspondence Truth / 1. Correspondence Truth
22104 Truth is the conformity of being to intellect [Aquinas]
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]
7. Existence / A. Nature of Existence / 3. Being / f. Primary being
22103 Being is basic to thought, and all other concepts are additions to being [Aquinas]
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]
17. Mind and Body / A. Mind-Body Dualism / 3. Panpsychism
12698 Every body contains a kind of sense and appetite, or a soul [Leibniz]