Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Conceptions of Truth' and 'Elements of Intuitionism (2nd ed)'

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

---

3 ideas

2. Reason / D. Definition / 12. Paraphrase

18491

The idea of 'making' can be mere conceptual explanation (like 'because') [Künne]

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic

18832

Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility

18170

The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]