ABSTRACT
None of our predicates so far have any special uniformity across all cases. Unlike our logical expressions, predicates and names are treated differently in different cases: in one case the extension of predicate ‘F’ might be empty while in another case its extension might be non-empty. Similarly, even in two cases where the domains contain exactly the same objects the name ‘b’ might denote something in one case but denote something different in another case. These non-logical expressions receive ‘variable interpretations’ across different cases. Non-logical expressions are generally like that: the denotation function varies its interpretation of those expressions across cases. But not all non-logical expressions are like that.
