This book offers a unique synthesis of past and current work on the structure, meaning, and use of negation and negative expressions, a topic that has engaged thinkers from Aristotle and the Buddha to Freud and Chomsky. Horn's masterful study melds a review of scholarship in philosophy, psychology, and linguistics with original research, providing a full picture of negation in natural language and thought; this new edition adds a comprehensive preface and bibliography, surveying research since the book's original publication.

In these essays the minimalist approach to linguistic theory is formulated and progressively developed.

Written by two of the leading figures in the field, this is a lucid and systematic introduction to semantics as applied to transformational grammars of the ...

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.

The notion of measurement plays a central role in human cognition. We measure people’s height, the weight of physical objects, the length of stretches of time, or the size of various collections of individuals. Measurements of height, weight, and the like are commonly thought of as mappings between objects and dense scales, while measurements of collections of individuals, as implemented for instance in counting, are assumed to involve discrete scales. It is also commonly assumed that natural language makes use of (...) both types of scales and subsequently distinguishes between two types of measurements. This paper argues against the latter assumption. It argues that natural language semantics treats all measurements uniformly as mappings from objects (individuals or collections of individuals) to dense scales, hence the Universal Density of Measurement (UDM). If the arguments are successful, there are a variety of consequences for semantics and pragmatics, and more generally for the place of the linguistic system within an overall architecture of cognition. (shrink)

The structural approach to alternatives :669–690, 2007; Fox and Katzir in Nat Lang Semant 19:87–107, 2011; Katzir in Semantics, pragmatics and the case of scalar implicatures, Palgrave Macmillan, London, pp 40–71, 2014) is the most developed attempt in the literature at solving the symmetry problem of scalar implicatures. Problematic data with indirect and particularised scalar implicatures have however been raised :249–270, 2015). To address these problems, Trinh and Haida proposed to augment the theory with the Atomicity Constraint. Here we show (...) that this constraint falls short of explaining minimal variants of the original problems, and moreover that it runs into trouble with the inferences of sentences involving gradable adjectives like full and empty. We furthermore discuss how the structural approach suffers at times from the problem of ‘too many lexical alternatives’ pointed out by Swanson :31–36, 2010), and at other times from the opposite problem of ‘too few lexical alternatives’. These three problems epitomise the challenge of constructing just enough alternatives under the structural approach to solve the symmetry problem in full generality. Finally, we also sketch another recent attempt at solving the symmetry problem, Bergen et al., 2016), which is based on relative informativity and complexity. We argue that Bergen et al. do not provide a general solution to the symmetry problem either, by pointing to some of the open problematic cases that remain for this approach as well. We conclude that while important progress has been made in the theory of alternatives for scalar implicatures in the last few years, a full solution to the symmetry problem has not yet been attained. (shrink)

A Logical Form (LF) is a syntactic structure that is interpreted by the semantic component. For a particular structure to be a possible LF it has to be possible for syntax to generate it and for semantics to interpret it. The study of LF must therefore take into account both assumptions about syntax and about semantics, and since there is much disagreement in both areas, disagreements on LF have been plentiful. This makes the task of writing a survey article in (...) the field fairly difficult, a difficulty that is amplified by the amount of material that needs to be covered if the result is going to be in any way representative. My response to this difficulty is to limit my objectives. As a start, I will confine myself to issues relating to the syntactic positions of Quantificational Noun Phrases (QNPs) at LF and to various interpretive consequences. But even within these relatively narrow confines, I will not attempt anything close to a comprehensive survey. Instead my goal will be restricted to the presentation of one leading idea and to the discussion of some evidence that might bear on it.1 Much research on the nature of LF has consisted in attempts to account for the meaning of sentences containing QNPs. (shrink)

