Inferences that result from exhaustification of a sentence S depend on the set of alternatives to S. In this paper, we present some inference patterns that are problematic for previous theories of alternatives and propose some structural constraints on the derivation of formal alternatives which derive the observations.

The underlying structures that are common to the world's languages bear an intriguing connection with early emerging forms of “core knowledge”, which are frequently studied by infant researchers. In particular, grammatical systems often incorporate distinctions that reflect those made in core knowledge. Here, I argue that this connection occurs because non-verbal core knowledge systematically biases processes of language evolution. This account potentially explains a wide range of cross-linguistic grammatical phenomena that currently lack an adequate explanation. Second, I suggest that developmental (...) researchers and cognitive scientists interested in knowledge representation can exploit this connection to language by using observations about cross-linguistic grammatical tendencies to inspire hypotheses about core knowledge. (shrink)

The underlying structures that are common to the world's languages bear an intriguing connection with early emerging forms of “core knowledge” (Spelke & Kinzler, 2007), which are frequently studied by infant researchers. In particular, grammatical systems often incorporate distinctions (e.g., the mass/count distinction) that reflect those made in core knowledge (e.g., the non-verbal distinction between an object and a substance). Here, I argue that this connection occurs because non-verbal core knowledge systematically biases processes of language evolution. This account potentially explains (...) a wide range of cross-linguistic grammatical phenomena that currently lack an adequate explanation. Second, I suggest that developmental researchers and cognitive scientists interested in (non-verbal) knowledge representation can exploit this connection to language by using observations about cross-linguistic grammatical tendencies to inspire hypotheses about core knowledge. (shrink)

This article develops a Gricean account for the computation of scalarimplicatures in cases where one scalar term is in the scope ofanother. It shows that a cross-product of two quantitative scalesyields the appropriate scale for many such cases. One exception iscases involving disjunction. For these, I propose an analysis that makesuse of a novel, partially ordered quantitative scale for disjunction andcapitalizes on the idea that implicatures may have different epistemic status.

Predicates such as tall or to know Latin, which intuitively denote permanent properties, are called individual-level predicates. Many peculiar properties of this class of predicates have been noted in the literature. One such property is that we cannot say #John is sometimes tall. Here is a way to account for this property: this sentence sounds odd because it triggers the scalar implicature that the alternative John is always tall is false, which cannot be, given that, if John is sometimes tall, (...) then he always is. This intuition faces two challenges. First: this scalar implicature has a weird nature, since it must be surprisingly robust (otherwise, it could be cancelled and the sentence rescued) and furthermore blind to the common knowledge that tallness is a permanent property (since this piece of common knowledge makes the two alternatives equivalent). Second: it is not clear how this intuition could be extended to other, more complicated properties of individual-level predicates. The goal of this paper is to defend the idea of an implicature-based theory of individual-level predicates by facing these two challenges. In the first part of the paper, I try to make sense of the weird nature of these special mismatching implicatures within the recent grammatical framework for scalar implicatures of Chierchia (Structures and beyond, 2004) and Fox (2007). In the second part of the paper, I show how this implicature-based line of reasoning can be extended to more complicated properties of individual-level predicates, such as restrictions on the interpretation of their bare plural subjects, noted in Carlson (Reference to kinds in English. Doctoral dissertation, University of Massachusetts at Amherst, 1977), Milsark (Linguistic Analysis 3.1: 1–29, 1977), and Fox (Natural Language Semantics 3: 283–341, 1995); restrictions on German word order, noted in Diesing (Indefinites, 1992); and restrictions on Q-adverbs, noted in Kratzer (The Generic Book, ed. Carlson and Pelletier, 125–175, 1995). (shrink)

Scalar implicatures depend on alternatives in order to avoid the symmetry problem. I argue for a structure-sensitive characterization of these alternatives: the alternatives for a structure are all those structures that are at most as complex as the original one. There have been claims in the literature that complexity is irrelevant for implicatures and that the relevant condition is the semantic notion of monotonicity. I provide new data that pose a challenge to the use of monotonicity and that support the (...) structure-sensitive definition. I show that what appeared to be a problem for the complexity approach is overcome once an appropriate notion of complexity is adopted, and that upon closer inspection, the argument in favor of monotonicity turns out to be an argument against it and in favor of the complexity approach. (shrink)

