We present a general theory of scope and binding in which both crossover and superiority violations are ruled out by one key assumption: that natural language expressions are normally evaluated (processed) from left to right. Our theory is an extension of Shan’s (2002) account of multiple-wh questions, combining continuations (Barker, 2002) and dynamic type-shifting. Like other continuation-based analyses, but unlike most other treatments of crossover or superiority, our analysis is directly compositional (in the sense of, e.g., Jacobson, 1999). In particular, (...) it does not postulate a level of Logical Form or any other representation distinct from surface syntax. One advantage of using continuations is that they are the standard tool for modeling order-of-evaluation in programming languages. This provides us with a natural and independently motivated characterization of what it means to evaluate expressions from left to right. We give a combinatory categorial grammar that models the syntax and the semantics of quantifier scope and wh-question formation. It allows quantificational binding but not crossover, in-situ wh but not superiority violations. In addition, the analysis automatically accounts for a variety of sentence types involving binding in the presence of pied piping, including reconstruction cases such as Whose criticism of hisi mother did each personi resent? (shrink)

This paper strives to characterize the relation between accent placement and discourse in terms of independent constraints operating at the interface between syntax and interpretation. The Givenness Constraint requires un-F-marked constituents to be given. Key here is our definition of givenness, which synthesizes insights from the literature on the semantics of focus with older views on information structure. AvoidF requires speakers to economize on F-marking. A third constraint requires a subset of F-markers to dominate accents.The characteristic prominence patterns of "novelty (...) focus" and "contrastive focus" both arise from a combination of the Givenness Constraint and AvoidF. Patterns of prominence in questions as well as in answers to questions are explained in terms of the constraints, thanks in part to the way in which the Givenness relation is defined. Head/argument asymmetries noted in the literature on Focus Projection are placed in the phonology-syntax interface, independent of discourse conditions. Deaccenting follows when AvoidF is ranked higher than constraint(s) governing head/argument asymmetries. (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)

Categorial grammar is well-known for its elegant analysis of coordination enabled by the flexible notion of constituency it entertains. However, to date, no systematic study exists that examines whether this analysis has any obvious empirical advantage over alternative analyses of nonconstituent coordination available in phrase structure-based theories of syntax. This paper attempts precisely such a comparison. We compare the direct constituent coordination analysis of non-canonical coordinations in categorial grammar with an ellipsis-based analysis of the same phenomena in the recent HPSG (...) literature. We provide a set of empirical evidence, consisting of cases in which non-canonical coordinations interact with scopal operators of various sorts, which systematically falsifies the predictions of the latter, ‘linearization-based’ ellipsis approach to coordination. We propose an alternative analysis in a variant of categorial grammar called Hybrid Type-Logical Categorial Grammar. The proposed framework builds on both the Lambek-inspired variants of categorial grammar and a more recent line of work modelling word order via a lambda calculus for the prosodic component. The flexible syntax–semantics interface of this framework straightforwardly captures the interactions between non-canonical coordinations and scopal expressions, demonstrating the broader empirical payoff of the direct constituent coordination analysis of non-canonical coordinations pioneered by Steedman :523–568, 1985; Linguist Philos 13:207–263, 1990) and Dowty hitherto not explicitly recognized in the literature. (shrink)

This article investigates the semantics of sentences that express numerical averages, focusing initially on cases such as 'The average American has 2.3 children'. Such sentences have been used both by linguists and philosophers to argue for a disjuncture between semantics and ontology. For example, Noam Chomsky and Norbert Hornstein have used them to provide evidence against the hypothesis that natural language semantics includes a reference relation holding between words and objects in the world, whereas metaphysicians such as Joseph Melia and (...) Stephen Yablo have used them to provide evidence that apparent singular reference need not be taken as ontologically committing. We develop a fully general and independently justified compositional semantics in which such constructions are assigned truth conditions that are not ontologically problematic, and show that our analysis is superior to all extant rivals. Our analysis provides evidence that a good semantics yields a sensible ontology. It also reveals that natural language contains genuine singular terms that refer to numbers. (shrink)

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 presents a novel analysis of Sluicing, an ellipsis construction first described by Ross (1969) and illustrated by the bracketed portion ofI want to do something, but I'm just not sure [what _]. Starting from the assumption that a sluice consists of a displaced Wh-constituent and an empty IP, we show how simple and general LF operations fill out the empty IP and thereby provide it with an interpretable Logical Form. The LF operations we appeal to rely on the (...) influential theory of indefinites developed by Irene Heim and Hans Kamp, and are in harmony with certain aspects of Chomsky's Minimalist Program for linguistic theory. The analysis accounts directly for the familiar properties of Sluicing, as well as some facts which have not previously been observed. (shrink)

