Eventualities

Abstract

In Part II I discussed sentences formed by the connective whenever. The pattern of the discussion was this. The antecedent of the whenever sentence contains one or more quantifiers, each of which is interpreted relative to a domain. The whenever quantifies over the domain or domains thus provided, and provides a sequence of domains (by the $Ab{s_{{n_1}...{n_k}}}$ operators) in which the quantifiers in the consequent are evaluated. One of my aims in the present chapter is to look at the possibility that quantification over higher-order entities, of the kind made possible by some of the techniques used in the last chapter, could be involved in evaluating whenever sentences.