This article describes a novel pattern of interpretations associated with universal determiners like ‘each’ and ‘every’. It is demonstrated that these canonically distributive quantifiers can give rise to surprising collective readings when they quantify into sub-clausal constituents, especially other Determiner Phrases. For instance, ‘two cards from each player’ can be understood to pick out a single assorted deck of cards, one whose contents co-vary with the players. Yet this deck as a whole may be said to participate in a range (...) of collective activities (being shuffled together, being traded en masse, not fitting into a standard pack, etc.). Such examples are shown to differ from more familiar _cumulative_ readings of the same quantifiers. A compositional analysis is offered that generalizes Krifka’s ( 2001 ) method of quantification into speech acts in order to accommodate quantification into a larger class of non-truth-denoting semantic objects, including in these cases, entities. (shrink)

This paper analyzes sluicing as anaphora to an anti-constituent (a continuation), that is, to the semantic remnant of a clause from which a subconstituent has been removed. For instance, in Mary said that [John saw someone yesterday], but she didn’t say who, the antecedent clause is John saw someone yesterday, the subconstituent targeted for removal is someone, and the ellipsis site following who is anaphoric to the scope remnant John saw ___ yesterday. I provide a compositional syntax and semantics on (...) which the relationship between the targeted subconstituent and the rest of the antecedent clause is one of scopability, not movement or binding. This correctly predicts that sluicing should be sensitive to scope islands, but not to syntactic islands. Unlike the currently dominant approaches to sluicing, there is no need to posit syntactic structure internal to the ellipsis site, nor is there any need for a semantic mutual-entailment requirement. Nevertheless, the fragment handles phenomena usually taken to suggest a close syntactic correspondence between the antecedent and the sluice, including case matching, voice matching, and verbal argument structure matching. In addition, the analysis handles phenomena exhibiting antecedent/sluice mismatches, including examples such as John remembers meeting someone, but he doesn’t remember who, , and especially so-called sprouting examples such as John left, but I don’t know when, in which there is no overt subconstituent to target for removal. In Sect. 5, I show how the analysis accounts for Andrews Amalgams such as Sally ate [I don’t know what] today, in which the antecedent surrounds the sluiced clause. Finally, in Sect. 6, I propose a new semantic constraint on sluicing: the Answer Ban, which says that the antecedent clause must not resolve, or even partially resolve, the issue raised by the sluiced interrogative. (shrink)

This book combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context — assignment variables — in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of “shifting” phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and nonlocal contextual dependencies with (...) quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative, philosophically informed compositional semantics compatible with the truth-conditional paradigm. (shrink)

This paper revisits the question of whether propositions in situation semantics must be persistent [Kratzer (1989). Linguistics and Philosophy, 12, 607–653]. It shows that ignoring persistence causes empirical problems for theories which use quantification over minimal situations as a solution for donkey anaphora [Elbourne (2005). Situations and individuals. Cambridge, Mass.: MIT Press]. At the same time, modifying these theories to incorporate persistence makes them incompatible with the use of situations for contextual restriction [Kratzer (2004). Ms., University of Massachusetts].

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)

It is commonly argued that natural language has the expressive power of quantifying over intensional entities, such as times, worlds, or situations. A standard way of modelling this assumes that there are unpronounced but syntactically represented variables of the corresponding type. Not all that much as has been said, however, about the exact syntactic location of these variables. Meanwhile, recent work has highlighted a number of problems that arise because the interpretive options for situation pronouns seem to be subject to (...) various restrictions. This paper is primarily concerned with situation pronouns inside of determiner phrases, arguing that they are introduced as arguments of (certain) determiners. Verbal predicates, on the other hand, are assumed to not combine with a situation pronoun. The various restrictions on their interpretation are shown to fall out from the semantic system that is developed based on that view. Further support for such an account comes from situation semantic analyses of donkey sentences as well as data on the temporal interpretation of nominal predicates. Its ability to account for this full range of data in a unified manner is shown to set it apart from previous proposals. The paper closes with an outlook on further extensions, including an account of quantifier domain restriction based on situation pronouns. (shrink)

The meaning of have is notoriously difficult to define; sometimes it seems to denote possession, but often, it seems to denote nothing, only to complicate composition. This paper focuses on the cases where have embeds a small clause, proposing that all it accomplishes is abstraction, turning the small clause into a predicate. This analysis is extended to the cases where have appears to embed DPs: These objects are interpreted as small clauses as well, with implicit predicates denoting possession or—with relational (...) nouns—nothing. (shrink)

