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

Similar documents
Hedging Your Ifs and Vice Versa

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

March 2, 2007 Menéndez-Benito. Quick Introduction to the Semantics of Modals 1

The Semantics of Questions Introductory remarks

Indicative conditionals

Spring 2018 Ling 620 Introduction to Semantics of Questions: Questions as Sets of Propositions (Hamblin 1973, Karttunen 1977)

Predicates, Quantifiers and Nested Quantifiers

Spring 2017 Ling 620. An Introduction to the Semantics of Tense 1

Seminar in Semantics: Gradation & Modality Winter 2014

Intensional semantics: worlds, modals, conditionals

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

Presuppositions (introductory comments)

Must... stay... strong!

CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC

Spring 2018 Ling 620 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1

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

Proseminar on Semantic Theory Fall 2010 Ling 720 The Basics of Plurals: Part 1 1 The Meaning of Plural NPs and the Nature of Predication Over Plurals

base 2 4 The EXPONENT tells you how many times to write the base as a factor. Evaluate the following expressions in standard notation.

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

Proseminar on Semantic Theory Fall 2013 Ling 720 The Proper Treatment of Quantification in Ordinary English, Part 1: The Fragment of English

Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only

Basics of conversational implicatures

Spring 2012 Ling 753 A Review of Some Key Ideas in the Semantics of Plurals. 1. Introduction: The Interpretations of Sentences Containing Plurals

Deduction by Daniel Bonevac. Chapter 3 Truth Trees

Lecture 7. Logic. Section1: Statement Logic.

Antecedents of counterfactuals violate de Morgan s law

Semantics and Generative Grammar. An Introduction to Intensional Semantics 1

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1

Direct Proofs. the product of two consecutive integers plus the larger of the two integers

Scalar Implicatures: Are There Any?

Preptests 55 Answers and Explanations (By Ivy Global) Section 4 Logic Games

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

1 Propositional Logic

Examples: P: it is not the case that P. P Q: P or Q P Q: P implies Q (if P then Q) Typical formula:

Propositional Logic Not Enough

To every formula scheme there corresponds a property of R. This relationship helps one to understand the logic being studied.

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

Chapter 1: The Logic of Compound Statements. January 7, 2008

Spring 2017 Ling 620. The Semantics of Modals, Part 3: The Ordering Source 1

A Weakness for Donkeys

Semantics and Generative Grammar. The Semantics of Adjectival Modification 1. (1) Our Current Assumptions Regarding Adjectives and Common Ns

Two Reconstruction Puzzles Yael Sharvit University of Connecticut

LIN1032 Formal Foundations for Linguistics

Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08

Discrete Structures Proofwriting Checklist

We set up the basic model of two-sided, one-to-one matching

Topic 1: Propositional logic

PS10.3 Logical implications

Assignment 3 Logic and Reasoning KEY

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

Discrete Mathematics for CS Fall 2003 Wagner Lecture 3. Strong induction

Logic. Propositional Logic: Syntax. Wffs

TEMPORAL AND CIRCUMSTANTIAL DEPENDENCE IN COUNTERFACTUAL MODALS. DORIT ABUSCH Department of Lingusitics Cornell University

Natural Language Processing Prof. Pawan Goyal Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur

5. And. 5.1 The conjunction

CS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach you about:

Propositional Logic Revision Tutorial. Mr Tony Chung

Solution to Proof Questions from September 1st

Semantics 2 Part 1: Relative Clauses and Variables

CS 730/730W/830: Intro AI

The statement calculus and logic

Logic of Sentences (Propositional Logic) is interested only in true or false statements; does not go inside.

QUANTIFICATIONAL READINGS OF INDEFINITES

Chapter 4. Basic Set Theory. 4.1 The Language of Set Theory

8. TRANSFORMING TOOL #1 (the Addition Property of Equality)

SEMANTICS OF POSSESSIVE DETERMINERS STANLEY PETERS DAG WESTERSTÅHL

Natural deduction for truth-functional logic

Two Reconstruction Puzzles Yael Sharvit University of Connecticut

Logic. Readings: Coppock and Champollion textbook draft, Ch

CS1800: Strong Induction. Professor Kevin Gold

Ling 130 Notes: Syntax and Semantics of Propositional Logic

Modality: A Standard Analysis. Modality

Introduction to Metalogic

