Combining Texts

All the ideas for 'works', 'The Logic of Infinity' and 'Mathematical Logic (revised)'

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

---

4 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic

12221

'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine]

5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated

19321

We might do without names, by converting them into predicates [Quine, by Kirkham]

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry

13007

Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]

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

18203

Avoid non-predicative classifications and definitions [Poincaré]