Abstract

One way of describing the enterprise of natural language semantics is by analogy with interpreted formal languages, e.g. the language of arithmetic interpreted on the natural numbers. English is then the formal language consisting of the well-formed sentences of English interpreted on the structure we happen to nd around us. The business of the natural language semanticist is to describe the correlation of the formal expressions with that structure. This paper is directed against this particular interpretation 1 of the enterprise of logical natural language semantics.