Ideas from 'Mathematical Logic (revised)' by Willard Quine [1940], by Theme Structure

[found in 'Mathematical Logic (revised)' by Quine,Willard [Harvard 1979,0-674-55451-5]].

green numbers give full details    |     back to texts     |     expand these ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
'Corner quotes' (quasi-quotation) designate 'whatever these terms designate'
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
We might do without names, by converting them into predicates [Kirkham]