Combining Texts

All the ideas for 'What Price Bivalence?', 'Mathematical Logic (revised)' and 'Mathematics and Philosophy: grand and little'

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

---

10 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 / D. Assumptions for Logic / 1. Bivalence

19043

Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine]

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic

12221

'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine]

5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated

19321

We might do without names, by converting them into predicates [Quine, by Kirkham]

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]

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]

7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic

19042

Terms learned by ostension tend to be vague, because that must be quick and unrefined [Quine]

21. Aesthetics / B. Nature of Art / 8. The Arts / b. Literature

9814	All great poetry is engaged in rivalry with mathematics [Badiou]