Two kinds of long-distance indefinites Bernhard Schwarz The University of Texas at Austin

Similar documents
Singleton Indefinites (re. Schwarzschild 2000)

SEMANTICS OF POSSESSIVE DETERMINERS STANLEY PETERS DAG WESTERSTÅHL

Quantifier scope. Chris Potts, Ling 230b: Advanced semantics and pragmatics, Spring April 16

Exceptional Wide Scope as Anaphora to Quantificational Dependencies

Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations

Semantics and Generative Grammar. Quantificational DPs, Part 3: Covert Movement vs. Type Shifting 1

Ling 98a: The Meaning of Negation (Week 5)

Basics of conversational implicatures

1 Classical scalar implicature

Hedging Your Ifs and Vice Versa

Russell s logicism. Jeff Speaks. September 26, 2007

Two sets of alternatives for numerals

A Little Deductive Logic

Why Learning Logic? Logic. Propositional Logic. Compound Propositions

Seminar in Semantics: Gradation & Modality Winter 2014

Introduction to Metalogic

Scalar Implicatures: Are There Any?

A Little Deductive Logic

2 Higginbotham & May s proposal

Global Approach to Scalar Implicatures in DRT*

Williamson s Modal Logic as Metaphysics

Peter Hallman, University of Vienna

UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane Philosophy 142

564 Lecture 25 Nov. 23, Continuing note on presuppositional vs. nonpresuppositional dets.

Kaplan s Paradox and Epistemically Possible Worlds

Direct Proof and Counterexample I:Introduction

Quantifiers. P. Danziger

Manual of Logical Style

Direct Proof and Counterexample I:Introduction. Copyright Cengage Learning. All rights reserved.

Degree pluralities : distributive, cumulative and collective readings of comparatives

Lecture 11: Measuring the Complexity of Proofs

Scope and the grammar of choice

Modal Dependence Logic

I thank the author of the examination paper on which sample paper is based. VH

Introduction to Metalogic

INTENSIONS MARCUS KRACHT

The paradox of knowability, the knower, and the believer

Semantic Restrictions

list readings of conjoined singular which -phrases

Presuppositions (introductory comments)

Bar-Hillel and the Division of Labor in Language

MARTI ON DESCRIPTIONS IN CARNAP S S2

Semantics 2 Part 1: Relative Clauses and Variables

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Antecedents of counterfactuals violate de Morgan s law

Löwenheim-Skolem Theorems, Countable Approximations, and L ω. David W. Kueker (Lecture Notes, Fall 2007)

Proving Completeness for Nested Sequent Calculi 1

LIN1032 Formal Foundations for Linguistics

Scope parallelism in coordination in Dependent Type Semantics

Classical Menu of Pronouns

Economy and Embedded Exhaustification Danny Fox and Benjamin Spector

1 The standard quantifiers in FOL

CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC

A Tableau System for Natural Logic and Natural Reasoning

INTRODUCTION TO PREDICATE LOGIC HUTH AND RYAN 2.1, 2.2, 2.4

Generalized Quantifiers Logical and Linguistic Aspects

Grundlagenmodul Semantik All Exercises

Neale and the slingshot Fabrice Correia

Addendum to The semantics of possessives : Barker on quantified possessives

Two types of class B numeral modifiers: A reply to Nouwen 2010

Reflexives and non-fregean quantifiers

An Invitation to Modal Logic: Lecture 1

KRIPKE S THEORY OF TRUTH 1. INTRODUCTION

Introduction to Metalogic 1

Semantics and Generative Grammar. Formal Foundations: A Basic Review of Sets and Functions 1

At most at last. Doris Penka Universität Konstanz

Section Summary. Section 1.5 9/9/2014

Quantifiers Here is a (true) statement about real numbers: Every real number is either rational or irrational.

Krivine s Intuitionistic Proof of Classical Completeness (for countable languages)

Mathematics 114L Spring 2018 D.A. Martin. Mathematical Logic

CS206 Lecture 21. Modal Logic. Plan for Lecture 21. Possible World Semantics

Quantification in the predicate calculus

Introduction to first-order logic:

1 Propositional Logic

ON THE LOGIC OF VERBAL MODIFICATION DAVID BEAVER AND CLEO CONDORAVDI

Fox/Menendez-Benito 11/14/06. Wrapping up discussion on Kratzer 2005 (inconclusively!)

Section 2.3: Statements Containing Multiple Quantifiers

TR : Possible World Semantics for First Order LP

Interpreting quotations

A statement is a sentence that is definitely either true or false but not both.