Situation semantics as conceived in Kratzer (1989) has been shown to be a valuable companion to the e-type pronoun analysis of donkey sentences (Heim 1990, and recently refined in Elbourne 2001b), and more generally binding out of DP (BOOD; Tomioka 1999; Büring 2001). The present paper proposes a fully compositional version of such a theory, which is designed to capture instances of crossover in BOOD.

Using the programming-language concept of continuations, we propose a new, multimodal analysis of quantification in Type Logical Grammar. Our approach provides a geometric view of in-situ quantification in terms of graphs, and motivates the limited use of empty antecedents in derivations. Just as continuations are the tool of choice for reasoning about evaluation order and side effects in programming languages, our system provides a principled, type-logical way to model evaluation order and side effects in natural language. We illustrate with an (...) improved account of quantificational binding, weak crossover, wh-questions, superiority, and polarity licensing. (shrink)

I propose the first strictly compositional semantic account of same. New data, including especially NP-internal uses such as two men with the same name, suggests that same in its basic use is a quantificational element taking scope over nominals. Given type-lifting as a generally available mechanism, I show that this follows naturally from the fact that same is an adjective. Independently-motivated assumptions extend the analysis to standard examples such as Anna and Bill read the same book via a mechanism I (...) call PARASITIC SCOPE, in which the scope of same depends on the scope of some other scopetaking element in the sentence. Although I will initially discuss the analysis in terms of a familiar Quantifier Raising framework, I go on to implement the analysis within an innovative continuation-based Type-Logical Grammar. The empirical payoff for dealing in continuations is that a simple generalization of the basic analysis gives the first ever formal account of cases in which same distributes over objects other than NP denotations, as in the relevant interpretation of John hit and killed the same man. (shrink)

