 \(\ast 38\) Double descriptive functions. PM uses a metalinguistic variable “\( \venus \)” that can be replaced by a any of a range of relations between individuals, classes, or relations, that are treated as operations on their arguments. The operation of intersection can be represented as a higher order function of its first argument. Thus \(\cap \beta ` \alpha = \alpha \cap \beta\). 