In his recent paper on the symmetry problem Roni Katzir argues that the only relevant factor for the calculation of any Quantity implicature is syntactic structure. I first refute Katzir’s thesis with three examples that show that structural complexity is irrelevant to the calculation of some Quantity implicatures. I then argue that it is inadvisable to assume—as Katzir and others do—that exactly one factor is relevant to the calculation of any Quantity implicature.

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)

Building on the success of the bestselling first edition, the second edition of this textbook provides a comprehensive and accessible introduction to the major issues in Principles and Parameters syntactic theory, including phrase structure, the lexicon, case theory, movement, and locality conditions. Includes new and extended problem sets in every chapter, all of which have been annotated for level and skill type. Features three new chapters on advanced topics including vP shells, object shells, control, gapping and ellipsis and an additional (...) chapter on advanced topics in binding. Offers a brief survey of both Lexical-Functional Grammar and Head-Driven Phrase Structure Grammar. Succeeds in strengthening the reader's foundational knowledge, and prepares them for more advanced study. Supported by an instructor's manual and online resources for students and instructors, available at www.blackwellpublishing.com/carnie. (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)

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)

The structural approach to alternatives :669–690, 2007; Fox and Katzir in Nat Lang Semant 19:87–107, 2011; Katzir in Semantics, pragmatics and the case of scalar implicatures, Palgrave Macmillan, London, pp 40–71, 2014) is the most developed attempt in the literature at solving the symmetry problem of scalar implicatures. Problematic data with indirect and particularised scalar implicatures have however been raised :249–270, 2015). To address these problems, Trinh and Haida proposed to augment the theory with the Atomicity Constraint. Here we show (...) that this constraint falls short of explaining minimal variants of the original problems, and moreover that it runs into trouble with the inferences of sentences involving gradable adjectives like full and empty. We furthermore discuss how the structural approach suffers at times from the problem of ‘too many lexical alternatives’ pointed out by Swanson :31–36, 2010), and at other times from the opposite problem of ‘too few lexical alternatives’. These three problems epitomise the challenge of constructing just enough alternatives under the structural approach to solve the symmetry problem in full generality. Finally, we also sketch another recent attempt at solving the symmetry problem, Bergen et al., 2016), which is based on relative informativity and complexity. We argue that Bergen et al. do not provide a general solution to the symmetry problem either, by pointing to some of the open problematic cases that remain for this approach as well. We conclude that while important progress has been made in the theory of alternatives for scalar implicatures in the last few years, a full solution to the symmetry problem has not yet been attained. (shrink)

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.

Recently there has been a lively revival of interest in implicatures, particularly scalar implicatures. Building on the resulting literature, our main goal in the present paper is to establish an empirical generalization, namely that SIs can occur systematically and freely in arbitrarily embedded positions. We are not so much concerned with the question whether drawing implicatures is a costly option (in terms of semantic processing, or of some other markedness measure). Nor are we specifically concerned with how implicatures come about (...) (even though, to get going, we will have to make some specific assumptions on this matter). The focus of our discussion is testing the claim of the pervasive embeddability of SIs in just about any context, a claim that remains so far controversial. While our main goal is the establishment of an empirical generalization, if we succeed, a predominant view on the division of labor between semantics and pragmatics will have to be revised. A secondary goal of this paper is to hint at evidence that a revision is needed on independent grounds. But let us first present, in a rather impressionistic way, the reasons why a revision would be required if our main generalization on embedded SIs turns out to be correct. In the tradition stemming from Grice (1989), implicatures are considered a wholly pragmatic phenomenon and SIs are often used as paramount examples. Within such a tradition, 㳊 semantics is taken to deal with the compositional construction of sentence meaning (a term which we are using for now in a loose, non technical way), while pragmatics deals with how sentence meaning is actually put to use (i.e. enriched and possibly modified through reasoning about speakers’ intentions, contextually relevant information, etc.). Simply put, on this view pragmatics takes place at the level of complete utterances and pragmatic enrichments are a root phenomenon (something that happens globally to sentences) rather than a compositional one.. (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)