I articulate the challenge disagreement poses for epistemic contextualism, and then discuss several possible replies on behalf of the contextualist.

Montague and Kaplan began a revolution in semantics, which promised to explain how a univocal expression could make distinct truth-conditional contributions in its various occurrences. The idea was to treat context as a parameter at which a sentence is semantically evaluated. But the revolution has stalled. One salient problem comes from recurring demonstratives: "He is tall and he is not tall". For the sentence to be true at a context, each occurrence of the demonstrative must make a different truth-conditional contribution. (...) But this difference cannot be accounted for by standard parameter sensitivity. Semanticists, consoled by the thought that this ambiguity would ultimately be needed anyhow to explain anaphora, have been too content to posit massive ambiguities in demonstrative pronouns. This article aims to revived the parameter revolution by showing how to treat demonstrative pronouns as univocal while providing an account of anaphora that doesn't end up re-introducing the ambiguity. (shrink)

The characteristic property of definite descriptions in natural language is commonly assumed to be their uniqueness requirement, although there is disagreement with respect to how occurrences should be interpreted, for instance with regard to the well-known restriction problem. I offer a novel argument against characterizing definite expressions in terms of uniqueness. If a singular definite description ?the F? implies that its denotation is the unique satisfier of ?F? (relative to a context) then there are real-life states of affairs that can (...) be described in simple first-order languages, but which we are simply unable to describe accurately in natural language. I argue, first, that there is no way to describe these states of affairs properly without using definite descriptions. Second, if definite descriptions imply uniqueness we will systematically get the wrong truth conditions, regardless of whatever semantic or pragmatic resources the defender of the uniqueness-implying approach invokes. Hence, the Russellian idea of characterizing definite descriptions in terms of uniqueness must be given up. In the final section I explain what an adequate account of definite expressions must achieve?primarily coordinating elements brought to salience by context or previous discourse?and sketch a way of accomplishing this by using a liberal version of familiarity theory. Although there may be other accounts that can do the job, the account I sketch (based on an approach that has largely been overlooked) shows promise and can easily deal with the inexpressibility problem. (shrink)

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used (...) as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (shrink)

By creating certain marks on paper, or by making certain sounds-breathing past a moving tongue-or by articulation of hands and bodies, language users can give expression to their mental lives. With language we command, assert, query, emote, insult, and inspire. Language has meaning. This fact can be quite mystifying, yet a science of linguistic meaning-semantics-has emerged at the intersection of a variety of disciplines: philosophy, linguistics, computer science, and psychology. Semantics is the study of meaning. But what exactly is "meaning"? (...) What is the exact target of semantic theory? Much of the early work in natural language semantics was accompanied by extensive reflection on the aims of semantic theory, and the form a theory must take to meet those aims. But this meta-theoretical reflection has not kept pace with recent theoretical innovations. This volume re-addresses these questions concerning the foundations of natural language semantics in light of the current state-of-the-art in semantic theorising. (shrink)

This paper offers a new unified theory about the meaning of the imperfective and progressive aspects that builds on earlier of analyses in the literature that treat the imperfective as denoting a universal quantifier (e.g. Bonomi, Linguist Philos, 20(5):469–514, 1997; Cipria and Roberts, Nat Lang Semant 8(4):297–347, 2000). It is shown that the problems associated with such an analysis can be overcome if the domain of the universal quantifier is taken to be a partition of a future extending interval into (...) equimeasured cells. Treating the partition-measure (the length of each partition-cell) as a contextually dependent variable allows for a unified treatment of the habitual and event-in-progress readings of the imperfective. It is argued that the contrast between the imperfective and the progressive has to do with whether the quantifier domain is a regular partition of the reference interval or a superinterval of the reference interval. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

In this paper I revive two important formal approaches to the interpretation of natural language, that of Montague and that of Karttunen and Peters. Armed with insights from dynamic semantics (Heim, Krifka) the two turn out to stand up against age-old criticisms in an orthodox fashion. The plan is mainly methodological, as I only want to illustrate the technical feasibility of the revived proposals. Even so, there are illuminating and welcome empirical consequences on the subject of scope islands (as discussed (...) by Abusch and Kratzer, among many others), as well as unintended theoretical implications in the contextualist debate (Grice, Recanati, Simons, Stanley, and many others again). (shrink)

