We introduce a novel set-intersection operator called ‘most-intersection’ based on the logical quantifier ‘most’, via natural density of countable sets, to be used in determining the majority chara...

Ontological pluralism is the view that there are different fundamental ways of being. Recent defenders of this view—such as Kris McDaniel and Jason Turner—have taken these ways of being to be best captured by semantically primitive quantifier expressions ranging over different domains. They have thus endorsed, what I shall call, quantificational pluralism. I argue that this focus on quantification is a mistake. For, on this view, a quantificational structure—or a quantifier for short—will be whatever part or aspect of reality’s structure (...) that a quantifier expression carves out and reflects. But if quantificational pluralism is true, then a quantifier should be more natural than its corresponding domain; and since it does not appear to be the case that a quantifier is more natural than its corresponding domain, quantificational pluralism does not appear to be true. Thus, I claim, an ontological pluralist should not be a quantificational pluralist. (shrink)

Nguyen argues that only his radically pragmatic account and Sterken’s indexical account can capture what we call the positive data. We present some new data, which we call the negative data, and argue that no theory of generics on the market is compatible with both the positive data and the negative data. We develop a novel version of the indexical account and show that it captures both the positive data and the negative data. In particular, we argue that there is (...) a semantic constraint that, in any context, the semantic value of GEN is upward monotone and non-symmetric. On the other hand, the pragmatic account has difficulty accommodating the negative data. This is because no pragmatic principles have been developed that can explain the negative data. In the paper, we focus on only the pragmatic account and the indexical account, but our discussion has broad implications for the debate on generics: any empirically adequate accounts of generics must be flexible enough to accommodate the positive data and yet constrained enough to accommodate the negative data. (shrink)

Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on this criterion. The first is the perspective of natural language. Here, the invariance criterion is measured by its success in capturing our linguistic intuitions about logicality and explaining our logical behavior in natural-linguistic settings. The second perspective is more theoretical. Here, the invariance criterion (...) is used as a tool for developing a theoretical foundation of logic, focused on a critical examination, explanation, and justification of its veridicality and modal force. (shrink)

According to one prominent strand of mainstream logic and metaphysics, identity is indistinguishability. Priest has recently argued that this permits counterexamples to the transitivity and substitutivity of identity within dialetheic metaphysics, even in paradigmatically extensional contexts. This paper investigates two alternative regimentations of indistinguishability. Although classically equivalent to the standard regimentation on which Priest focuses, these alternatives are strictly stronger than it in dialetheic settings. Both regimentations are transitive, and one satisfies substitutivity. It is argued that both regimentations provide better (...) candidates to occupy the core theoretical role of numerical identity than does the standard regimentation. (shrink)

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)

We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time or memory, to (...) be practically computable. Computational complexity theory is concerned with the amount of resources required for the execution of algorithms and, hence, the inherent difficulty of computational problems. An important goal of computational complexity theory is to categorize computational problems via complexity classes, and in particular, to identify efficiently solvable problems and draw a line between tractability and intractability. -/- We survey how complexity can be used to study computational plausibility of cognitive theories. We especially emphasize methodological and mathematical assumptions behind applying complexity theory in cognitive science. We pay special attention to the examples of applying logical and computational complexity toolbox in different domains of cognitive science. We focus mostly on theoretical and experimental research in psycholinguistics and social cognition. (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)

When embedding data are used to argue against semantic theory A and in favor of semantic theory B, it is important to ask whether A could make sense of those data. It is possible to ask that question on a case-by-case basis. But suppose we could show that A can make sense of all the embedding data which B can possibly make sense of. This would, on the one hand, undermine arguments in favor of B over A on the basis (...) of embedding data. And, provided that the converse does not hold—that is, that A can make sense of strictly more embedding data than B can—it would also show that there is a precise sense in which B is more constrained than A, yielding a pro tanto simplicity-based consideration in favor of B. In this paper I develop tools which allow us to make comparisons of this kind, which I call comparisons of potential expressive power. I motivate the development of these tools by way of exploration of the recent debate about epistemic modals. Prominent theories which have been developed in response to embedding data turn out to be strictly less expressive than the standard relational theory, a fact which necessitates a reorientation in how to think about the choice between these theories. (shrink)

The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original...

