Combining Texts

All the ideas for 'Conspectus libelli (book outline)', 'works' and 'Elements of Mathematical Logic'

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

---

6 ideas

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic

8942	Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher]

5. Theory of Logic / G. Quantification / 2. Domain of Quantification

17743

De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]

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]