Accuracy, Language Dependence and Joyce s Argument for Probabilism

The Semantics of Questions Introductory remarks

Logical Operators. Conjunction Disjunction Negation Exclusive Or Implication Biconditional

Universalism Entails Extensionalism

Continuations in Type Logical Grammar. Grafting Trees: (with Chris Barker, UCSD) NJPLS, 27 February Harvard University

15414/614 Optional Lecture 3: Predicate Logic

3.5 Generalized Quantifiers in DRT A Simple Extension to Non-Universal Quantifiers

Logic. Readings: Coppock and Champollion textbook draft, Ch

Mathematical Foundations of Programming. Nicolai Kraus. Draft of February 15, 2018

Bar-Hillel and Carnap s Account of Semantic Information

A New Account for too and either 1

Paradoxes of special relativity

Announcements CompSci 102 Discrete Math for Computer Science

Axiomatic set theory. Chapter Why axiomatic set theory?

Boolean AND and the Semantic Correlates of Gradable Adjectives

Final Exam Theory Quiz Answer Page

Semantics and Generative Grammar. Quantificational DPs, Part 2: Quantificational DPs in Non-Subject Position and Pronominal Binding 1

Compositionality Problems and How to Solve Them Thomas Ede Zimmermann, Goethe-Universität Frankfurt Hyderabad CogSci Colloquium, March 09

Inquisitive semantics

Section 2.1: Introduction to the Logic of Quantified Statements

Transcription:

Amsterdam Colloquium 2001, December 17-19, 2001 Two kinds of long-distance indefinites Bernhard Schwarz The University of Texas at Austin 1. Introduction Indefinites can often be interpreted as if they had scoped from a syntactic island. For example, (1) has a long(-distance) intermediate scope reading, which may be credited to the LF in (2). (1) Every student read every book some teacher had praised. (2) [every student] λ 1 [[some teacher] λ 2 [t 1 read every book t 2 praised]] It has been proposed that such long scope shifts can be eliminated if it is assumed that some and a can be variables ranging over (Skolemized) choice functions (Reinhart 1997, Winter 1998, Kratzer 1998, Matthewson 1999, Chierchia 2001). In (3), some translates as a choice function variable which is existentially closed at an intermediate position (see Reinhart, Winter). In (4), some translates as a Skolemized choice function variable whose existential closure takes widest scope (see Matthewsson, Chierchia). (3) [every student] λ 1 [ ƒ[t 1 read every book [ƒ teacher] praised]] (4) ƒ[[every student] λ 1 [t 1 read every book [ƒ 1 teacher] praised]] (3) and (4), which are equivalent to each other, are also equivalent to (2). 1 This points to the two distinct choice function accounts of long scope described in (5) and (6) (cf. Chierchia). 1 Actually, (3) and (4) are equivalent to (2) only if we take the set of teachers to be non-empty. For the sake of the argument, let us assume that this assumption can be justified. The same sort of comment applies to all the other relevant examples below. - 1 -

(5) multiple choice analysis Indefinite articles can be choice function variables, bound by freely distributed existential closure (see (3)). (6) sloppy choice analysis Indefinite articles can be Skolemized choice function variables, bound by existential closure which takes widest scope (see (4)). Building on observations due to Chierchia, this talk argues that (5) and (6) both undergenerate and overgenerate. Both analyses generate unattested readings for indefinites in non-upward monotone contexts. And neither analysis appears to account for the scope behavior of long-distance indefinites with a certain. These seem to call for a sloppy choice function analysis where the function variable remains free (Kratzer). 2. Monotonicity and undergeneration Chierchia observes that sloppy choice fails to derive long intermediate readings when the higher DP is not upward monotone. For example, (7) can be read as the negation of (1) in its long intermediate reading. (7) Not every student read every book some teacher had praised. (8) [not every student] λ 1 [ ƒ[t 1 read every book [ƒ teacher] praised]] (9) ƒ[[not every student] λ 1 [t 1 read every book [ƒ 1 teacher] praised]] The LF (8) accounts for this reading, but (9) is too weak. For suppose Smith and Baker are the teachers, Mary and Sue are the students, both Sue and Mary read every book Smith praised, but only Sue read every book Baker praised. In this scenario, the relevant reading of (7) is judged false, yet (9) is true. For we can find a Skolemized choice function f such that f(mary)(the teachers) = Baker, which verifies (9). With Chierchia, we conclude that the sloppy choice analysis undergenerates. - 2 -

