Combining Texts

All the ideas for 'Mathematical Logic (revised)', 'English as a Formal Language' and 'Letters to Thomasius'

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


5 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine]
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
We might do without names, by converting them into predicates [Quine, by Kirkham]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
'The' is a quantifier, like 'every' and 'a', and does not result in denotation [Montague]
9. Objects / D. Essence of Objects / 1. Essences of Objects
The essence of a circle is the equality of its radii [Leibniz]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Bodies are recreated in motion, and don't exist in intervening instants [Leibniz]