Aristotle draws what are, by our lights, two unusual relationships between predication and existence. First, true universal affirmations carry existential import. If ‘All humans are mortal’ is true, for example, then at least one human exists. And secondly, although affirmations with empty terms in subject position are all false, empty negations are all true: if ‘Socrates’ lacks a referent, then both ‘Socrates is well’ and ‘Socrates is ill’ are false but both ‘Socrates is not well’ and ‘Socrates is not ill’ (...) are true. In this paper, I conjecture that for Aristotle predications have mereological truth conditions: for example, ‘Socrates is pale’ is true just in case Socrates is a part of the mereological sum of pale things. The existential import of universal affirmations and the semantic profile of empty negations follow from this mereological semantics. (shrink)

In order to uphold the claim that referential intuitions are a reliable source of evidence for theories of reference, Machery et al. conducted an empirical research by testing truth-value judgments. First, we discuss a conceptual limitation of Machery et al. ’s experiment on truth-value judgments. Then, we present the data of an empirical survey that shows that people’s truth-value judgments are not congruent with their use of proper names. We explain why the results of our empirical research refute the conclusions (...) of Machery et al. ’s experiment on truth-value judgments. We conclude that referential intuitions are still problematic. (shrink)

The paper clarifies and defends the orthodox view that counterfactual conditionals with impossible antecedents are vacuously true against recent criticisms. It argues that apparent counterexamples to orthodoxy result from uncritical reliance on a fallible heuristic used in the processing of conditionals. A comparison is developed between such counterpossibles and vacuously true universal generalizations.

Duality in Logic and Language [draft--do not cite this article] Duality phenomena occur in nearly all mathematically formalized disciplines, such as algebra, geometry, logic and natural language semantics. However, many of these disciplines use the term ‘duality’ in vastly different senses, and while some of these senses are intimately connected to each other, others seem to be entirely … Continue reading Duality in Logic and Language →.

A special kind of substitution on languages called iteration is presented and studied. These languages arise in the application of semantic automata to iterations of generalized quantifiers. We show that each of the star-free, regular, and deterministic context-free languages are closed under iteration and that it is decidable whether a given regular or determinstic context-free language is an iteration of two such languages. This result can be read as saying that the van Benthem/Keenan ‘Frege Boundary’ is decidable for large subclasses (...) of natural language quantifiers. We also determine the state complexity of iteration of regular languages. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

The problem concerns quantifiers that seem to hover between universal and existential readings. I argue that they are neither, but a different quantifier that has features of each. NOTE the published paper has a mistake. I have corrected this in the version on this site. A correction note will appear in Analysis.

In this paper I propose a set-theoretical interpretation of the logical square of opposition, in the perspective opened by generalized quantifier theory. Generalized quantifiers allow us to account for the semantics of quantificational Noun Phrases, and of other natural language expressions, in a coherent and uniform way. I suggest that in the analysis of the meaning of Noun Phrases and Determiners the square of opposition may help representing some semantic features responsible to different logical properties of these expressions. I will (...) conclude with some consideration on scope interactions between quantifiers. (shrink)

Ordinary Language Philosophy has largely fallen out of favour, and with it the belief in the primary importance of analyses of ordinary language for philosophical purposes. Still, in their various endeavours, philosophers not only from analytic but also from other backgrounds refer to the use and meaning of terms of interest in ordinary parlance. In doing so, they most commonly appeal to their own linguistic intuitions. Often, the appeal to individual intuitions is supplemented by reference to dictionaries. In recent times, (...) Internet search engine queries for expressions of interest have become quite popular. Apparently, philosophers attempt to surpass the limits of their own linguistic intuitions by appealing to experts or to factual uses of language. I argue that this attempt is commendable but that its execution is wanting. Instead of appealing to dictionaries or Internet queries, philosophers should employ computer-based linguistic corpora in order to confirm or falsify hypotheses about the factual use of language. This approach also has some advantages over methods employed by experimental philosophers. If the importance of ordinary language is stressed, the use of linguistic corpora is hardly avoidable. (shrink)

