ABSTRACT

Frege held that expressions of all logical types have both sense and reference – that not only what he called proper names (singular terms, as they would more usually be called), but equally predicates, relational expressions, sentential operators, and functional or incomplete expressions in general, are equipped not only with senses, but in virtue of that, stand for non-linguistic entities of appropriate kinds. In Frege’s terminology, the non-linguistic correlates of proper names are objects, those of predicates and so on are concepts or, more generally, functions of one sort or another. Entities of these two broad kinds are, in his view, fundamentally and irreducibly different – just as objects are complete in a manner analogous to the complete expressions which refer to them, so concepts and functions in general have a kind of incompleteness matching that of predicates and incomplete expressions of other kinds.