Generalized Quantifiers Logical and Linguistic Aspects

Philosophy 244: Modal Logic Preliminaries

For all For every For each For any There exists at least one There exists There is Some

A Brief Introduction to Proofs

Propositional Logic: Syntax

Spring 2017 Ling 620. The Semantics of Modals, Part 2: The Modal Base 1

Lewis 2 Definitions of T-terms

Spring 2017 Ling 620 The Semantics of Control Infinitives: A First Introduction to De Se Attitudes

Introduction to Semantics. The Formalization of Meaning 1

Special Theory Of Relativity Prof. Shiva Prasad Department of Physics Indian Institute of Technology, Bombay

22c:145 Artificial Intelligence

Relations. Carl Pollard. October 11, Department of Linguistics Ohio State University

Announcements CompSci 102 Discrete Math for Computer Science

(1) If Bush had not won the last election, then Nader would have won it.

Discrete Mathematics and Probability Theory Fall 2012 Vazirani Note 1

Introduction to Logic

6. Conditional derivations

list readings of conjoined singular which -phrases

Beliefs Mini-Story Text

QUADRATICS 3.2 Breaking Symmetry: Factoring

COMP Intro to Logic for Computer Scientists. Lecture 11

Agenda. Artificial Intelligence. Reasoning in the Wumpus World. The Wumpus World

Solving Equations by Adding and Subtracting

Lesson 10: True and False Equations

Logic. Propositional Logic: Syntax

Section Summary. Section 1.5 9/9/2014

Introduction to Semantics. Pronouns and Variable Assignments. We ve seen that implicatures are crucially related to context.

Transcription:

The plan: Wrapping up discussion on Kratzer 2005 (inconclusively!) -- Go back to Irene s objection briefly and present Angelika s reply. -- Discuss Emmanuel s example and Angelika s reply. -- A cursory glance to Quantificational Variability Effects in questions (just the facts!) Kratzer also discusses a second puzzle: Quantificational Variability Effects in questions. We won t discuss her account in class. But I will present the phenomenon in case you guys want to work your way through the rest of the handout. Part 1 1. Reminder: Kratzer s proposal 1) The video shows which of those animals the man fed The video shows an actual situation s that exemplifies [[which of those animals the man fed]] (w 0 ). [[which of those animals the man fed]] (w 0 )= λs [λx [fed(x)(the man)(s) & animals(x)(s)] = λx [fed(x)(the man)(w 0 ) & animal (x)(w 0 )]] 2) The video shows which of those animals the man didn t feed The video shows an actual situation s that exemplifies [[which of those animals the man didn t feed]] (w 0 ). [[which of those animals the man didn t feed]] (w 0 ) = λs [λx [~ fed(x)(the man)(s) & animals(x)(s)] = λx [~ fed(x)(the man)(w 0 ) & animal (x)(w 0 )]] 1