The computation of both Scalar Implicatures (SI) and Association with Focus (AF) is characterized with reference to sets of alternatives. However, it has generally been assumed that the relevant alternatives are determined in different ways for the two processes. Specifically, it has been assumed that the alternatives for SI – scalar alternatives – are computed by a special procedure specifically designed for implicatures, whereas the alternatives for AF – focus alternatives – are determined by the general theory of association with (...) focus – focus semantics. As far as we know, the only attempt to connect the two is Krifka (1995), under which scalar alternatives and focus alternatives are identical and determined by focus semantics. However, Krifka’s result is based on a specific stipulation about scalar items, which he borrows from Horn and incorporates into focus semantics, namely that scalar items are inherently focused and have their Horn Scale as their lexically specified focus values. (shrink)

We revisit a typological puzzle due to Horn (Doctoral Dissertation, UCLA, 1972) regarding the lexicalization of logical operators: in instantiations of the traditional square of opposition across categories and languages, the O corner, corresponding to ‘nand’ (= not and), ‘nevery’ (= not every), etc., is never lexicalized. We discuss Horn’s proposal, which involves the interaction of two economy conditions, one that relies on scalar implicatures and one that relies on markedness. We observe that in order to express markedness and to (...) account for a bigger typological puzzle, namely the absence of lexicalizations of ‘XOR’ (= exclusive or), ‘all-or-none’, and many other imaginable logical operators, one must restrict the basic lexicalizable elements to a small set of primitives. We suggest that an ordering based perspective, following Keenan and Faltz (Boolean semantics for natural language, 1985), makes the stipulated primitives that we arrive at more natural. We also propose a modification to Horn’s proposal, based on recent work on implicatures, in which only the implicature condition is operative and in which markedness is part of the definition of the alternatives for scalar implicatures rather than an independent condition. (shrink)

We present an argument for revising the theory of alternatives for Scalar Implicatures and for Association with Focus. We argue that in both cases the alternatives are determined in the same way, as a contextual restriction of the focus value of the sentence, which, in turn, is defined in structure-sensitive terms. We provide evidence that contextual restriction is subject to a constraint that prevents it from discriminating between alternatives when they stand in a particular logical relationship with the assertion or (...) the prejacent, a relationship that we refer to as symmetry. Due to this constraint on contextual restriction, discriminating between alternatives in cases of symmetry becomes the task of focus values. This conclusion is incompatible with standard type-theoretic definitions of focus values, motivating our structure-sensitive definition instead. (shrink)

According to the classical description of obviation, the subject of a subjunctive is disjoint in reference from the attitude-holder subject of the immediately higher clause. Inspired by Ruwet (1984/1991) and Farkas (1988; 1992), I present data from Hungarian where obviation in certain subjunctives is plainly lifted, and data where obviation occurs in indicatives. I argue that obviation is not the result of competition with another construction, and point to promising potential accounts in terms of semantics or pragmatics. My aim is (...) to contribute desiderata for a theory of obviation and exemptions from obviation. The discussion centers on new data from Hungarian and does not attempt to provide final answers or a novel formalization. However, it pays close attention to pertinent semantic and pragmatic literature (Searle 1969; Shoemaker 1996; Schlenker 2005; 2011; Kaufmann 2019; 2020) and makes critical use of it. (shrink)

This paper will be concerned with the conjunctive interpretation of a family of disjunctive constructions. The relevant conjunctive interpretation, sometimes referred to as a “free choice effect,” (FC) is attested when a disjunctive sentence is embedded under an existential modal operator. I will provide evidence that the relevant generalization extends (with some caveats) to all constructions in which a disjunctive sentence appears under the scope of an existential quantifier, as well as to seemingly unrelated constructions in which conjunction appears under (...) the scope of negation and a universal quantifier. (shrink)