The hexagon of opposition is an improvement of the square of opposition due to Robert Blanché. After a short presentation of the square and its various interpretations, we discuss two important problems related with the square: the problem of the I-corner and the problem of the O-corner. The meaning of the notion described by the I-corner does not correspond to the name used for it. In the case of the O-corner, the problem is not a wrong-name problem but a no-name (...) problem and it is not clear what is the intuitive notion corresponding to it. We explain then that the triangle of contrariety proposed by different people such as Vasiliev and Jespersen solves these problems, but that we don’t need to reject the square. It can be reconstructed from this triangle of contrariety, by considering a dual triangle of subcontrariety. This is the main idea of Blanché’s hexagon. We then give different examples of hexagons to show how this framework can be useful to conceptual analysis in many different fields such as economy, music, semiotics, identity theory, philosophy, metalogic and the metatheory of the hexagon itself. We finish by discussing the abstract structure of the hexagon and by showing how we can swing from sense to non-sense thinking with the hexagon. (shrink)

Let us agree that everything that there is exists, and that to be, to be real, and to exist are one and the same. Does everything that there is exist to the same degree? Or do some things exist more than others? Are there gradations of being? I argue that some entities exist more than others. Moreover, many of the notions in play in contemporary metaphysical discourse, such as fundamentality, perfect naturalness, and grounding ought to be cashed out in terms (...) of degree of existence. (shrink)

(First paragraph.) Different views on the relation between phenomenal reality, the world as we consciously experience it, and noumenal reality, the world as it is independent from an experiencing subject, have different implications for a collection of interrelated issues of meaning and reality including aspects of metaphysics, the philosophy of language, and philosophical methodology. Exploring some of these implications, this paper compares and brings together analytic, continental, and Buddhist approaches, focusing on relevant aspects of the philosophy of Donald Davidson, Jacques (...) Derrida, Dharmakīrti, and Dōgen. Prima facie, these philosophers have little in common, and indeed the differences are vast. Even in case of the two Western thinkers there is a fundamental difference between Davidson’s anti-dualist identification of phenomenal, experienced reality with the noumenal, real, external world on the one hand, and the bracketing or elimination of noumenal reality at the base of Derrida’s thought on the other, which lead to radically different ideas with regards to (the possibility and nature of) objectivity and our linguistic access to the real/external/noumenal world. Nevertheless, there are important similarities between Dharmakīrti’s theory of apoha and Davidson’s and Derrida’s theories of triangulation and différance respectively, and these similarities can be exploited to bridge some of the differences and attempt a constructive engagement. (shrink)

I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.

Distributive egalitarians believe that distributive justice is to be explained by the idea of distributive equality (DE) and that DE is of intrinsic value. The socio-relational critique argues that distributive egalitarianism does not account for the “true” value of equality, which rather lies in the idea of “equality as a substantive social value” (ESV). This paper examines the socio-relational critique and argues that it fails because – contrary to what the critique presupposes –, first, ESV is not conceptually distinct from (...) DE, and second, the idea of ESV cannot serve as a “foundation” or “root” of distributive egalitarianism. (shrink)

The semantic automata framework, developed originally in the 1980s, provides computational interpretations of generalized quantifiers. While recent experimental results have associated structural features of these automata with neuroanatomical demands in processing sentences with quantifiers, the theoretical framework has remained largely unexplored. In this paper, after presenting some classic results on semantic automata in a modern style, we present the first application of semantic automata to polyadic quantification, exhibiting automata for iterated quantifiers. We also discuss the role of semantic automata in (...) linguistic theory and offer new empirical predictions for sentence processing with embedded quantifiers. (shrink)

The standard semantic definition of consequence with respect to a selected set X of symbols, in terms of truth preservation under replacement (Bolzano) or reinterpretation (Tarski) of symbols outside X, yields a function mapping X to a consequence relation ⇒x. We investigate a function going in the other direction, thus extracting the constants of a given consequence relation, and we show that this function (a) retrieves the usual logical constants from the usual logical consequence relations, and (b) is an inverse (...) to—more precisely, forms a Galois connection with—the Bolzano-Tarski function. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

