Combining Texts

All the ideas for 'Two Kinds of Possibility', 'Mathematics and Philosophy: grand and little' and 'Quine on Quantifying In'

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

---

12 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 / E. Structures of Logic / 1. Logical Form

12220

Is it the sentence-token or the sentence-type that has a logical form? [Fine,K]

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification

12222

Substitutional quantification is referential quantification over expressions [Fine,K]

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]

10. Modality / A. Necessity / 1. Types of Modality

12205

There are two families of modal notions, metaphysical and epistemic, of equal strength [Edgington]

10. Modality / A. Necessity / 5. Metaphysical Necessity

12207

Metaphysical possibility is discovered empirically, and is contrained by nature [Edgington]

10. Modality / A. Necessity / 6. Logical Necessity

12206

Broadly logical necessity (i.e. not necessarily formal logical necessity) is an epistemic notion [Edgington]

12208

An argument is only valid if it is epistemically (a priori) necessary [Edgington]

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

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