3) The video shows which of those animals the man fed. Exemplified by situations containing only fed animals. 4) The video shows which of those animals the man didn t feed Exemplified by situations containing unfed animals Since the positive and the negative question extensions are not exemplified by the same situations, (1) and (2) come out as having different truth-conditions. 2. Irene s objection The positive and the negative extension of the question are the same proposition! We assumed that the set of relevant animals was {a, b, c, d} and replaced the condition animal(x)(s) by x {a, b, c, d} 5) [[which of those animals the man fed]] (w 0 )= λs [λx [fed(x)(the man)(s) & x {a, b, c}] = λx [fed(x)(the man)(w 0 ) & x {a, b, c, d} & x in w 0 ] 6) [[which of those animals the man didn t feed]] (w 0 ) = λs [λx [~ fed(x)(the man)(s) & x {a, b, c, d}] = λx [~ fed(x)(the man)(w 0 ) & x {a, b, c, d} & x in w 0 ] (5) and (6) are indeed equivalent. [exercise: show this]. To get an intuitive understanding, suppose that the man fed a and b and didn t feed c and d, 5 ) [[which of those animals the man fed]] (w 0 )= λs [λx [fed(x)(the man)(s) & x {a, b, c}] = {a, b} 6 ) [[which of those animals the man didn t feed]] (w 0 ) = λs [λx [~ fed(x)(the man)(s) & x {a, b, c, d}] = {c, d} and consider the following types of situations (courtesy of Angelika Kratzer, in email correspondence). a. Possible situations in which the man fed only a. Both (5 ) and (6 ) are false. The negative one is false too (note: the set of animals that the man didn t feed in these situations is {c, d, b}. Here is where I think I got confused last time. the man didn t feed b in s can be true even if b doesn t exist in s.] (same for situations in which the man fed only b). 2

b. Possible situations in which the man fed a and b and no other animals. Both (5 ) and (6 ) are true. c. Possible situations in which the man fed no animals whatsoever. Both (5 ) and (6 ) are false [note: the set of animals that the man didn t feed in those situations is {a, b, c, d}] d. Possible situations in which the man fed a, b, and c, but not d. Both (5 ) and (6 ) are false. (There s just one animal that didn t get fed.) e. Possible situations in which the man fed a, b, c, and d. Both (5 ) and (6 ) are false. etc. 3. Angelika s reply We shouldn t have replaced the condition animal(x)(s) by x {a, b, c}. The condition animal(x)(s) is to be read as x is an animal that exists in s (cf. Emmanuel s suggestion). This is crucial for the proposal to work. 7) [[which of those animals the man fed]] (w 0 )= λs [λx [fed(x)(the man)(s) & animals(x)(s)] = λx [fed(x)(the man)(w 0 ) & animal (x)(w 0 )]] the proposition that is true in a situation s if the animals that exist in s and that the man fed in s are the same as the animals that exist in the actual world and that the man fed in the actual world. 8) [[which of those animals the man didn t feed]] (w 0 ) = λs [λx [~ fed(x)(the man)(s) & animals(x)(s)] = λx [~ fed(x)(the man)(w 0 ) & animal (x)(w 0 )]] the proposition that is true in a situation s if the animals that exist in s and that the man didn t feed in s are the same as the animals that exist in the actual world and that the man didn t fed in the actual world. 3

Now: (7) and (8) are NOT logically equivalent. Again, suppose that the actual animals are a, b, c and d, and that the man fed a and b but didn t feed c and d. Consider a situation s2 that contains the man feeding a and b, poor c lies about unfed and nothing else happens. (7) is true in s2: the set of animals that exist in s2 and that are fed in s2 is {a, b} (7) is false in s2: the set of animals that exist in s2 and that are not fed in s2 is {c} ({c, d}) (7) and (8) are exemplified by different situations. But what about 7 ) Which of a, b and c the man fed. 8 ) Which of a, b and c the man didn t feed. (Irene s examples) In class, we decided we need: 7 ) [[which of a, b and c the man fed]] (w 0 )= λs [λx [fed(x)(the man)(s) & in(x)(s) & x {a, b, c} ] = λx [fed(x)(the man)(w 0 ) & in(x)( w 0 ) & x {a, b, c} 9 ) [[which of a, b and c the man didn t feed]] (w 0 ) = λs [λx [~fed(x)(the man)(s) & in(x)(s) & x {a, b, c} ] = λx [~fed(x)(the man)(w 0 ) & in (x)(w 0 )] 4

Part 2. Emmanuel s question Scenario: The Fake Feeding. Suppose that there are four relevant animals, a, b, c, and d. In the actual world, the man fed three of those animals, a, b and c. The video depicts the man feeding a, b and c, but it also depicts the man feeding a fourth animal, d. The only thing that the video shows are these four feedings. Intuition: the sentence in (9) is false in this scenario. (do people agree? Is it possible to judge (9) true in this scenario?) 9) The video shows which of those animals the man fed. Prediction (of what we have so far): (7) is true in this scenario. First try: The video shows a situation in which the man feeds a, b, c and d. But the video ALSO shows a situation where the man fed a, b, c and nothing else happens. Thus, the video shows a situation that exemplifies [[which of those animals the man fed]] (w0). But the complete situation that the video shows is not an actual situation (in the actual world, there is no situation in which the man fed a, b, c and d). Thus, no part of that situation is an actual situation (remember that the part-whole relation only holds between situations in the same world). So it is not true that the video shows an actual situation that exemplifies [[which of those animals the man fed]] (w0). Yes, but What if we record the actual feeding, and then we film a fake feeding, and the video shows the two feedings (actual and fake) in succession? Then (7) will come out true [question: does the judgment change if we set up the scenario this way?] Angelika s reply (see slide 22) We need to distinguish between transparent show and show that has informational content. To account for that example, we need show with informational content. 10) The video shows a situation that exemplifies Q(w 0 ) and in all possible worlds compatible with the content of the video, Q(w 0 ) is true in the counterpart of s. 5

