Vector models of language are based on the contextual aspects of language,the distributions of words and how they co-occur in text. Truth conditionalmodels focus on the logical aspects of language, compositional properties ofwords and how they compose to form sentences. In the truth conditionalapproach, the denotation of a sentence determines its truth conditions, whichcan be taken to be a truth value, a set of possible worlds, a context changepotential, or similar. In the vector models, the degree of co-occurrence ofwords in context determines how similar the meanings of words are. In thispaper, we put these two models together and develop a vector semantics forlanguage based on the simply typed lambda calculus models of natural language.We provide two types of vector semantics: a static one that uses techniquesfamiliar from the truth conditional tradition and a dynamic one based on a formof dynamic interpretation inspired by Heim's context change potentials. We showhow the dynamic model can be applied to entailment between a corpus and asentence and we provide examples.