Combining Texts

All the ideas for 'works', 'Steps Towards a Constructive Nominalism' and 'The Foundations of Mathematics (2nd ed)'

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

---

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

8. Modes of Existence / A. Relations / 4. Formal Relations / b. Equivalence relation

18465

An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen]

8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta

17619

We renounce all abstract entities [Goodman/Quine]