One of the great successes of the application of generalized quantifiers to natural language has been the ability to formulate robust semantic universals. When such a universal is attested, the question arises as to the source of the universal. In this paper, we explore the hypothesis that many semantic universals arise because expressions satisfying the universal are easier to learn than those that do not. While the idea that learnability explains universals is not new, explicit accounts of learning that can (...) make good on this hypothesis are few and far between. We propose a model of learning — back-propagation through a recurrent neural network — which can make good on this promise. In particular, we discuss the universals of monotonicity, quantity, and conservativity and perform computational experiments of training such a network to learn to verify quantifiers. Our results are able to explain monotonicity and quantity quite well. We suggest that conservativity may have a different source than the other universals. (shrink)

This paper deals with the question of what it is for a quantifier expression to be vague. First it draws a distinction between two senses in which quantifier expressions may be said to be vague, and provides an account of the distinction which rests on independently grounded assumptions. Then it suggests that, if some further assumptions are granted, the difference between the two senses considered can be represented at the formal level. Finally, it outlines some implications of the account provided (...) which bear on three debated issues concerning quantification. (shrink)

In the study of natural language quantification, much recent attention has been devoted to the investigation of verification procedures associated with the proportional quantifier most. The aim of these studies is to go beyond the traditional characterization of the semantics of most, which is confined to explicating its truth-functional and presuppositional content as well as its combinatorial properties, as these aspects underdetermine the correct analysis of most. The present paper contributes to this effort by presenting new experimental evidence in support (...) of a decompositional analysis of most according to which it is a superlative construction built from a gradable predicate many or much and the superlative operator -est. Our evidence comes in the form of verification profiles for sentences like Most of the dots are blue which, we argue, reflect the existence of a superlative reading of most. This notably contrasts with Lidz et al.’s results. To reconcile the two sets of data, we argue, it is necessary to take important differences in task demands into account, which impose limits on the conclusions that can be drawn from these studies. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

Modifying the descriptive and theoretical generalizations of Relativized Minimality, we argue that a significant subset of weak island violations arise when an extracted phrase should scope over some intervener but is unable to. Harmless interveners seem harmless because they can support an alternative reading. This paper focuses on why certain wh-phrases are poor wide scope takers, and offers an algebraic perspective on scope interaction. Each scopal element SE is associated with certain operations (e.g., not with complements). When a wh-phrase scopes (...) over some SE, the operations associated with that SE are performed in its denotation domain. The requisite operations may or may not be available in a domain, however. We present an empirical analysis of a variety of wh-phrases. It is argued that the wh-phrases that escape all weak islands (i.e., can scope over any intervener) are those that range over individuals, the reason being that all Boolean operations are defined for their domain. Collectives, manners, amounts, numbers, etc. all denote in domains with fewer operations and are thus selectively sensitive to scopal interveners—a “semantic relativized minimality effect”. (shrink)

Ways of Scope Taking is concerned with syntactic, semantic and computational aspects of scope. Its starting point is the well-known but often neglected fact that different types of quantifiers interact differently with each other and other operators. The theoretical examination of significant bodies of data, both old and novel, leads to two central claims. (1) Scope is a by-product of a set of distinct Logical Form processes; each quantifier participates in those that suit its particular features. (2) Scope interaction is (...) further constrained by the semantics of the interacting operators. The arguments are developed using Minimalist syntax, Generalized Quantify theory, Discourse Representation Theory, and algebraic semantics. The contributors (Beghelli, Ben-Shalom, Doetjes, Farkas, Gutiérrez Rexach, Honcoop, Stabler, Stowell, Szabolcsi and Zwarts) make tightly related theoretical assumptions and focus on related empirical phenomena, which include the direct and inverse scope of quantifiers, distributivity, negation, modal and intensional contexts, weak islands, event-related readings, interrogatives, wh/quantifier interactions, and Hungarian syntax. An introduction to the formal semantics background is provided. Audience: Linguists, philosophers, computational and psycholinguists; advanced undergraduates, graduate students and researchers in these fields. (shrink)

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)

