Combining Texts

Ideas for 'works', 'Mathematical Logic (revised)' and 'Letters to Wagner'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

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]
     Full Idea: Quine suggests that we can have a language with just predicates and no names. Thus for 'Ralph is red' we say 'x Ralphises and x is red'.
     From: report of Willard Quine (Mathematical Logic (revised) [1940]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.6
     A reaction: Kirkham discusses this as a way of getting round the lack of names in Tarski's theory of truth (which just uses objects, predicates and quantifiers). Otherwise you must supplement Tarski with an account of what the names refer to.