The meaning of definite descriptions (like ‘the King of France’, ‘the girl’, etc.) has been a central topic in philosophy and linguistics for the past century. Indefinites (‘Something is on the floor’, ‘A child sat down’, etc.) have been relatively neglected in philosophy, under the Russellian assumption that they can be unproblematically treated as existential quantifiers. However, an important tradition, drawing from Stoic logic, has pointed to patterns which suggest that indefinites cannot be treated simply as existential quantifiers. The standard (...) dynamic semantic treatment of those phenomena, however, has well-known problems with negation and disjunction. -/- In this paper I develop a new approach to (in)definites. On my theory, truth-conditions are classical. But in addition to truth-conditions, meanings comprise a second dimension of what I call bounds. It is at the level of bounds, not truth-conditions, that I locate the characteristically dynamic coordination between indefinites and definites. The resulting system thus has a classical logic. This approach avoids dynamic semantics’ logical problems, and, more generally, yields a new perspective on the relation between truth-conditional and dynamic effects in natural language. (shrink)

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, which (...) have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

Both definite descriptions and pronouns are often anaphoric; that is, part of their interpretation in context depends on prior linguistic material in the discourse. For example: A student walked in. The student sat down. A student walked in. She sat down. One popular view of anaphoric pronouns, the d-type view, is that pronouns like ‘she’ go proxy for definite descriptions like ‘the student who walked in’, which are in turn treated in a classical Russellian or Fregean fashion. I argue for (...) a novel version of the d-type view in which anaphoric definites are restricted existential quantifiers that presuppose discourse uniqueness, which is uniqueness of discourse referent in the context, rather than uniqueness of object in the world. In other words, the anaphoric definites ‘the student’ and ‘she’ in and presuppose that there is a single object under discussion that is a student who walked in. I further argue that, by contrast, non-anaphoric definites are restricted existential quantifiers that presuppose worldly uniqueness, that is, that there is a unique object in the world that satisfies the descriptive information. The semantics for anaphoric and non-anaphoric definites accounts for the differences in truth conditions in discourses involving the two different types of definites, improving on existing accounts. It is further supported by crosslinguistic data. The semantics is formally implemented in a static system employing quantifier domain restriction in the style of Stanley and Szabo :219–261, 2000) and extended to account for bridging definites and donkey sentences. (shrink)

Szabó (Philos Rev 120(2):247–283, 2011) and Santorio (Philos Stud 164(1):41–59, 2013) have revived the case for Fodor’s (The linguistic description of opaque contexts, Ph.D. thesis, Massachusetts Institute of Technology, 1970) _specific yet opaque_ readings of determiner phrases in intensional constructions. Szabó claims that the existence of such readings gives reason to abandon standard theories of movement. Santorio claims that such readings imply that a quantification analysis of indefinites is false. I’m not so sure. To make my case, I supply a (...) situation semantics for these readings that both respects standard theories of movement and a quantificational analysis of indefinites. (shrink)

Cooper storage is a widespread technique for associating sentences with their meanings, used in diverse linguistic and computational linguistic traditions. This paper encodes the data structures and operations of cooper storage in the simply typed linear \-calculus, revealing the rich categorical structure of a graded applicative functor. In the case of finite cooper storage, which corresponds to ideas in current transformational approaches to syntax, the semantic interpretation function can be given as a linear homomorphism acting on a regular set of (...) trees, and thus generation can be done in polynomial time. (shrink)

The phenomenon of inverse linking, where a noun phrase embedded within another behaves with respect to binding as though it were structurally independent, has proven challenging for theories of the syntax–semantics interface. In this paper I show that, using an LF-movement style approach to the syntax–semantics interface, we can derive all and only the appropriate meanings for such constructions using no semantic operations other than function application and composition. The solution relies neither on a proliferation of lexical ambiguity nor on (...) abandoning the idea that pronouns denote variables, but rather on a straightforward (and standard) reification of assignment functions, which allows us to define abstraction operators within our models. (shrink)

Generic sentences involving phrasal conjunctions present a prima facie problem for the standard theory of generics according to which they express quasi-universal generalisations about what is characteristic for members of a particular kind. For example, the sentence ‘Elephants live in Africa and Asia’ is true, even though it is uncharacteristic for an elephant to live in both Africa and Asia. In response to this problem, theorists have recently proposed radical departures from the standard view. This paper argues that such departures (...) are unwarranted: not only do they fail to fully accommodate the data involving generic conjunctions, their scope is overly narrow, since the phenomena in question also arise in non-generic contexts. I propose a new theory of generics that aims to account for generic conjunctions in a principled manner and which sheds new light on the mereological commitments of natural language. (shrink)

This paper investigates the structure of English restrictive relative clauses. It provides support for the view that restrictive relative clauses are structurally ambiguous between two structures: the head-internal, raising structure and the matching structure, which has both an internal and an external head. We present a new test from extraposition facts that distinguishes between the raising and matching structures for relative clauses. Furthermore, this paper presents an account of the semantics of raising relative clauses which is intended to complete the (...) picture of the semantics of relative clauses. In particular, we argue that raising relative clauses are not islands for Quantifier Raising (QR) and that in these clauses there is successive cyclic movement through a CP-adjoined position. (shrink)