3. Monotonicity and overgeneration To see the logic of sloppy choice more clearly, consider the simpler case in (10). In this case, sloppy choice yields a narrow scope existential reading. That is, (11a) is equivalent to (11b). (10) Every student read a book I had praised. (11) a. ƒ[[every student] λ 1 [t 1 read ƒ 1 [book I had praised]]] b. [every student] λ 1 [[a book I had praised] λ 2 [t 1 read t 2 ]] Here is the sketch of an equivalence proof. We first consider the lambda abstracts in (12) and show that they relate as in (13). Then we exploit right upward monotonicity of every to prove the claim. (12) a. λ 1 [t 1 read ƒ 1 [book I praised]] b. λ 1 [[a book I had praised] λ 2 [t 1 read t 2 ]] (13) a. For every g, if I praised any book, then (12a) g (12b) g b. For every g, if I praised any book, then for some Skolemized choice function f, (12b) g = (12a) g f/ƒ. This case study suggests that, more generally, (14) and (15) below are equivalent whenever δ is right upward monotone. 2 (14) ƒ[[δ α] λ i [[ƒ i β] γ]] (15) [δ α] λ i [[some β] γ] The sloppy choice analysis is in fact committed to this equivalence, as otherwise long intermediate readings could never be derived as intended. But, of course, we should now ask what happens if δ is not right upward monotone. Take (16), where no 2 Actually, (14) and (15) may certainly fail to be equivalent if there is a free occurrence of ƒ in δ, α, β, or γ. But we can safely assume that there is no such occurrence. - 3 -

substitutes for every in (10) and (11). (16) No student read a book I had praised. (17) a. ƒ[[no student] λ 1 [t 1 read ƒ 1 [book I praised]]] b. [no student] λ 1 [[every book I praised] λ 2 [t 1 read t 2 ]] It turns out that in this case, sloppy choice interprets the indefinite as a narrow scope universal, that is, (17a) is equivalent to (17b)! The proof is analogous to the one on (11). First we show that (18a,b) relate as in (19). Then we exploit right downward monotonicity of no to prove the claim. (18) a. λ 1 [t 1 read ƒ 1 [book I praised]] b. λ 1 [[every book I praised] λ 2 [t 1 read t 2 ]] (19) a. For every g, if I praised any book, then (18b) g (18a) g b. For every g, if I praised at least one book, then for some Skolemized choice function f, (18b) g = (18a) g f/ƒ. More generally, if we insist on the equivalence of (14) and (15) for right upward monotone δ, we are also committed to the equivalence of (14) and (20) for right downward monotone δ. (20) [δ α] λ i [[every β] γ] Evidently, the latter equivalence is not at all welcome. Sentence (16) cannot mean that no student read every book I praised. So we need to somehow exclude (17a) as a LF for (16). Presumably, this means that LFs of the form (14) should be banned for any choice of δ. 4. Multiple choice and monotonicity As it stands, sloppy choice both undergenerates (section 2) and overgenerates - 4 -

(section 3). What about the multiple choice analysis? We have not seen it undergenerate - it does derive the long intermediate reading of (7). Also, if we ban Skolemized choice function variables, it does not derive any unattested reading for (16). Unfortunately, however, multiple choice overgenerates in other cases. First consider (21) below. If no two candidates wrote exactly the same papers (as seems plausible), the LF (22a) turns out equivalent to (22b), hence equivalent to (23). (21) Every candidate submitted a paper he had written. (22) a. ƒ[[every candidate] λ 1 [t 1 submitted ƒ [paper he 1 had written]]] b. ƒ[[every candidate] λ 1 [t 1 submitted ƒ 1 [paper he 1 had written]]] (23) [every candidate] λ 1 [[a paper he 1 had written] λ 2 [t 1 submitted t 2 ]] This equivalence is welcome. However, turning to (24), it commits one to the unwelcome equivalence of (25a) and (26)! (24) No candidate submitted a paper he had written. (25) a. ƒ[[no candidate] λ 1 [t 1 submitted ƒ [paper he 1 had written]]] b. ƒ[[no candidate] λ 1 [t 1 submitted ƒ 1 [paper he 1 had written]]] (26) [no candidate] λ 1 [[every paper he 1 had written] λ 2 [t 1 submitted t 2 ]] Thus closure must be restricted in its distribution. We need to stipulate that no operator can bind into a choice function indefinite from within the scope of its closure. Given the need for this constraint, call it integrity condition, one may conclude that long intermediate scope is after all better analyzed in terms of long distance scope shifts. Be this as it may, what we will see is that neither of these devices copes with a certain indefinites. 5. Functional indefinites Winter (1998) observes that (27a) might be used to convey that every mother hating child will develop a complex. Standard scope shifting does not derive this functional reading. Winter credits it to the LF in (27b). - 5 -

