  There is another problem that afflicts any attempt to demarcate the logical constants by appeal to mathematical properties like invariance. As McCarthy puts it: “the logical status of an expression is not settled by the functions it introduces, independently of how these functions are specified” (1981, 516). Consider a two-place predicate \(\dq{\approx}\), whose meaning is given by the following definition: