Combining Texts

All the ideas for 'Mathematics without Numbers', 'Some Puzzles of Ground' and 'On Note L to Bayle's 'Rorarius''

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


8 ideas

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend]
Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara]
Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman]
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K]
15. Nature of Minds / B. Features of Minds / 2. Unconscious Mind
The soul doesn't understand many of its own actions, if perceptions are confused and desires buried [Leibniz]
17. Mind and Body / A. Mind-Body Dualism / 5. Parallelism
We should say that body is mechanism and soul is immaterial, asserting their independence [Leibniz]
26. Natural Theory / A. Speculations on Nature / 4. Mathematical Nature
Minds unconsciously count vibration beats in music, and enjoy it when they coincide [Leibniz]