Combining Texts

All the ideas for 'works', 'Difficulties of Transfinite Numbers and Types' and 'Problems in Personal Identity'

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

---

4 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]

5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic

3299	In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z) [Baillie]

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

21558

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

21559

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