The goal of this paper is to revisit the phenomenon of bridging anaphora Thinking: readings in cognitive science, Cambridge University Press, Cambridge, pp 411–420, 1977) from the perspective of the German demonstrative plural pronoun die ‘they’. I argue that antecedentless die ‘they’ can be analyzed as a novel definite that is licensed by a suitable, contextually given situation and denotes the salient person who stand in a contextually given relation to that situation. Subsequently, I propose a formal semantic implementation of (...) my analysis in terms of Elbourne, analyzing the antecedentless demonstrative pronoun die ‘they’ as a definite description in disguise. (shrink)

Soames (Philos Top 15:44–87, 1987 , J Philos Logic 37:267–276, 2008 ) has argued that propositions cannot be sets of truth-supporting circumstances. This argument is criticized for assuming that various singular terms are directly referential when in fact there are good grounds to doubt this.

In some utterances, some material does not seem to be explicitly expressed in words, but nevertheless seems to be part of the literal content of the utterance rather than an implicature. I will call material of this kind implicit content. The following are some relevant examples from the literature. (1) Everyone was sick. (2) I haven’t eaten. (3) It’s raining. In the case of (1), we are supposed to have asked Stephen Neale how his dinner party went last night (Neale, (...) 1990, pp. 94–95) and received this as the reply. Obviously, we do not take Neale to be saying that everyone in the world was sick; we interpret him as saying that everyone who attended his dinner party was sick. How, then, do we come to incorporate the property of attending Neale’s dinner party into the proposition expressed, when it does not seem to be the denotation of any overt lexical items in the utterance? In uttering (2), I might be asserting that I have not eaten dinner today (Bach 1994, pp. 135–136), even though I do not use any audible words meaning ‘dinner’ or ‘today’. (I might thereby intend to create an implicature to the effect that we should go to a restaurant.) And in saying (3), I might be claiming that it is raining at 11.59pm on Halloween 2008 in Arkham, Massachusetts, even though I do not appear to mention any time or place (Perry 1986; Stanley 2000; Recanati 2002, 2004, 2007; Mart´ı 2006; Neale 2007). (shrink)

The implicit content associated with incomplete definite descriptions is contributed in the form of definite descriptions of situations. A definite description of this kind is contributed by a small structure in the syntax, which is interpreted, in general terms, as ‘the situation that bears R to s’.

Using a version of situation semantics, this article argues that bare and complex demonstratives are interpreted as individual concepts.

In this paper, we discuss the fact that not only adverbially quantified sentences with singular indefinites or bare plurals but also ones containing plural definites show Quantificational Variability Effects, that is, they receive readings according to which the quantificational force of the respective DP seems to depend on the quantificational force of the Q-adverb. We show that if the Q-adverb is a frequency adverb like usually, there is strong evidence that QVEs come about as indirect effects of a quantification over (...) situations. This conclusion is based on the fact that in such cases the availability of QVEs is constrained in ways that have no parallel in sentences containing adverbs of quantity like for the most part or quantificational DPs instead of frequency adverbs. We show that these constraints can be derived from plausible assumptions about how the situations to be quantified over are constrained: they have to be located in time on the basis of the most specific locally available information, and their running times are not allowed to overlap. (shrink)

Situation semantics was developed as an alternative to possible worlds semantics. In situation semantics, linguistic expressions are evaluated with respect to partial, rather than complete, worlds. There is no consensus about what situations are, just as there is no consensus about what possible worlds or events are. According to some, situations are structured entities consisting of relations and individuals standing in those relations. According to others, situations are particulars. In spite of unresolved foundational issues, the partiality provided by situation semantics (...) has led to some genuinely new approaches to a variety of phenomena in natural language semantics. In the way of illustration, this article includes relatively detailed overviews of a few selected areas where situation semantics has been successful: implicit quantifier domain restrictions, donkey pronouns, and exhaustive interpretations. It moreover addresses the question of how Davidsonian event semantics can be embedded in a semantics based on situations. Other areas where a situation semantics perspective has led to progress include attitude ascriptions, questions, tense, aspect, nominalizations, implicit arguments, point of view, counterfactual conditionals, and discourse relations. (shrink)

I survey the role of trivalence in theories of anaphora.

The first part of this article (Sections 1–5) focuses on the classical notions of scope and binding and their formal foundations. It argues that once their semantic core is properly understood, it can be implemented in various different ways: with or without movement, with or without variables. The second part (Sections 6–12) takes up the empirical issues that have redrawn the map in the past two decades. It turns out that scope is not a primitive. Existential scope and distributive scope (...) have to be distinguished, leaving few if any run-of-the-mill quantifiers. Scope behavior is also not uniform. At least three classes of expressions emerge: indefinites, distributive universals, and counters. Likewise, the bound variable interpretation of pronouns is joined by co-variation with situations. As a result, the classical notions of scope and binding are likely to end up as building blocks in the varied mechanisms at work in “scope phenomena” and “binding phenomena”, and not as self-contained analyses of those phenomena. (shrink)