This paper proposes that the meanings of some natural language expressions should be thought of as functions on their own continuations. Continuations are a well-established analytic tool in the theory of programming language semantics; in brief, a continuation is the entire default future of a computation. I show how a continuation-based grammar can unify several aspects of natural language quantification in a new way: merely stating the truth conditions for quantificational expressions in terms of continuations automatically accounts for scope displacement (...) and scope ambiguity. To prove this claim, I exhibit a simple finite context-free grammar with a strictly compositional semantics in which quantificational NPs are interpreted in situ but take semantic scope over larger constituents. There is no Quantifier Raising (nor any use of a level of Logical Form distinct from overt syntax), no Cooper Storage (or similar mechanisms used in many recent HPSG, Categorial, or Type-logical treatments), and no need for type-shifting (as in Hendriks' Flexible Types account). Continuations also provide a natural account of generalized coordination that does not require either type-shifting or type polymorphism. Compositionality issues are discussed in some detail. (shrink)

This book surveys research in quantification starting with the foundational work in the 1970s. It paints a vivid picture of generalized quantifiers and Boolean semantics. It explains how the discovery of diverse scope behavior in the 1990s transformed the view of quantification, and how the study of the internal composition of quantifiers has become central in recent years. It presents different approaches to the same problems, and links modern logic and formal semantics to advances in generative syntax. A unique feature (...) of the book is that it systematically brings cross-linguistic data to bear on the theoretical issues, discussing French, German, Dutch, Hungarian, Russian, Japanese, Telugu (Dravidian), and Shupamem (Grassfield Bantu), and pointing to formal semantic literature involving quantification in around thirty languages. -- -/- 1. What this book is about and how to use it; 2. Generalized quantifiers and their elements: operators and their scopes; 3. Generalized quantifiers in non-nominal domains; 4. Some empirically significant properties of quantifiers and determiners; 5. Potential challenges for generalized quantifiers; 6. Scope is not uniform and not a primitive; 7. Existential scope versus distributive scope; 8. Distributivity and scope; 9. Bare numeral indefinites; 10. Modified numerals; 11. Clause-internal scopal diversity; 12. Towards a compositional semantics of quantifier words. (shrink)

This paper seeks to illustrate the advantages of not treating phonological words as distinguished building blocks in compositional semantics. Following Bobaljik 2012, we derive the relative readings of amount superlatives in two steps, [[[d-many] comparative] superlative]. The existence of two comparative constructions is revealed, involving more vs. the more. Each builds a different superlative construction, explaining the conflicting intuitions about superlatives in the literature, as well as puzzles relating to the definite article in superlatives.

Establishing the level of representation or the point in a derivation at which movement takes place has never been a trivial matter, and as such remains an topic of substantial ongoing interest. For overt movement, this question is complicated by the availability in principle of two components in which movement could take place with indistinguishable effects on word order: in the derivation leading to Spell-Out, or in the mapping from Spell-Out to PF. To a great extent, the reasoning brought to (...) bear on this question has been concentrated on A- and A'-movement and their properties; head-movement, in contrast, has remained a distant third. In this paper, I show that a little-studied peculiarity of elliptical wh-questions in Germanic can cast new light on this question, providing evidence that there is indeed head-movement which takes place late in the derivation at PF, after Spell-Out.* The peculiarity in question comes from a range of data found only under sluicing in a subset of the Germanic languages. In particular, it is found in sluices involving certain prepositions, in which the [+wh] object of the preposition appears not after the preposition in the usual head-complement order, but before it, as in (1). (shrink)

In this dissertation, I examine the effects of deaccenting--the removal of phonological accent from a constituent--on interpretation. In general, deaccenting of an element is possible only if that element is salient in the discourse context. Salience alone, however, is not a sufficient condition for deaccenting. ;I propose that deaccenting plays a role in identifying the focus-related topic of a sentence, where it is a necessary condition for a sentence to be felicitous in a given context that the focus-related topic of (...) that sentence be instantiated in the context. The focus-related topic of a sentence is generated by replacing all focused constituents by variables and combining the resulting structure so as to end up with the smallest structure within which all properties of the remaining lexical elements are satisfied. The resulting structure will be instantiated in a context if there is another element in the context with which it is non-distinct, where variables count as non-distinct from other elements of the same semantic type. ;The felicity or infelicity of a sentence in a larger discourse context is based upon the focus structure of the sentence and the composition of the context. While the analysis of this phenomenon is of some interest by itself, even more important is the use to which the analysis can be put in accounting for certain phenomena typically associated with VP deletion. Since Sag and Williams , it has standardly been assumed that restrictions on pronominal interpretations in VP deletion contexts are to be explained in terms of the mechanism that assigns an interpretation to an empty VP. However, we find that identical restrictions appear in contexts in which a VP has been deaccented but not deleted. (shrink)

Elided VPs and their antecedent VPs can mismatch in voice, with passive VPs being elided under apparent identity with active antecedent VPs, and vice versa. Such voice mismatches are not allowed in any other kind of ellipsis, such as sluicing and other clausal ellipses. These latter facts indicate that the identity relation in ellipsis is sensitive to syntactic form, not merely to semantic form. The VP-ellipsis facts fall into place if the head that determines voice is external to the phrase (...) being elided, here argued to be v P; such an account can only be framed in approaches that allow for the separation of syntactic features from the heads on which they are morphologically realized. Alternatives to this syntactic, articulated view of ellipsis and voice either undergenerate or overgenerate. (shrink)