Combining Texts

All the ideas for 'reports', 'Whitehead and the Rise of Modern Logic' and 'Mathematics and Philosophy: grand and little'

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

9 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / e. Philosophy as reason
9808 Philosophy aims to reveal the grandeur of mathematics [Badiou]
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 / A. Nature of Mathematics / 1. Mathematics
9812 In mathematics, if a problem can be formulated, it will eventually be solved [Badiou]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
9813 Mathematics shows that thinking is not confined to the finite [Badiou]
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]
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
9809 Mathematics inscribes being as such [Badiou]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
9811 It is of the essence of being to appear [Badiou]
10. Modality / A. Necessity / 8. Transcendental Necessity
3016 Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius]
21. Aesthetics / B. Nature of Art / 8. The Arts / b. Literature
9814 All great poetry is engaged in rivalry with mathematics [Badiou]