Despite overwhelming evidence suggesting that quantifier scope is a phenomenon that must be treated at the pragmatic level, most computational treatments of scope ambiguities have thus far been a collection of syntactically motivated preference rules. This might be in part due to the prevailing wisdom that a commonsense inferencing strategy would require the storage of and reasoning with a vast amount of background knowledge. In this paper we hope to demonstrate that the challenge in developing a commonsense inferencing strategy is (...) in the discovery of the relevant commonsense data and in a proper formulation of the inferencing strategy itself, and that a massive amount of background knowledge is not always required. In particular, we present a very effective procedure for resolving quantifier scope ambiguities at the pragmatic level using simple quantitative data that is readily available in most database environments. (shrink)

Several authors proposed to devise logical structures for Natural Language (NL) semantics in which noun phrases yield referential terms rather than standard Generalized Quantifiers. In this view, two main problems arise: the need to refer to the maximal sets of entities involved in the predications and the need to cope with Independent Set (IS) readings, where two or more sets of entities are introduced in parallel. The article illustrates these problems and their consequences, then presents an extension of the proposal (...) made in Sher (J Philos Logic 26:1–43, 1997 ) in order to properly represent the meaning of IS readings involving NL quantifiers. The solution proposed here allows to uniformly deal with both standard linear and IS readings, regardless of their actual existence in NL or quantifiers’ monotonicity. Sentences featuring nested quantifications are particularly problematic. By avoiding parallel nested quantification in the formulae, the proper true values are achieved. (shrink)

This article proposes a new logical framework for NL quantification. The framework is based on Generalized Quantifiers, Skolem-like functional dependencies, and Maximality of the involved sets of entities. Among the readings available for NL sentences, those where two or more sets of entities are independent of one another are particularly challenging. In the literature, examples of those readings are known as Collective and Cumulative readings. This article briefly analyzes previous approaches to Cumulativity and Collectivity, and indicates (Schwarzschild in Pluralities. Kluwer, (...) Dordrecht, 1996) as the best proposal so far to deal with these readings. Then, it incorporates its insights in the logical framework defined in Robaldo (J Philos Log 39(1):23–58, 2009a), leading to a scalable logical account for NL quantification. (shrink)

Experimental research shows that human sentence processing uses information from different levels of linguistic analysis, for example, lexical and syntactic preferences as well as semantic plausibility. Existing computational models of human sentence processing, however, have focused primarily on lexico‐syntactic factors. Those models that do account for semantic plausibility effects lack a general model of human plausibility intuitions at the sentence level. Within a probabilistic framework, we propose a wide‐coverage model that both assigns thematic roles to verb–argument pairs and determines a (...) preferred interpretation by evaluating the plausibility of the resulting (verb, role, argument) triples. The model is trained on a corpus of role‐annotated language data. We also present a transparent integration of the semantic model with an incremental probabilistic parser. We demonstrate that both the semantic plausibility model and the combined syntax/semantics model predict judgment and reading time data from the experimental literature. (shrink)

A sentence like every circle is blue might be understood in terms of individuals and their properties or in terms of a relation between groups. Relatedly, theorists can specify the contents of universally quantified sentences in first-order or second-order terms. We offer new evidence that this logical first-order vs. second-order distinction corresponds to a psychologically robust individual vs. group distinction that has behavioral repercussions. Participants were shown displays of dots and asked to evaluate sentences with each, every, or all combined (...) with a predicate. We find that participants are better at estimating how many things the predicate applied to after evaluating sentences in which universal quantification is indicated with every or all, as opposed to each. We argue that every and all are understood in second-order terms that encourage group representation, while each is understood in first-order terms that encourage individual representation. Since the sentences that participants evaluate are truth-conditionally equivalent, our results also bear on questions concerning how meanings are related to truth-conditions. (shrink)

This paper reports on an experimental investigation of the scope of English a indefinites and a certain indefinites. Three experiments test whether native English speakers allow indefinites to scope out of syntactic islands, and to take intermediate as well as widest scope. The experimental findings indicate that a indefinites and a certain indefinites have different ranges of interpretations available to them. Experiment 1 shows that a certain indefinites, unlike a indefinites, cannot be interpreted in the scope of an intensional operator, (...) and further shows that functional readings are available to a certain indefinites but not to a indefinites. Experiment 2 focuses on the availability of long-distance readings of indefinites out of scope islands, and shows that the most accessible reading for a certain indefinites is the widest-scope reading, while the most accessible reading for a indefinites is the narrow-scope reading. Experiment 3 shows that modification of an a indefinite by a relative clause does not facilitate long-distance readings, as long as it does not restrict the domain to a singleton set. Overall, these findings are consistent with the proposal of Schwarz (Proceedings of the Thirteenth Amsterdam Colloquium, ILCC, University of Amsterdam, 192–197, 2001) that a certain indefinites and a indefinites are derived by different semantic mechanisms. The behavior of a certain indefinites is shown to be consistent with the contextually determined choice function approach Kratzer (Events in grammar, Kluwer, Dordrecht, 165–196, 1998) and the singleton indefinite approach Schwarzschild (J Semant 19:289–314, 2002). In contrast, a indefinites are most compatible with a purely quantificational approach, contra much recent theoretical literature. These findings highlight the value of conducting experimental studies testing the predictions of semantic theories. (shrink)

This squib reports the results of two experimental studies, a binary choice and a self-paced reading study, that provide strong support for the hypothesis in Tunstall that the distinct scopal properties of each and every are at least to some extent the consequence of an event-differentiation requirement contributed by each. However, we also show that the emerging picture is more complex than Tunstall suggests: English speakers seem to fall into at least three groups regarding the scopal properties of each and (...) every. (shrink)

The present study investigates whether quantifier scope is computed incrementally during online sentence processing. We exploited the free word order in German to manipulate whether the verbal predicate preceded or followed the second quantifier in doubly quantified sentences that required the computation of inverse scope. A possessive pronoun in the first quantifier that had to be bound by the second quantifier was used to enforce scope inversion. We tested whether scope inversion causes difficulty and whether this difficulty emerges even at (...) a point before comprehenders have encountered the main verb. We report three pretests and two reading time experiments. The first two pretests were offline tests that established (1) that the sentences exhibited the assumed scope preferences and (2) that variable binding forced scope inversion. The third pretest employed self-paced reading to show that interpreting a bound variable is not difficult per se and that difficulty in the critical construction must thus be due to inverting scope. Incremental processing of quantifier scope was investigated in a self-paced reading experiment. We observed difficulty right after the second quantifier, but only if it appeared after the main verb, that is, after the predication was complete. Further evidence for late scope inversion comes from an eyetracking experiment. Again, a scope inversion effect could only be observed at the end of the sentence. Taken together, our study demonstrates that in German inverse scope is only computed at the sentence boundary. (shrink)