In a recent article, “Logical Consequence and Natural Language”, Michael Glanzberg claims that there is no relation of logical consequence in natural language (2015). The present paper counters that claim. I shall discuss Glanzberg’s arguments and show why they don’t hold. I further show how Glanzberg’s claims may be used to rather support the existence of logical consequence in natural language.

Deflationism about truth describes truth as a logical notion. In the present paper, I explore the implication of the alleged logicality of truth from the perspective of axiomatic theories of truth, and argue that the deflationist doctrine of the logicality of truth gives rise to two types of self-undermining arguments against deflationism, which I call the conservativeness argument from logicality and the topic-neutrality argument.

In the so-called reverse proportional reading :53, 1997), the truth conditions of statements of the form many/few \\ appear to make reference to the ratio of the individuals that are in the extensions of both \ and \ to the individuals that are in the extension of \. The analysis of such readings is controversial. One prominent approach assumes they are a symptom of many and few making reference to a context dependent standard of comparison. We observe that this initially (...) attractive approach systematically undergenerates, failing to capture pervasive reverse proportionality in environments that remove context dependency of the standard. Instead, we propose that reverse proportionality in such cases can arise from the underspecification of the measure function underlying the meanings of many and few. (shrink)

I attempt an explication of what it means for an operation across domains to be the same on all domains, an issue that ) took to be central for a successful delimitation of the logical operations. Some properties that seem strongly related to sameness are examined, notably isomorphism invariance, and sameness under extensions of the domain. The conclusion is that although no precise criterion can satisfy all intuitions about sameness, combining the two properties just mentioned yields a reasonably robust and (...) useful explication of sameness across domains. (shrink)

This chapter offers a logical, linguistic, and philosophical account of modern quantification theory. Contrasting the standard approach to quantifiers (according to which logical quantifiers are defined by enumeration) with the generalized approach (according to which quantifiers are defined systematically), the chapter begins with a brief history of standard quantifier theory and identifies some of its logical, linguistic, and philosophical strengths and weaknesses. It then proceeds to a brief history of generalized quantifier theory and explains how it overcomes the weaknesses of (...) the standard theory. One of the main philosophical advantages of the generalized theory is its philosophically informative criterion of logicality. The chapter describes the work done so far in this theory, highlights some of its central logical results, offers an overview of its main linguistic contributions, and discusses its philosophical significance. (shrink)

This article surveys the state of the art in the field of semantic universals. We examine potential semantic universals in three areas: (i) the lexicon, (ii) semantic “glue” (functional morphemes and composition principles), and (iii) pragmatics. At the level of the lexicon, we find remarkably few convincing semantic universals. At the level of functional morphemes and composition principles, we discuss a number of promising constraints, most of which require further empirical testing and/or refinement. In the realm of pragmatics, we predict (...) that Gricean mechanisms are universal, but suggest that the precise nature of presuppositions may be subject to cross-linguistic variation. Finally, we follow E.L. Keenan in concluding that the overarching universal of effability or translatability between languages cannot be upheld in its strongest form. A recurring theme throughout this survey is how much work still remains to be done in the relatively young field of cross-linguistic formal semantics. (shrink)

Besides their ordinary cardinal and proportional meanings, many and few have been argued to allow for a ‘reverse proportional’ reading. This reading has later been characterised in two opposite directions: Cohen’s reading where the proportion \ matters and Herburger’s where it does not. We develop a compositional analysis that derives the correct truth conditions for both characterisations of Westerståhl-style sentences while maintaining conservativity, assuming a standard syntax/semantics mapping and reducing their context-dependence to mechanisms independently needed for degree constructions in general. (...) In a nutshell, mirroring the decomposition of other degree expressions like tall, many is decomposed into the parametrized determiner many and the operator POS, where POS combines with a contextually salient comparison class C matching the alternatives triggered by some element X\ in the sentence. Non-reverse readings obtain when X\ is external to the original host NP and reverse readings when X\ is internal to the host NP. Cohen’s truth conditions for Westerståhl-style sentences are derived as a reverse proportional reading and Herburger’s interpretation as a sub-case of the non-reverse cardinal reading. (shrink)

