Ideas from 'Mathematical Logic (revised)' by Willard Quine [1940], by Theme Structure
[found in 'Mathematical Logic (revised)' by Quine,Willard [Harvard 1979,0674554515]].
green numbers give full details 
back to texts

expand these ideas
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
12221

'Corner quotes' (quasiquotation) designate 'whatever these terms designate'

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

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