The primary theoretical focus of this paper is on Free Choice uses of any, in particular on two phenomena that have remained largely unstudied. One involves the ability of any phrases to occur in affirmative episodic statements when aided by suitable noun modifiers. The other involves the difference between modals of necessity and possibility with respect to licensing of any. The central thesis advanced here is that FC any is a universal determiner whose domain of quantification is not a set (...) of particular individuals but the set of possible individuals of the relevant kind. In a theory of genericity utilizing situations, an any phrase can be seen as having a universal quantifier binding the situation variable of the common noun. This inherent genericity is argued to be at the heart of the intuition that any statements support counterfactual inferences and do not involve existential commitments. A conflict in presuppositions is shown to account for the incompatibility of unmodified any phrases in affirmative episodic statements and the crucial role played by modification in ameliorating this clash is explicated. In the case of modals of necessity, the interaction between the universal force of any and the particular modal base is shown to be crucial. In view of these facts it is argued that FC any is not directly licensed by modal or generic operators as generally assumed but that its felicitous use is sensitive to the pragmatics of epistemic modality. Turning to its polarity sensitive uses, language internal as well as crosslinguistic evidence is presented to distinguish it from FC any in having the existential quantificational force typical of indefinites. The paper concludes by suggesting that the common tie between them is that they both occur in statements that apply to a class of entities, rather than to particular members of the class. (shrink)

Sometimes form-meaning mappings in language are not arbitrary, but iconic: they depict what they represent. Incorporating iconic elements of language into a compositional semantics faces a number of challenges in formal frameworks as evidenced by the lengthy literature in linguistics and philosophy on quotation/direct speech, which iconically portrays the words of another in the form that they were used. This paper compares the well-studied type of iconicity found with verbs of quotation with another form of iconicity common in sign languages: (...) classifier predicates. I argue that these two types of verbal iconicity can, and should, incorporate their iconic elements in the same way using event modification via the notion of a context dependent demonstration. This unified formal account of quotation and classifier predicates predicts that a language might use the same strategy for conveying both, and I argue that this is the case with role shift in American Sign Language. Role shift is used to report others’ language and thoughts as well as their actions, and recently has been argued to provide evidence in favor of Kaplanian “monstrous” indexical expressions. By reimagining role shift as involving either quotation for language demonstrations or “body classifier” predicates for action demonstrations, the proposed account eliminates one major argument for these monsters coming from sign languages. Throughout this paper, sign languages provide a fruitful perspective for studying quotation and other forms of iconicity in natural language due to their lack of a commonly used writing system which is otherwise often mistaken as primary data instead of speech, the rich existing literature on iconicity within sign language linguistics, and the ability of role shift to overtly mark the scope of a language report. In this view, written language is merely a special case of a more general phenomenon of sign and speech demonstration, which accounts more accurately for natural language data by permitting more strict or loose verbatim interpretations of demonstrations through the context dependent pragmatics. (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 offers a critical review of the notion of a “singular cognitive role”, which is central to some recent theories of singular thought. According to those theories, whether a thought is singular depends on the role it plays in the subject’s cognitive activity. We compare the two most developed accounts of this type: Crane’s :21–43 2011, The Objects of Thought2013) and Jeshion’s. Both theories aim to capture the notion of a singular cognitive role in terms of mental files. We (...) argue that Jeshion’s theory is much more promising as it provides a more detailed and non-circular characterization of the mental files responsible for singular thinking. We examine the prospects for enhancing that account in light of three major concerns about it present in the literature. First, we discuss whether the weakest aspect of the whole proposal, i.e. the condition for the initiation of mental files, can be replaced without debilitating the rest of the theory. Second, we examine Goodman’s : 437–461 2014, The Philosophical Quarterly2015) argument against mental file theories of singular thought and show that it does not affect Jeshion’s account. Third, we argue against Sawyer :264–283 2012) that Jeshion’s notion of a singular cognitive role is in strong opposition to acquaintance-based theories of singular thought and cannot be incorporated into any of them. Thus, the paper concludes that Jeshion’s proposal, despite its shortcomings, is currently the most promising account of a singular cognitive role. (shrink)

