Combining Texts

All the ideas for 'Specimen inventorum', 'The Foundations of Mathematics' and 'Our Knowledge of Mathematical Objects'

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

---

5 ideas

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle

18844

You would cripple mathematics if you denied Excluded Middle [Hilbert]

6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism

9224	Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K]

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism

9222	The objects and truths of mathematics are imperative procedures for their construction [Fine,K]

9223	My Proceduralism has one simple rule, and four complex rules [Fine,K]

14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence

12729

The cause of a change is not the real influence, but whatever gives a reason for the change [Leibniz]