Despite the attention that various forms of ellipsis have received inthe literature, the conditions under which a representation of anutterance may serve as a suitable referent for interpreting subsequentelliptical forms remain poorly understood. This fundamental questionremains as a point of contention, particularly because there are datato support various conflicting approaches that attempt to characterizethese conditions within a single module of language processing. Weshow a previously unnoticed pattern in VP-ellipsis data with respectto the type of coherence relation extant between the antecedentand (...) elided clauses. This pattern is explained by an account of howellipsis resolution processes interact with the inference processesunderlying the establishment of these relations. The analysis alsoexplains a similar yet distinct pattern in gapping constructions whichare not accounted for by purely syntactic approaches. Finally, wediscuss event reference and compare the resulting account to thedichotomy of types of anaphora posited by HanSag. (shrink)

The Montagovian hypothesis of direct model-theoretic interpretation of syntactic surface structures is supported by an account of the semantics of binding that makes no use of variables, syntactic indices, or assignment functions & shows that the interpretation of a large portion of so-called variable-binding phenomena can dispense with the level of logical form without incurring equivalent complexity elsewhere in the system. Variable-free semantics hypothesizes local interpretation of each surface constituent; binding is formalized as a type-shifting operation on expressions that denote (...) functions, & sentences containing a free pronoun are analyzed as a function from individuals to propositions having a meaning of type (e,t). Standard weak crossover effects & binding patterns in sentences with multiple pronouns are shown to submit to straightforward type-theoretic treatments that do not rely on indexation. The variable-free semantics smoothly implements full surface compositionality & requires less machinery than standard accounts to handle functional questions, their answers, sloppy inferences, & across-the-board binding. 73 References. J. Hitchcock. (shrink)

Pseudogapping is no misnomer. Despite the many tempting similarities, Gapping and Pseudogapping are distinct constructions. Pseudogapping is a special instance of VP Ellipsis, while Gapping, I will argue, is a special instance of across-the-board movement. Squeezing Gapping into across-the-board movement has its own discomforts, however, which I will suggest can be remedied by re-tailoring our syntax to include string-based output constraints. I give a sketch of one such alteration that involves apparent Left Branch Condition violations.

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)

This paper argues for the hypothesis of direct compositionality (as in, e.g., Montague 1974), according to which the combinatory syntactic rules specify a set of well-formed expressions while the semantic combinatory rules work in tandem to directly supply a model-theoretic interpretation to each expression as it is "built" in the syntax. (This thus obviates the need for any level like LF and, concomitantly, for any rules mapping surface structures to such a level.) I focus here on one related group of (...) phenomena: the interaction of "paycheck" pronouns with Weak Crossover effects and i-within-i effects. These interactions were studied in Jacobson (1977) as they show up in Back-Peters sentences. There I argued that these interactions show that paycheck pronouns have a complex representation at LF; here I show that all of the observations in this earlier work are compatible with the hypothesis of direct compositionality. The key tool is the adoption of a variation-free semantics (a semantics which makes no use of variables as part of the semantic machinery). In addition to the general consequences for the syntax/semantics interface, there are two other main results. First, I provide new arguments for a variable-free semantics. For example, it will be shown that under this view the paycheck reading of a pronoun comes for free; most other theories posit additional mechanisms and/or an additional lexical meaning for pronouns, and thus paycheck and regular pronouns are only accidentally homophonous. Second, I reiterate one of the central points in Jacobson (1977): this is that the first pronoun in a Bach-Peters sentence is indeed a paycheck pronoun, and hence nothing special needs to be said about these sentences nor does any new machinery need to be invoked for them. (shrink)

The idea that natural language grammar and planned action are relatedsystems has been implicit in psychological theory for more than acentury. However, formal theories in the two domains have tendedto look very different. This article argues that both faculties sharethe formal character of applicative systems based on operationscorresponding to the same two combinatory operations, namely functional composition and type-raising. Viewing them in thisway suggests simpler and more cognitively plausible accounts of bothsystems, and suggests that the language faculty evolved in the (...) speciesand develops in children by a rather direct adaptation of a moreprimitive apparatus for planning purposive action in the world bycomposing affordances of objects or tools. Theknowledge representation that underlies such planning is alsoreflected in the natural language semantics of tense, mood, andaspect, which the paper begins by arguing provides the key tounderstanding both systems. (shrink)

This book sets out the foundations, methodology, and practice of a formal framework for the description of language. The approach embraces the trends of lexicalism and compositional semantics in computational linguistics, and theoretical linguistics more broadly, by developing categorial grammar into a powerful and extendable logic of signs. Taking Montague Grammar as its point of departure, the book explains how integration of methods from philosophy (logical semantics), computer science (type theory), linguistics (categorial grammar) and meta-mathematics (mathematical logic ) provides a (...) categorial foundation with coverage including intensionality, quantification, featural polymorphism, domains and constraints. For the first time, the book systematises categorial thinking into a unified program which is at once both logically secured, and a practical tool for pure lexical grammar development with type-theoretic semantics. It should be of interest to all those active in computational linguistics and formal grammar and is suitable for use at advanced undergraduate, postgraduate, and research levels. (shrink)

If all dependent expressions were adjacent some variety of immediate constituent analysis would suffice for grammar, but syntactic and semantic mismatches are characteristic of natural language; indeed this is a, or the, central problem in grammar. Logical categorial grammar reduces grammar to logic: an expression is well-formed if and only if an associated sequent is a theorem of a categorial logic. The paradigmatic categorial logic is the Lambek calculus, but being a logic of concatenation the Lambek calculus can only capture (...) discontinuous dependencies when they are peripheral. In this paper we present the displacement calculus, which is a logic of intercalation as well as concatenation and which subsumes the Lambek calculus. On the empirical side, we apply the new calculus to discontinuous idioms, quantification, VP ellipsis, medial extraction, pied-piping, appositive relativisation, parentheticals, gapping, comparative subdeletion, cross-serial dependencies, reflexivization, anaphora, dative alternation, and particle shift. On the technical side, we prove that the calculus enjoys Cut-elimination. (shrink)

(1) a. Die Suppe1 wird der Hans [VP t1 essen] und [VP sich hinlegen]. (Topicalization) the soup will the Hans eat and self down-lie (The soup, Hans will eat and lie down.).