This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...) for modals into a dynamic semantics for modals with similar properties. (shrink)

This paper presents an extensional account of manyand few that explains data that have previously motivated intensional analyses of these quantifiers :599–620, 2000). The key insight is that their semantic arguments are themselves set intersections: the restrictor is the intersection of the predicates denoted by the N’ or the V’ and the restricted universe, U, and the scope is the intersection of the N’ and V’. Following Cohen, I assume that the universe consists of the union of alternatives to the (...) nominal and verbal predicates, where an alternative to a property ψ is one that shares a pragmatic presupposition with ψ, and a pragmatic presupposition is one that is selected by context from a set of potential presuppositions associated with the sentence. A many/few-quantified sentence is then true iff the proportion of the scope to the restrictor is greater/less than some threshold, n. In addition to explaining various problematic cases from the literature, the analysis shows how the readings of a many/few-quantified sentence can be derived from the same syntactico-semantic structure, it being unnecessary to claim lexical or structural ambiguity. The analysis also provides strong support for the idea that natural language quantification is always purely extensional. (shrink)

This paper revisits a challenge for contextualist approaches to paradoxes such as the Liar paradox and Russell’s paradox. Contextualists argue that these paradoxes are to be resolved by appeal to context dependence. This can offer some nice and effective ways to avoid paradox. But there is a problem. Context dependence is, at least to begin with, a phenomenon in natural language. Is there really such context dependence as the solutions to paradoxes require, and is it really just a familiar linguistic (...) phenomenon at work? Not so clearly. In earlier work, I argued that the required form of context dependence does not look like our most familiar instances of context dependence in natural language. I called this extraordinary context dependence. In this paper, I shall explore, somewhat tentatively, a way that we can see the context dependence needed to address paradoxes as not so extraordinary. Doing so will also allow us to connect thinking about the context dependence of quantifier domains with some interesting ideas about the distinctive semantic properties of certain quantifiers. (shrink)

This paper revisits a challenge for contextualist approaches to paradoxes such as the Liar paradox and Russell’s paradox. Contextualists argue that these paradoxes are to be resolved by appeal to context dependence. This can offer some nice and effective ways to avoid paradox. But there is a problem. Context dependence is, at least to begin with, a phenomenon in natural language. Is there really such context dependence as the solutions to paradoxes require, and is it really just a familiar linguistic (...) phenomenon at work? Not so clearly. In earlier work, I argued that the required form of context dependence does not look like our most familiar instances of context dependence in natural language. I called this extraordinary context dependence. In this paper, I shall explore, somewhat tentatively, a way that we can see the context dependence needed to address paradoxes as not so extraordinary. Doing so will also allow us to connect thinking about the context dependence of quantifier domains with some interesting ideas about the distinctive semantic properties of certain quantifiers. (shrink)

Besides their cardinal and proportional readings, many and few have been argued to allow for a ‘reverse’ proportional reading that defies the conservativity universal. Recently, an analysis has been developed that derives the correct truth conditions for this reading while preserving conservativity. The present paper investigates two predictions of this analysis, based on two key ingredients. First, many is decomposed into a determiner stem many and the degree operator POS. This predicts that other elements may scopally intervene between the two (...) parts. Second, non-reverse and reverse readings arise from the versatile association possibilities of POS, as independently witnessed in the grammar. In languages in which the same versatile association profile is granted to the superlative degree operator -est, reverse readings are expected to arise for most as well. Both predictions are borne out. (shrink)

What we call first‐order logic over fixed domain was initiated, in a certain guise, by Peirce around 1885 and championed, albeit in idiosyncratic form, by Zermelo in papers from the 1930s. We characterise such logics model‐ and proof‐theoretically and argue that they constitute exploration of a clearly circumscribed conception of domain‐dependent generality. Whereas a logic, or family of such, can be of interest for any of a variety of reasons, we suggest that one of those reasons might be that said (...) logic fosters some clarification regarding just what qualifies as a logical concept, a logical operation, or a logical law. (shrink)

