A theory of language which draws a distinction between "real" names: such as, names associated with bodies and pseudo-names which denote states, relationships, properties, events, etc.

It further elaborates on when a sentence is meaningful, when it has a literal, direct sense, or when it is meaningful or has an indirect sense.