This paper investigates the truth conditions of sentences containing indefinite noun phrases, focusing on occurrences in attitude reports, and, in particular, a puzzle case due to Walter Edelberg. It is argued that indefinites semantically contribute the (thought-)object they denote, in a manner analogous to attributive definite descriptions. While there is an existential reading of attitude reports containing indefinites, it is argued that the existential quantifier is contributed by the de re interpretation of the indefinite (as the de re reading adds (...) existential quantification to the interpretation of definites on Kaplan’s analysis). (shrink)

Causal pluralists hold that that there is not just one determinate kind of causation. Some causal pluralists hold that ‘cause’ is ambiguous among these different kinds. For example, Hall (2004) argues that ‘cause’ is ambiguous between two causal relations, which he labels dependence and production. The view that ‘cause’ is ambiguous, however, wrongly predicts zeugmatic conjunction reduction, and wrongly predicts the behaviour of ellipsis in causal discourse. So ‘cause’ is not ambiguous. If we are to disentangle causal pluralism from the (...) ambiguity claim, we need to consider what other linguistic approaches are available to the causal pluralist. I consider and reject proposals that ‘cause’ is a general term, that the term is an indexical, and that the term conveys different kinds of causation through implicature or presupposition. Finally, I argue that causal pluralism is better handled by treating ‘cause’ as a univocal term within a dynamic interpretation framework. (shrink)

This paper distinguishes between definiteness and determinacy. Definiteness is seen as a morphological category which, in English, marks a uniqueness presupposition, while determinacy consists in denoting an individual. Definite descriptions are argued to be fundamentally predicative, presupposing uniqueness but not existence, and to acquire existential import through general type-shifting operations that apply not only to definites, but also indefinites and possessives. Through these shifts, argumental definite descriptions may become either determinate or indeterminate. The latter option is observed in examples like (...) ‘Anna didn’t give the only invited talk at the conference’, which, on its indeterminate reading, implies that there is nothing in the extension of ‘only invited talk at the conference’. The paper also offers a resolution of the issue of whether possessives are inherently indefinite or definite, suggesting that, like indefinites, they do not mark definiteness lexically, but like definites, they typically yield determinate readings due to a general preference for the shifting operation that produces them. (shrink)

This paper offers a semantically-based solution to the problem of predicting whether a verb will display the subjective conjugation or the objective conjugation in Hungarian. This alternation correlates with the definiteness of the object, but definiteness is not a completely reliable indicator of the subjective/objective alternation, nor is specificity. A prominent view is that the subjective/objective alternation is conditioned by the syntactic category of the object, but this view has also been shown to be untenable. This paper offers a semantic (...) solution: If the referential argument of a phrase is lexically specified as familiar/new, then the phrase bears the feature [+DEF]/[−DEF], and this feature governs the conjugations. The notions of novelty and familiarity are made precise using a compositional version of DRT in the context of a suitably large fragment of Hungarian, including local and non-local personal pronouns, demonstratives, definite and indefinite articles, quantifiers, wh-words, numerals, and possessives. (shrink)

We propose an account of dynamic predicates which draws on the notion of force, eliminating reference to events in the linguistic semantics. We treat dynamic predicates as predicates of forces, represented as functions from an initial situation to a final situation that occurs ceteris paribus, that is, if nothing external intervenes. The possibility that opposing forces might intervene to prevent the transition to a given final situation leads us to a novel analysis of non-culminating accomplishment predicates in a variety of (...) languages, including the English progressive. We then apply the force-theoretic framework to the composition of basic Vendlerian eventuality types within a lexical-decomposition syntax. The difference between predicates of forces and predicates of situations is argued to underlie the dynamic/stative contrast, and also to allow for a formal treatment of the difference between be and stay. Consequences for the relationship between language and cognition are discussed. (shrink)

It is widely held that propositions are structured entities. In The Nature and Structure of Content (2007), Jeff King argues that the structure of propositions is none other than the syntactic structure deployed by the speaker/hearers who linguistically produce and consume the sentences that express the propositions. The present paper generalises from King’s position and claims that syntax provides the best in-principle account of propositional structure. It further seeks to show, however, that the account faces severe problems pertaining to the (...) fine individuation of propositions that the account entails. The ‘fineness of cut’ problem has been raised by Collins (The unity of linguistic meaning, 2007) and others. King (Philos Stud 163(3):763–781, 2013) responds to these complaints in ways this paper rebuts. Thus, the very idea of structured propositions is brought into doubt, for the best in-principle account of such structure appears to fail. (shrink)

