Combining Texts

All the ideas for 'On Euclidean Geometry', 'Phenomenal and Perceptual Concepts' and 'The Foundations of Mathematics'

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

---

3 ideas

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

18844

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

5. Theory of Logic / K. Features of Logics / 1. Axiomatisation

16886

The truth of an axiom must be independently recognisable [Frege]

18. Thought / B. Mechanics of Thought / 5. Mental Files

16369

There is a single file per object, memorised, reactivated, consolidated and expanded [Papineau, by Recanati]