 given the usual meanings of ‘bachelor’ and ‘married’, since “all bachelors are unmarried” is analytically true—i.e. no empirical evidence is required to establish this connection. (In the formal language for predicate logic, if we associate the meaning “is married” with predicate term ‘M’, the meaning “is a bachelor” with the predicate term ‘B’, and take the name term ‘g’ to refer to George, then we should want \(P_{\alpha}[{\nsim}Mg \pmid Bg] = 1\), since \(\forall x (Bx \supset{\nsim}Mx)\) is analytically true on this meaning assignment to the non-logical terms.) So, let’s associate with each individual support function \(P_{\alpha}\) a specific assignment of meanings (primary intensions) to all the non-logical terms of the language. (However, evidential support functions should not presuppose meaning assignments in the sense of so-called secondary intensions—e.g., those associated with rigid designators across possible states of affairs. For, we should not want a confirmation function \(P_{\alpha}\) to make 