We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause source of the ellipsis, our analysis requires no such hidden ambiguity. Further, the analysis follows relatively directly from an abstract statement of the ellipsis interpretation problem. It predicts correctly a wide range of interactions between ellipsis and other semantic phenomena such as quantifier scope and bound anaphora. Finally, although the (...) analysis itself is stated nonprocedurally, it admits of a direct computational method for generating interpretations. (shrink)

A study of the contribution semantics makes to the syntactic patterns of English: an intepretive theory of grammar.

What I have attempted to show in the foregoing is that: (1) For any frequency adjective f, there is an element of meaning common to both the adverbial and the generic usage of f; this is a function f′ from propositions to truth-values such that f′(Φ)′ is true at an interval i iff Φ′ is true at subintervals of i distributed through i in a certain way. (2) In an adverbial use of f, f′ functions like the corresponding frequency adverb. (...) (3) In a generic use of f, f′ quantifies the times intervals which a specified object is realized by some stage. (4) In their adverbial usage, frequency adjectives are not regular attributive adjectives at the level at which interpretation takes place, but are perhaps determiners. And (5) in their generic usage, frequency adjectives are adjectives at the level at which interpretation takes place.More generally, I hope to have suggested something of the range of uses to which frequency is put in natural language. That we effortlessly grasp what is meants by Monday, the Columbus Dispatch, autumn, the Today Show, and so on, demonstrates our fluency in interpreting certain sequences of objects, events, or states of affairs as sequences of values of some function cycling on a time-axis. Much more must ultimately be told about the psychological and anthropological significance of frequency. (shrink)

According to the alternative semantics for focus, the semantic reflec of intonational focus is a second semantic value, which in the case of a sentence is a set of propositions. We examine a range of semantic and pragmatic applications of the theory, and extract a unitary principle specifying how the focus semantic value interacts with semantic and pragmatic processes. A strong version of the theory has the effect of making lexical or construction-specific stipulation of a focus-related effect in association-with-focus constructions (...) impossible. Furthermore, while focus has a uniform import, the sources of meaning differences in association with focus are various. (shrink)

The higher order matching problem is the problem of determining whether a term is an instance of another in the simply typed [lgr]-calculus, i.e. to solve the equation a = b where a and b are simply typed [lgr]-terms and b is ground. The decidability of this problem is still open. We prove the decidability of the particular case in which the variables occuring in the problem are at most third order.

As a result of these restrictions, an implementation of L [subscript lambda] does not need to implement full higher-order unification. Instead, an extension to first-order unification that respects bound variable names and scopes is all that is required. Such unification problems are shown to be decidable and to possess most general unifiers when unifiers exist. A unification algorithm and logic programming interpreter are described and proved correct. Several examples of using L[subscript lambda] as a meta-programming language are presented.

In this paper, we show that Higher{Order Coloured Uni cation { a form of uni cation developed for automated theorem proving { provides a general theory for modeling the interface between the interpretation process and other sources of linguistic, non semantic information. In particular, it provides the general theory for the Primary Occurrence Restriction which (Dalrymple et al., 1991)'s analysis called for.