Combining Texts

All the ideas for 'works', 'Mathematics, Science and Language' and 'Difficulties of Transfinite Numbers and Types'

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

---

5 ideas

5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction

10121

Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal]

6. Mathematics / A. Nature of Mathematics / 1. Mathematics

18119

Mathematics is a mental activity which does not use language [Brouwer, by Bostock]

6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics

18118

Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock]

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism

21559

We need rules for deciding which norms are predicative (unless none of them are) [Russell]

21558

'Predicative' norms are those which define a class [Russell]