The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief (...) outlook on the "family" of theories of truth generated by the new methodology. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

In addition to the familiar cardinal and proportional readings of many and few, there is yet another interpretation, the relative proportional reading. This reading, unlike the ordinary absolute proportional reading, is not conservative. Under the relative reading, 'Many ψs are φs' is true just in case the proportion of φs among ψs is greater than the proportion of φs among members of contextually given alternatives to ψ. I provide a definition of proportional readings that reduces the differences between absolute and (...) relative interpretations to the value of a single parameter.I argue that relative readings are not restricted to many and few, but are also exhibited by the adverbs often and seldom, and by generics. Interpretations of determiners that have been treated as "focus-affected readings," interpretations of adverbs of quantification that have been treated as "pure frequency readings," and interpretations of generics which have been claimed to be cases of "reverse interpretation" or "direct kind predication" are, in fact, instances of relative readings.A: Army reserve service is especially hard on people who own a small business.Q: Do many small-business owners serve in your regiment?A: I don't know what it's like in other regiments –Q: I am not asking you about other regiments.A: I know, but relatively speaking . . .(Interview on Israel Army Radio, June 8th, 2001). (shrink)

We develop a framework for natural language semantics which handles intensionality via metalogical constructions and deals with degree truth values in an integrated way. We take an axiomatic set theory, ZF, as the foundation for semantic representations, but we make ZF a metalanguage for part of itself by embedding a language ℒ within ZF which is basically a copy of the part of ZF consisting of set expressions. This metalogical set-up is used for handling propositional attitude verbs (limited to believe (...) in this paper). We define a truth function τ which determines the truth value τ(p, T) of an ℒ-proposition p with respect to a theory T. Theories are sets of ℒ-propositions with associated truth values, and can be viewed as a (much more well-defined) replacement for possible worlds. We develop a mechanism for defining belief worlds as theories. We simultaneously develop two different versions of our system - a Boolean version where the set Ω of truth values is {0, 1}, and a degree-truth version where Ω is the interval [0, 1] of real numbers. We use degrees of truth in handling a broad class of semantic predicates that we call base-focus predicates, which include generalized quantifiers as well as many adverb and adjective senses and certain discourse-level predicates. (shrink)

Following on Westerståhl’s argument that many is not Conservative [9], I propose an intensional account of Conservativity as well as intensional versions of EXT and Isomorphism closure. I show that an intensional reading of many can easily possess all three of these, and provide a formal statement and proof that they are indeed proper intensionalizations. It is then discussed to what extent these intensionalized properties apply to various existing readings of many.

I argue that common nouns should be analyzed as variables, rather than as predicates which take variables as arguments. This necessitates several unusual features to the analysis, such as allowing variables to be modally non-rigid, and assigning their values compositionally. However, treating common nouns as variables offers a variety of theoretical and empirical advantages over a more traditional analysis: It predicts the conservativity of nominal quantification, simplifies the analysis of articleless languages, derives the weak reading of sentences with donkey anaphora, (...) solves the proportion problem presented by quantifiers like ‘most’, improves the analysis of the temperature paradox, allows a more unified analysis of bare plurals, and regularizes the correspondence between syntactic categories and semantic types. (shrink)

We review the various explanations that have been offered toaccount for subjects'' behaviour in Wason ''s famous selection task. Weargue that one element that is lacking is a good understanding ofsubjects'' semantics for the key expressions involved, and anunderstanding of how this semantics is affected by the demands the taskputs upon the subject''s cognitive system. We make novel proposals inthese terms for explaining the major content effects of deonticmaterials. Throughout we illustrate with excerpts from tutorialdialogues which motivate the kinds of (...) analysis proposed. Our long termgoal is an integration of the various insights about conditionalreasoning on offer from different cognitive science methodologies. Thepurpose of this paper is to try to draw the attention of logicians andsemanticists to this area, since we believe that empirical investigationof the cognitive processes involved could benefit from semanticanalyses. (shrink)