In this paper we show that focus structure determines the interpretation of bare plurals in English: topic bare plurals are interpreted generically, focused bare plurals are interpreted existentially. When bare plurals are topics they must be specific, i.e. they refer to kinds. After type-shifting they introduce variables which can be bound by the generic quantifier, yielding characterizing generics. Existentially interpreted bare plurals are not variables, but denote properties that are incorporated into the predicate.The type of predicate determines the interpretation of (...) its bare plural subject. The individual/stage-level distinction, though important, is not sufficient: since only arguments can be topics, only those stage-level predicates which have locative arguments can have existential bare plural subjects.Certain verbs (e.g., hate) fail to incorporate their bare plural objects; therefore no existential reading of the object is available. We provide a novel solution to this puzzle based on the following two claims: (i) incorporated bare plurals do not introduce discourse referents; (ii) nonincorporating verbs are presuppositional. (shrink)

Spanish verbs display two past-tense forms, the pret´rito and the imperfecto. We offer an account of the semantics of these forms within a situation semantics, addressing a number of theoretically interesting questions about how to realize a semantics for tense and events in that type of framework. We argue that each of these forms is unambiguous, and that the apparent variety of readings attested for them derives from interaction with other factors in the course of interpretation. The meaning of the (...) imperfecto is constrained to always reflect atelic aktionsart. In addition, it contains a modal element, and a contextually-given accessibility relation over situations constrains the interpretation of the modal in ways that give rise to all the attested readings. The pret´rito is indeterminate with respect to aktionsart, neither telic nor atelic. One or the other aktionsart may be forced by other factors in the clause in which the pret´rito occurs, as well as by pragmatic contrast with the possibility of using the imperfecto. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive semantics: (...) truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

Traditional approaches to the semantics of questions analyze questions indirectly, via the notion of an answer. In recent work on inquisitive semantics, a different perspective is taken: the meaning of a question is equated with its resolution conditions, just like the meaning of a statement is traditionally equated with its truth-conditions. In this paper I argue that this proposal improves on previous approaches, combining the formal elegance and explanatory power of Groenendijk and Stokhof’s partition theory with the greater generality afforded (...) by answer-set theories. (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)

Approaches to anaphora generally seek to explain the potential for a DP to covary with a pronoun in terms of a combination of factors, such as the inherent semantics of the antecedent DP, its scope properties, and its structural position. A case in point is Reinhart’s classic condition on bound anaphora, paraphrasable as A DP can antecede a pronoun pro only if the DP c-commands pro at S-structure, supplemented with some extra machinery to allow indefinites to covary with pronouns beyond (...) their c-command domains. In the present paper, I explore a different take. I propose that anaphora is governed not by DPs and their properties; it is governed by predicates and their properties. To use a metaphor from dynamic semantics: discourse referents can only be ‘activated’ by predicates, never by DPs. This conceptually simple assumption is shown to have far-reaching consequences. For one, it yields a new take on weak crossover, arguably worthy of consideration. Moreover, it leads to a further general “restatement of the anaphora question”, in Reinhart’s words. (shrink)

The mass/count distinction attracts a lot of attention among cognitive scientists, possibly because it involves in fundamental ways the relation between language (i.e. grammar), thought (i.e. extralinguistic conceptual systems) and reality (i.e. the physical world). In the present paper, I explore the view that the mass/count distinction is a matter of vagueness. While every noun/concept may in a sense be vague, mass nouns/concepts are vague in a way that systematically impairs their use in counting. This idea has never been systematically (...) pursued, to the best of my knowledge. I make it precise relying on supervaluations (more specifically, ‘data semantics’) to model it. I identify a number of universals pertaining to how the mass/count contrast is encoded in the languages of the world, along with some of the major dimensions along which languages may vary on this score. I argue that the vagueness based model developed here provides a useful perspective on both. The outcome (besides shedding light on semantic variation) seems to suggest that vagueness is not just an interface phenomenon that arises in the interaction of Universal Grammar (UG) with the Conceptual/Intentional System (to adopt Chomsky’s terminology), but it is actually part of the architecture of UG. (shrink)