Remember As we saw last time, in Kratzer s situation semantics no given possible situation can be part of more than one world. Here, Kratzer follows David Lewis, according to whom individuals are worldbound: no individual can exist in more than one world (see Lewis 1968, 1973, 1986). To replace the relation of identity between entities that are not in the same worlds, Lewis introduces counterpart relations between individuals. Crucially, there is not just one fixed counterpart relation: Things resemble and differ from one another in many different respects. There are countless ways to amalgamate similarities and differences into a resultant relation of overall similarity. Hence we are not stuck with one fixed counterpart relation. Our daggers [PMB: Lewis is discussing an example in which Macbeth the hallucinatory sees a dagger] can be noncounterparts in one way and counterparts in another, and so can be a multitude in one way and a definite individual in another (Lewis 1983: 7-8) (see Lewis 1983 for lots of discussion. ) Back to our example: 11) The video shows which animals the man fed. 12) The video shows a situation that exemplifies Q(w 0 ) and in all possible worlds compatible with the content of the video, Q(w 0 ) is true in the counterpart of s. Angelika: The most natural counterpart relation is one where the complete actual feeding situation (THE feeding) is related to the complete feeding situation (THE feeding) in the accessible worlds. If the counterpart relation is such that the complete actual feeding situation is related to the complete feeding situations in the worlds compatible with the information in the video, then (9) comes out as false in Emmanuel s scenario. If (9) can be judged true in Emmanuel s scenario, that s good news. Even if we assume that show always contributes informational content (unlike direct perception see), we could account for the two intuitions by the two salient ways of construing the counterpart relation. But if (9) is always judged as false in Emmanuel s scenario, it s not clear (at least to me!) how we could account for this in the account above. 6

Part 3: Quantificational Variability Effects The Phenomenon (here, I will follow closely the presentation in Lahiri 2002: 63-65. All the examples below are taken for there.) In many languages, indefinites exhibit quantificational variability effects (QVEs) when combined with adverbs of quantification: 13) (a) A man rarely loves his enemies. (b) A man usually hates his enemies. (c) A man sometimes loves his enemies. (d) A man hates his enemies We can roughly state the truth-conditions of the sentences above as: 14) (a) Few(x) [man (x)] [x loves x s enemies] (b) Most(x) [man (x)] [x hates x s enemies] (c) (x) [man (x)] [x hates x s enemies] (d) GEN(x) [man(x)] [x hates x s enemies] Kamp 1981, Heim 1982 (building on Lewis 1975): in these sentences the indefinites do not have any quantificational force of their own. They introduce a variable together with a restriction, and get their quantificational force from the adverb of quantification (in (d) the presence of a covert generic operator is assumed). Berman 1987 and many others: these sentences involve quantification over situations. Berman 1991, 1994: some sentences with embedded questions exhibit QVEs: 15) (a) Sue mostly remembers what she got for her birthday. (b) Bill knows, for the most part, what they serve for breakfast at Tiffany s. (c) Mary largely realized what they serve for breakfast at Tiffany s. (d) With few exceptions, John knows who likes Mary. (e) To a considerable extent, the operating system lists what bugs might occur. (f) The school paper recorded, in part, who made the dean s list. (g) The conductor usually/seldom finds out who rides the train without paying. Quantificational force derived from the adverb of quantification. Berman: 7

16) most(x) [they serve x for breakfast at Tiffany s] [Bill knows that they serve x for breakfast at Tiffany s] QVE not always available: 17) (a) Sue mostly wonders what she got for her birthday (b) For the most part, Bill asks what they serve for breakfast at Tiffany s. (c) With few exceptions, John inquired who likes Mary. (a) cannot mean for most x such that Sue got x for her b-day ; (b) and (c) barely make sense. An analysis of QVE in questions must (i) derive the truth-conditions of sentences like (36) and (ii) explain the lack of QVE in (17). There are several accounts of QVE in the market (see, e.g., Lahiri 2002, and references therein). We won t go through them. At this point, just think Why is this phenomenon challenging for G & S s proposal? The proposal in Kratzer 2005: We can mimic quantification over individuals by quantifying over the relevant parts of the res situation (remember: the situation that the verb takes as its argument) 8