Abstract

The organizing principles of the simple theory of types are: (i) sentence-meanings are truth-values; (ii) the meaning of a name is its referent; and (iii) the meanings of other basic constituents of sentences are to be assigned in such a way that when functions are applied to arguments as the structure of the sentence dictates, the final output is a truth-value. This chapter discusses extensional type-theory covering intransitive verbs, transitive verbs, binary truth-functions, common nouns and adjectives, quantified noun phrases, the lambda operator, and type shifting and systematic ambiguity. It also discusses hyperintensional semantics.