Combining Texts

All the ideas for 'Mathematical Logic (revised)', 'Remarks on the definition and nature of mathematics' and 'The Search After Truth'

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

---

7 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 / E. Structures of Logic / 8. Theories in Logic

17807

To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry]

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 / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism

17806

It is untenable that mathematics is general physical truths, because it needs infinity [Curry]

6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique

17808

Saying mathematics is logic is merely replacing one undefined term by another [Curry]

8. Modes of Existence / B. Properties / 8. Properties as Modes

16669

Everything that exists is either a being, or some mode of a being [Malebranche]

26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity

12726

In a true cause we see a necessary connection [Malebranche]