(27) a. Every child who hates a certain woman he knows will develop a serious complex. b. ƒ[every [child λ 1 [t 1 hates ƒ 1 [woman he 1 knows]]] [will develop a serious complex]] Interestingly, (27b) is in conflict with our integrity condition. Does this condition have to be weakened? The answer appears to be no. For it seems that (27b) is weaker than any attested reading of (27a), including the functional one. Every being left downward monotone, (27b) says that every child who hates every woman he knows will develop a complex. While (27b) is thus not adequate, a minimal modification seems sufficient. Following Kratzer (1998), we omit closure and interpret ƒ is a function the speaker has in mind, e.g. the mother function. 6. Two kinds of long-distance indefinites Kratzer proposed that functional construals are responsible for all long intermediate readings of indefinites (in extensional contexts). The data presented below challenge this view. More generally, they challenge the popular thesis that all long-distance indefinites (in extensional contexts) are subject to the same analysis (e.g. Reinhart, Kratzer, Winter). It seems true that functional indefinites can always give rise to something like long intermediate scope. Thus (28) can be judged true if every boy finished the cookies his mother brought, but none of those his sister brought. (28) Every boy finished the cookies a certain woman he knows had brought. But it seems that not all long intermediate indefinites can have functional readings. In its only sensible reading, (29a) says that for every boy, there is some person such that the boy ate all the cookies that person had brought. Thus, (29a) allows for intermediate scope of someone. (29) a. Each boy ate all the cookies someone had brought. b. Every boy who hates someone will develop a serious complex. - 6 -

In (29b), someone might, perhaps, take widest scope, in which case it says that there is someone such that every boy who hates her will develop a complex. The indefinite may also take narrow scope, in which case (29b) says that every boy who hates anyone will develop a complex. But no third reading is available, in particular no functional reading of the sort found in (27a). Similar descriptions apply to the example pairs in (31) and (30). (30) a. More than one boy devoured every cookie a girl from his class had brought. b. Almost no boy invited a girl from his class. (31) a. Most students have studied every article that some professor has published. b. No student who some professor had invited showed up. I conclude that not all long intermediate indefinites are functional. Moreover, so-called long intermediate readings with functional and non-functional indefinites can be shown to be rather different in nature. While both cases in (32) allow for a reading in which the indefinite has neither wide nor narrow scope, the two readings are not of the same kind. (32) a. No boy finished the cookies someone had brought. b. No boy finished the cookies a certain woman he knows had brought. Suppose some boy finished the cookies a woman he knows had brought. This assumption makes (the relevant reading of) (32a) false whereas (the relevant reading of) (32b) may still be true. And the fact that no boy finished the cookies his mother had brought may be sufficient for the truth of (32b), but certainly not for the truth of (32a). Similar descriptions apply to the example pairs in (33) and (34). (33) a. No student has studied every article that some professor has published. b. No student has studied every article that a certain professor has published. (34) a. At most one boy ate every cookie a girl from his class had brought. b. At most one boy ate every cookie a certain girl from his class had brought. - 7 -

Of course, these judgments are precisely what one should expect. Scope shifting derives the relevant reading of (32a) as shown in (35a). Free sloppy choice assigns (32b) the LF (35b). (35) a. [no boy] λ 1 [[someone] λ 2 [t 1 finished the cookies t 2 had brought]] b. [no boy] λ 1 [[t 1 finished the cookies ƒ 1 [woman he 1 knows] had brought]] Given right downward monotonicity of no, (35b) is much weaker than (35a). This is why, in this case, the functional reading does not approximate a genuine intermediate scope reading as well as it does in (28). References Chierchia, Gennaro: 2001: 'A Puzzle about Indefinites', in Carlo Cecchetto, Gennaro Chierchia, and Maria Teresa Guasti (eds.), Semantic Interfaces: Reference, Anaphora, and Aspect, CSLI, Stanford. Kratzer, Angelika: 1998, 'Scope or Pseudoscope? Are there Wide Scope Indefinites?', in S. Rothstein (ed.), Events in Grammar, Kluwer, Dordrecht, pp. 163-169. Matthewson, Lisa: 1999: 'On the Interpretation of Wide-Scope Indefinites', Natural Language Semantics 7, 79-134. Reinhart, Tanya: 1997: 'Quantifier scope: How labor is divided between QR and choice functions', Linguistics and Philosophy 20, 335-397. Winter, Yoad: 1998, Flexible Boolean Semantics, Doctoral Dissertation, Utrecht University - 8 -