Mandarin Chinese exhibits two paradigms of conditionals with indefinite wh-words that have the semantics of donkey sentences, represented by ‘bare conditionals’ on the one hand and ruguo- and dou-conditionals on the other. The bare conditionals require multiple occurrences of wh-words, disallowing the use of overt or covert anaphoric elements in the consequent clause, whereas the ruguo- and dou-conditionals present a completely opposite pattern. We argue that the bare conditionals are cases of unselective binding par excellence (Heim 1982, Kamp 1981) while (...) the ruguo- and dou-conditionals are most naturally accounted for with the traditional E-type pronoun strategy of Evans (1980). We thus argue partly for a return to the E-type strategy (along with Heim 1990) but maintain the need for unselective binding in UG (cf. Kratzer 1989, Chierchia 1992). It is further shown that these two paradigms do not differ with respect to the proportion problem and the distribution of symmetric and asymmetric readings of Kadmon (1987), though they differ with respect to ∀ and ∃ readings (discussed in Chierchia 1992) in a non-trivial way that provides further support for the proposed approach. Finally, evidence is given that the bare conditionals should be kept apart from correlative constructions in languages like Hindi, and treated differently from the latter. (shrink)

I argue that alternative-denoting expressions interact with their semantic context by taking scope. With an empirical focus on indefinites in English, I show how this approach improves on standard alternative-semantic architectures that use point-wise composition to subvert islands, as well as on in situ approaches to indefinites more generally. Unlike grammars based on point-wise composition, scope-based alternative management is thoroughly categorematic, doesn’t under-generate readings when multiple sources of alternatives occur on an island, and is compatible with standard treatments of binding. (...) Unlike all in situ treatments of indefinites, relying on a true scope mechanism prevents over-generation when an operator binds into an indefinite. My account relies only on function application, some mechanism for scope-taking, and two freely-applying type-shifters: the first is Karttunen’s :3–44, 1977. https://doi.org/10.1007/BF00351935) proto-question operator, aka Partee’s Studies in discourse representation theory and the theory of generalized quantifiers, Foris, Dordrecht, 1986) IDENT, and the second can be factored out of extant approaches to the semantics of questions in the tradition of Karttunen. These type-shifters form a decomposition of LIFT, the familiar function mapping values into scope-takers. Exceptional scope of alternative-generating expressions arises via scopal pied-piping: indefinites take scope over their island, which then itself takes scope. (shrink)

In non‐literal uses of language, the content an utterance communicates differs from its literal truth conditions. Loose talk is one example of non‐literal language use (amongst many others). For example, what a loose utterance of (1) communicates differs from what it literally expresses: (1) Lena arrived at 9 o'clock. Loose talk is interesting (or so I will argue). It has certain distinctive features which raise important questions about the connection between literal and non‐literal language use. This paper aims to (i.) (...) introduce a range of novel data demonstrating certain overlooked features of loose talk, and (ii.) develop a new theory of the phenomenon which accounts for these data. In particular, this theory is motivated by the need to explain minimal pairs such as (2)-(3): (2) Lena arrived at 9 o'clock, but she did not arrive at 9 o'clock exactly. (3) ?? Lena did not arrive at 9 o'clock exactly, but she arrived at 9 o'clock. (2) and (3) agree in their truth conditions. Yet they differ in felicity. As such, they constitute a problem for any account which hopes to predict the acceptability of the loose use of a sentence from its truth conditions and the context of utterance alone. Instead, it will be argued, to explain loose talk phenomena we must posit an additional layer of meaning outstripping truth conditions. This layer of meaning is shown to exhibit a range of properties, all of which point to its being semantically encoded. Thus, if correct, the theory provides a new example of how semantic meaning must extend beyond literal, truth‐conditional content. (shrink)

Some utterances of imperative clauses have directive force—they impose obligations. Others have permissive force—they extend permissions. The dominant view is that this difference in force is not accompanied by a difference in semantic content. Drawing on data involving free choice items in imperatives, I argue that the dominant view is incorrect.

