Combining Texts

All the ideas for 'Mathematics without Numbers', 'Whitehead and the Rise of Modern Logic' and 'Letters to Regius'

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

7 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
13639 Quine says higher-order items are intensional, and lack a clearly defined identity relation [Quine, by Shapiro]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
8698 Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend]
9557 Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara]
10263 Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
21557 Russell confused use and mention, and reduced classes to properties, not to language [Quine, by Lackey]
9. Objects / D. Essence of Objects / 15. Against Essentialism
12251 Substantial forms are not understood, and explain nothing [Descartes]
29. Religion / B. Monotheistic Religion / 4. Christianity / c. Angels
16772 An angelic mind would not experience pain, even when connected to a human body [Descartes, by Pasnau]