Necessitism is the view that necessarily everything is necessarily something; contingentism is the negation of necessitism. The dispute between them is reminiscent of, but clearer than, the more familiar one between possibilism and actualism. A mapping often used to ‘translate’ actualist discourse into possibilist discourse is adapted to map every sentence of a first-order modal language to a sentence the contingentist (but not the necessitist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables (...) the necessitist to extract a ‘cash value’ from what the contingentist says. Similarly, a mapping often used to ‘translate’ possibilist discourse into actualist discourse is adapted to map every sentence of the language to a sentence the necessitist (but not the contingentist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables the contingentist to extract a ‘cash value’ from what the necessitist says. Neither mapping is a translation in the usual sense, since necessitists and contingentists use the same language with the same meanings. The former mapping is extended to a second-order modal language under a plural interpretation of the second-order variables. It is proved that the latter mapping cannot be. Thus although the necessitist can extract a ‘cash value’ from what the contingentist says in the second-order language, the contingentist cannot extract a ‘cash value’ from some of what the necessitist says, even when it raises significant questions. This poses contingentism a serious challenge. (shrink)

We consider collective quantification in natural language. For many years the common strategy in formalizing collective quantification has been to define the meanings of collective determiners, quantifying over collections, using certain type-shifting operations. These type-shifting operations, i.e., lifts, define the collective interpretations of determiners systematically from the standard meanings of quantifiers. All the lifts considered in the literature turn out to be definable in second-order logic. We argue that second-order definable quantifiers are probably not expressive enough to formalize all collective (...) quantification in natural language. (shrink)

In the debate about semantic context dependence, various truth-conditional frameworks have been proposed. Indexicalism, associated with e.g. Jason Stanley, accounts for contextual effects on truth conditions in terms of a rich covert syntax. Truth-conditional pragmatics, associated with e.g. François Recanati, does not locate the mechanisms for context dependence in the syntactic structure but provides a more complex semantics. In this dissertation, the hypothesis that indexicalism and truth-conditional pragmatics are empirically equivalent is explored. The conclusion that the hypothesis is correct emerges, (...) when claims and accounts in the debate are made formally precise, within the framework of model-theoretic semantics. -/- . (shrink)

We present a coherence-based probability semantics for (categorical) Aristotelian syllogisms. For framing the Aristotelian syllogisms as probabilistic inferences, we interpret basic syllogistic sentence types A, E, I, O by suitable precise and imprecise conditional probability assessments. Then, we define validity of probabilistic inferences and probabilistic notions of the existential import which is required, for the validity of the syllogisms. Based on a generalization of de Finetti's fundamental theorem to conditional probability, we investigate the coherent probability propagation rules of argument forms (...) of the syllogistic Figures I, II, and III, respectively. These results allow to show, for all three Figures, that each traditionally valid syllogism is also valid in our coherence-based probability semantics. Moreover, we interpret the basic syllogistic sentence types by suitable defaults and negated defaults. Thereby, we build a knowledge bridge from our probability semantics of Aristotelian syllogisms to nonmonotonic reasoning. Finally, we show how the proposed semantics can be used to analyze syllogisms involving generalized quantifiers. (shrink)

Natural language contains many expressions with underspecified emotive content. This paper proposes a way to resolve such underspecification. Nonmonotonic inference over a knowledge base is used to derive an expected interpretation for emotive expressions in a particular context. This ‘normal’ meaning is then taken to influence the hearer’s expectations about probable interpretations, and, because of these probable interpretations, the decisions of the speaker about when use of underspecified emotive terms is appropriate.

ABSTRACT There has been recent interest in the idea that, when metaphysicians disagree over the truth of (say) ‘There are numbers’ or ‘Chairs exist’, their dispute is merely verbal. This idea has been taken to motivate quantifier variance, the view that the meanings of quantifier expressions vary across different ontological languages, and that each of these meanings is of equal metaphysical merit. I argue that quantifier variance cannot be upheld in light of natural language theorists’ analyses of quantifier expressions. The (...) idea that metaphysicians are engaged in verbal disputes can be maintained only through alternative strategies that have nothing to do with quantifier expressions. (shrink)

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied mathematics. They investigate controversial aspects of (...) contemporary theories such as neo-logicist abstractionism, structuralism, or multiversism about sets, by discussing different conceptions of mathematical realism and rival relativistic views on the mathematical universe. They consider fundamental philosophical notions such as set, cardinal number, truth, ground, finiteness and infinity, examining how their informal conceptions can best be captured in formal theories. The philosophy of mathematics is an extremely lively field of inquiry, with extensive reaches in disciplines such as logic and philosophy of logic, semantics, ontology, epistemology, cognitive sciences, as well as history and philosophy of mathematics and science. By bringing together well-known scholars and younger researchers, the essays in this collection – prompted by the meetings of the Italian Network for the Philosophy of Mathematics (FilMat) – show how much valuable research is currently being pursued in this area, and how many roads ahead are still open for promising solutions to long-standing philosophical concerns. Promoted by the Italian Network for the Philosophy of Mathematics – FilMat. (shrink)

The core question behind this Frontiers research topic is whether explaining linguistic phenomena requires appeal to properties of human cognition that are specialized to language. We argue here that investigating this issue requires taking linguistic research results seriously, and evaluating these for domain-specificity. We present a particular empirical phenomenon, bound variable interpretations of pronouns dependent on a quantifier phrase, and argue for a particular theory of this empirical domain that is couched at a level of theoretical depth which allows its (...) principles to be evaluated for domain-specialization. We argue that the relevant principles are specialized when they apply in the domain of language, even if analogs of them are plausibly at work elsewhere in cognition or the natural world more generally. So certain principles may be specialized to language, though not, ultimately, unique to it. Such specialization is underpinned by ultimately biological factors, hence part of UG. (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)

I show that the contemporary dominant analysis of natural language quantifiers that are one-place determiners by means of binary generalized quantifiers has failed to explain why they are, according to it, conservative. I then present an alternative, Geachean analysis, according to which common nouns in the grammatical subject position are plural logical subject-terms, and show how it does explain that fact and other features of natural language quantification.

The currently standard philosophical conception of existence makes a connection between three things: certain ways of talking about existence and being in natural language; certain natural language idioms of quantification; and the formal representation of these in logical languages. Thus a claim like ‘Prime numbers exist’ is treated as equivalent to ‘There is at least one prime number’ and this is in turn equivalent to ‘Some thing is a prime number’. The verb ‘exist’, the verb phrase ‘there is’ and the (...) quantifier ‘some’ are treated as all playing similar roles, and these roles are made explicit in the standard common formalization of all three sentences by a single formula of first-order logic: ‘(∃ x )[P( x ) & N( x )]’, where ‘P( x )’ abbreviates ‘ x is prime’ and ‘N( x )’ abbreviates ‘ x is a number’. The logical quantifier ‘∃’ accordingly symbolizes in context the role played by the English words ‘exists’, ‘some’ and ‘there is’. (shrink)

Bolzano’s definition of consequence in effect associates with each set X of symbols (in a given interpreted language) a consequence relation X . We present this in a precise and abstract form, in particular studying minimal sets of symbols generating X . Then we present a method for going in the other direction: extracting from an arbitrary consequence relation its associated set C of constants. We show that this returns the expected logical constants from familiar consequence relations, and that, restricting (...) attention to sets of symbols satisfying a strong minimality condition, there is an isomorphism between the set of strongly minimal sets of symbols and the set of corresponding consequence relations (both ordered under inclusion). (shrink)

We provide necessary and sufficient conditions determining how monotonicity of some classes of reducible quantifiers depends on the monotonicity of simpler quantifiers of iterations to which they are equivalent.

We evaluate the richness of the child’s input in semantics and its relation to the hypothesis space available to the child. Our case study is the acquisition of the universal quantifier every. We report two main findings regarding the acquisition of every on the basis of a corpus study of child-directed and child-ambient speech. Our first finding is that the input in semantics is rich enough to systematically eliminate instances of the subset problem of language acquisition: overly general hypotheses about (...) the meaning of every can violate pragmatic constraints, making such hypotheses incompatible with the child’s input. Our second finding is that the semantic input is too poor to eliminate instances of what we refer to as the superset problem, the mirror image of the subset problem. We argue that at least some overly specific hypotheses about the meaning of every are compatible with the child’s input, suggesting either that those hypotheses are not made available by UG or that non-trivial inductive biases are involved in children’s acquisition of every. (shrink)

This paper discusses two ways of negating DP quantifier phrases. In one way, NEG modifies the quantifier D directly with the structure [[NEG D] NP]. In the other way, NEG modifies the whole DP with the structure [NEG DP]. I give evidence based on negative polarity items that negated universal quantifier phrases like not every student involve outer negation.