Here, I offer a rapid overview of the theory of metaphor, in order to situate the contributions to this volume in relation to one another and within the field more generally.

This paper develops a formal model of the subtle meaning differences that exist between grammatical alternatives in socially conditioned variation and how these variants can be used by speakers as resources for constructing personal linguistic styles. More specifically, this paper introduces a new formal system, called social meaning games, which allows for the unification of variationist sociolinguistics and game-theoretic pragmatics, two fields that have had very little interaction in the past. Although remarks have been made concerning the possible usefulness of (...) game-theoretic tools in the analysis of certain kinds of socially conditioned linguistic phenomena :645–668, 1977; Dror et al. in Lang Linguist Compass 7:561–579, 2013; in Lang Linguist Compass 8:230–242, 2014; Clark in Meaningful games: Exploring language with game theory, MIT Press, Cambridge, MA, 2014, among others), a general framework uniting game-theoretic pragmatics and quantitative sociolinguistics has yet to be developed. This paper constructs such a framework through giving a formalization of the Third Wave approach to the meaning of variation using signalling games and a probabilistic approach to speaker/listener beliefs of the kind commonly used in the Bayesian game-theoretic pragmatics framework :3–44, 2016, for recent overviews). (shrink)

Natural language semanticists have often found it useful to assume that all expressions denote sets of values. The approach is most prominent in the study of questions and prosodic focus, but also common in work on indefinites, disjunction, negative polarity, and scalar implicature. However, the most popular compositional implementation of this idea is known to face technical obstacles in the presence of object-language binding constructs, including, chiefly, lambda abstraction. The problem has been well-described on several occasions in the literature, and (...) in fact several solutions have been explored. This paper seeks to formalize the challenge of defining an indeterminate semantics for binding operators, and to formally establish the intuition that the challenge is in fact insurmountable. The primary benefit to this exercise is that it offers an abstract characterization of what it means to lift an operation from one semantic space to another, a notion which may be applied to domains having nothing to do with sets of alternatives. (shrink)

In this article, we describe and attempt to solve a puzzle arising from the interpretation of modified numerals like less than five and between two and five. The puzzle is this: such modified numerals seem to mean different things depending on whether they combine with distributive or non-distributive predicates. When they combine with distributive predicates, they intuitively impose a kind of upper bound, whereas when they combine with non-distributive predicates, they do not. We propose and explore in detail four solutions (...) to this puzzle, each involving some notion of maximality, but differing in the type of maximality involved and in the source of maximality. While the full range of data we consider do not conclusively favor one theory over the other three, we do argue that overall the evidence goes against the view that modified numerals lexically encode a ‘standard’ maximality operator, and suggests the need for a pragmatic blocking mechanism that filters out readings of sentences that are generated by the grammar but intuitively unavailable. (shrink)

A number of authors in favor of a unitary account of singular descriptions have alleged that the unitary account can be extrapolated to account for plural definite descriptions. In this paper I take a closer look at this suggestion. I argue that while the unitary account is clearly onto something right, it is in the end empirically inadequate. At the end of the paper I offer a new partitive account of plural definite descriptions that avoids the problems with both the (...) unitary account and standard Russellian analyses. (shrink)

Reductionists about knowledge-wh hold that "s knows-wh" (e.g. "John knows who stole his car") is reducible to "there is a proposition p such that s knows that p, and p answers the indirect question of the wh-clause." Anti-reductionists hold that "s knows-wh" is reducible to "s knows that p, as the true answer to the indirect question of the wh-clause." I argue that both of these positions are defective. I then offer a new analysis of knowledge-wh as a special kind (...) of de re knowledge. (shrink)

In this paper I revisit the main arguments for a predicate analysis of descriptions in order to determine whether they do in fact undermine Russell's theory. I argue that while the arguments without doubt provide powerful evidence against Russell's original theory, it is far from clear that they tell against a quantificational account of descriptions.

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.

Providing a compositional interpretation procedure for discourses in which descriptions of complex dependencies between interrelated objects are incrementally built is a key challenge for formal theories of natural language interpretation. This paper examines several quantificational phenomena and argues that to account for these phenomena, we need richly structured contexts of interpretation that are passed on between different parts of the same sentence and also across sentential boundaries. The main contribution of the paper is showing how we can add structure to (...) contexts in an incremental way, starting with the basic notion of context in classical first-order logic, i.e., interpretation contexts formalized as single total variable assignments. (shrink)

