ABSTRACT

What signally distinguishes names from expressions for predicates is that expressions for predicates can be negated, names not. I mean that negation, attached to a predicate, yields a new predicate, but when attached to a name it does not yield any name.1