Combining Texts

All the ideas for 'Cours d'Analyse', 'Mathematical Logic (revised)' and 'The Logical Basis of Metaphysics'

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

---

5 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not

18801

Classical negation is circular, if it relies on knowing negation-conditions from truth-conditions [Dummett]

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 / A. Nature of Mathematics / 5. The Infinite / k. Infinitesimals

18085

Values that approach zero, becoming less than any quantity, are 'infinitesimals' [Cauchy]

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / l. Limits

18084

When successive variable values approach a fixed value, that is its 'limit' [Cauchy]