The paper proposes the first unified account of deictic/sentence-external and sentence-internal readings of singular different . The empirical motivation for such an account is provided by a cross-linguistic survey and an analysis of the differences in distribution and interpretation between singular different , plural different and same (singular or plural) in English. The main proposal is that distributive quantification temporarily makes available two discourse referents within its nuclear scope, the values of which are required by sentence-internal uses of singular different (...) to be distinct, much as its deictic uses require the values of two discourse referents to be distinct. Thus, we take sentence-internal readings to be a form of ‘association with distributivity’ that is similar to association with focus. The contrast between singular different , plural different and same is explained in terms of several kinds of quantificational distributors that license their internal readings. The analysis is executed in a stack-based dynamic system couched in type logic, so we get compositionality in the usual Montagovian way. Quantificational subordination and dependent indefinites in various languages provide additional motivation for the account. Investigating the connections between items with sentence-internal readings and the quantificational licensors of these readings opens up a larger project of formally investigating (i) the typology of quantificational distributors and distributivity-dependent items and (ii) the fine-grained contexts of evaluation needed to capture this typological variation. (shrink)

The paper argues that two distinct and independent notions of plurality are involved in natural language anaphora and quantification: plural reference (the usual non-atomic individuals) and plural discourse reference, i.e., reference to a quantificational dependency between sets of objects (e.g., atomic/non-atomic individuals) that is established and subsequently elaborated upon in discourse. Following van den Berg (PhD dissertation, University of Amsterdam, 1996), plural discourse reference is modeled as plural information states (i.e., as sets of variable assignments) in a new dynamic system (...) couched in classical type logic that extends Compositional DRT (Muskens, Linguistics and Philosophy, 19, 143-186, 1996). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The idea that plural info states are semantically necessary (in addition to non-atomic individuals) is motivated by relative-clause donkey sentences with multiple instances of singular donkey anaphora that have mixed (weak and strong) readings. At the same time, allowing for non-atomic individuals in addition to plural info states enables us to capture the intuitive parallels between singular and plural (donkey) anaphora, while deriving the incompatibility between singular (donkey) anaphora and collective predicates. The system also accounts for empirically unrelated phenomena, e.g., the uniqueness effects associated with singular (donkey) anaphora discussed in Kadmon (Linguistics and Philosophy, 13, 273-324, 1990) and Heim (Linguistics and Philosophy, 13, 131-177, 1990) among others. (shrink)

Generic statements express generalizations about categories and present a unique semantic profile that is distinct from quantified statements. This paper reports two studies examining the development of children's intuitions about the semantics of generics and how they differ from statements quantified by all, most, and some. Results reveal that, like adults, preschoolers recognize that generics have flexible truth conditions and are capable of representing a wide range of prevalence levels; and interpret novel generics as having near-universal prevalence implications. Results further (...) show that by age 4, children are beginning to differentiate the meaning of generics and quantified statements; however, even 7- to 11-year-olds are not adultlike in their intuitions about the meaning of most-quantified statements. Overall, these studies suggest that by preschool, children interpret generics in much the same way that adults do; however, mastery of the semantics of quantified statements follows a more protracted course. (shrink)

The grammatical constraints on anaphoric binding, known as binding principles, are observed to form a classical square of oppositions. These constraints are then analysed as the effect of phase quantifiers over reference markers in grammatical obliqueness hierarchies, and the resulting phase quantifiers are shown to be organised in a square of logical duality. The impact of this result on the distinction between quantificational and referential nominals as well as on the logical foundations of the semantics of nominals in general is (...) discussed. (shrink)

This paper is about an underappreciated aspect of generics: their non-specificity. Many uses of generics, utterances like ‘Seagulls swoop down to steal food’, express non-specific generalisations which do not specify their quantificational force or flavour. I consider whether this non-specificity arises as a by-product of context-sensitivity or semantic incompleteness but argue instead that generics semantically express non-specific generalisations by default as a result of quantifying existentially over more specific ones.