Quantification: Quantifiers and the Rest of the Sentence

Similar documents
Intensionality. 1. Intensional Propositional Logic (IntPL).

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

Ling 130 Notes: Predicate Logic and Natural Deduction

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

Denotation of Predicates

Other types of Movement

Grundlagenmodul Semantik All Exercises

(7) a. [ PP to John], Mary gave the book t [PP]. b. [ VP fix the car], I wonder whether she will t [VP].

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

Unterspezifikation in der Semantik Scope Semantics in Lexicalized Tree Adjoining Grammars

SEMANTICS OF POSSESSIVE DETERMINERS STANLEY PETERS DAG WESTERSTÅHL

Semantics 2 Part 1: Relative Clauses and Variables

Semantics and Generative Grammar. A Little Bit on Adverbs and Events

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

Generalized Quantifiers Logical and Linguistic Aspects

Introduction to Semantics. The Formalization of Meaning 1

Hamblin Semantics & Focus

CAS LX 522 Syntax I Fall 2000 October 10, 2000 Week 5: Case Theory and θ Theory. θ-theory continued

Parsing. Based on presentations from Chris Manning s course on Statistical Parsing (Stanford)

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

HPSG: Binding Theory

Semantics and Generative Grammar. Expanding Our Formalism, Part 1 1

INTRODUCTION TO LOGIC. Propositional Logic. Examples of syntactic claims

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

a. Develop a fragment of English that contains quantificational NPs. b. Develop a translation base from that fragment to Politics+λ

LING 130: Quantified Noun Phrases

Constituency. Doug Arnold

Ling 130 Notes: Syntax and Semantics of Propositional Logic

Generalized Quantifiers & Categorial Approaches & Intensionality

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

STRUCTURE BUILDING FROM BELOW: MORE ON SURVIVE AND COVERT MOVEMENT 1

1. Background. Task: Determine whether a given string of words is a grammatical (well-formed) sentence of language L i or not.

Parsing with Context-Free Grammars

Syntax-Based Decoding

Lecture 6: Formal Syntax & Propositional Logic. First: Laziness in Haskell. Lazy Lists. Monads Later. CS 181O Spring 2016 Kim Bruce

X-bar theory. X-bar :

DEGREE QUANTIFIERS, POSITION OF MERGER EFFECTS WITH THEIR RESTRICTORS, AND CONSERVATIVITY

Sharpening the empirical claims of generative syntax through formalization

More on Names and Predicates

1 The standard quantifiers in FOL

Ling 240 Lecture #15. Syntax 4

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

Moreno Mitrović. The Saarland Lectures on Formal Semantics

Grammar and Feature Unification

Topics in Lexical-Functional Grammar. Ronald M. Kaplan and Mary Dalrymple. Xerox PARC. August 1995

Bringing machine learning & compositional semantics together: central concepts

Proseminar on Semantic Theory Fall 2013 Ling 720 Problem Set on the Analysis of Quantification: Answers and Notes

Focus in complex noun phrases

Quantifier Interaction in GB and Minimalism (II)

Proseminar on Semantic Theory Fall 2015 Ling 720 Adnominal Tenses Redux: Thomas (2014) Nominal Tense and Temporal Implicatures

Artificial Intelligence

A Multi-Modal Combinatory Categorial Grammar. A MMCCG Analysis of Japanese Nonconstituent Clefting

Logica e Linguaggio. Raffaella Bernardi. March 22, University of Trento

Introduction to Computational Linguistics

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

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

Parsing with Context-Free Grammars

Introduction to Intensional Logic. Ling 406/802 Read Meaning and Grammar, Ch

The Semantics of Definite DPs 1. b. Argument Position: (i) [ A politician ] arrived from Washington. (ii) Joe likes [ the politician ].

Control and Tough- Movement

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

Proseminar on Semantic Theory Fall 2010 Ling 720. Remko Scha (1981/1984): Distributive, Collective and Cumulative Quantification

The Semantics of Questions Introductory remarks

Quantifier Scope Constraints in ACD: Implications for the Syntax of Relative Clauses

Lecture 7. Logic. Section1: Statement Logic.

An introduction to German Syntax. 1. Head directionality: A major source of linguistic divergence

CKY & Earley Parsing. Ling 571 Deep Processing Techniques for NLP January 13, 2016

Parsing with CFGs L445 / L545 / B659. Dept. of Linguistics, Indiana University Spring Parsing with CFGs. Direction of processing

Parsing with CFGs. Direction of processing. Top-down. Bottom-up. Left-corner parsing. Chart parsing CYK. Earley 1 / 46.

Hardegree, Formal Semantics, Handout of 8

Control and Tough- Movement

Quantification in the predicate calculus

Karttunen Semantics. Last week. LING 147. Semantics of Questions Week 4 Yimei Xiang September 22, I. Intensionality

Chapter 3. Compositional DRT

Semantics I, Rutgers University Week 3-1 Yimei Xiang September 17, Predicate logic

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

Spring 2017 Ling 620 Eliminating Res-Movement : An Introduction to Concept Generators

Association with traces & the copy theory of movement 1

Scope Ambiguities through the Mirror

An introduction to mildly context sensitive grammar formalisms. Combinatory Categorial Grammar

Quantifier Scope in German: An MCTAG Analysis

Structures mathématiques du langage

Semantics and Pragmatics of NLP. SPNLP: Dynamic Semantics and Drawbacks

LECTURER: BURCU CAN Spring

Semantics and Pragmatics of NLP

2013 ISSN: JATLaC Journal 8: t 1. t t Chomsky 1993 I Radford (2009) R I t t R I 2. t R t (1) (= R's (15), p. 86) He could have helped

September 13, Cemela Summer School. Mathematics as language. Fact or Metaphor? John T. Baldwin. Framing the issues. structures and languages

Logic for Computer Science - Week 2 The Syntax of Propositional Logic

CS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning.

CS 712: Topics in NLP Linguistic Phrases and Statistical Phrases

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

Natural Language Processing CS Lecture 06. Razvan C. Bunescu School of Electrical Engineering and Computer Science

Natural Language Processing : Probabilistic Context Free Grammars. Updated 5/09

Introduction to Semantics (EGG Wroclaw 05)

Against generalized quantifiers (and what to replace them with)

An Alternatives-based Semantics for Dependent Plurals

CS460/626 : Natural Language Processing/Speech, NLP and the Web

Reflexives and non-fregean quantifiers

1 Completeness Theorem for First Order Logic

A Logic Primer. Stavros Tripakis University of California, Berkeley. Stavros Tripakis (UC Berkeley) EE 144/244, Fall 2014 A Logic Primer 1 / 35

Transcription:

Ling255: Sem & Cogsci Maribel Romero February 17, 2005 Quantification: Quantifiers and the Rest of the Sentence 1. Introduction. We have seen that Determiners express a relation between two sets of individuals A and B. Set A is provided by the N sister of the Determiner in the syntactic tree, and set B is provided by the rest of the sentence, as in (1). (1) Every [ American city ] N [ is near the Atlantic Ocean ] Set A Set B {x: x is American in w and x is a city in w} {x: x is near the A. O. in w} (2) S NP VP ei 6 Det N is near the Atlantic Ocean g 6 Every American city When the Quantificational NP (QuNP) is in subject position, it is very easy to give rules to interpret the sentence: 1 (3) [[ [every N ] VP ]] w = 1 iff [[N ]] w [[VP]] w (4) [[ [some N ] VP ]] w = 1 iff [[N ]] w [[VP]] w (5) [[ [no N ] VP ]] w = 1 iff [[N ]] w [[VP]] w = (6) [[ [at most four N ] VP ]] w = 1 iff [[N ]] w [[VP]] w 4 (7) [[ [most N ] VP ]] w = 1 iff [[N ]] w [[VP]] w 2/3 [[N ]] w (8) [[ [many prop N ] VP ]] w = 1 iff [[N ]] w [[VP]] w > 1/2 [[N ]] w (9) [[ [many card N ] VP ]] w = 1 iff [[N ]] w [[VP]] w > n 1 Each of the semantic rules in (3)-(9) could be of course replaced by the bare lexical entry for the quantifier, as in (3 ) below, coupled with the general Determiner interpretation rules in (i)-(ii). We do it in terms of rules for simplicity, and because the book formulates the final solution as a rule and not as a lexical entry. (3 ) [[every]] w = {<A,B>: A B} (i) [[ [every N ] QuNP ]] w = {B: [[N ]] w B} (ii) [[ QuNP VP ]] w = 1 iff [[VP]] w [[QuNP]] w 37

But what happens when the QuNP is not in subject position? g g (10) [John admires] every [American city] N Set B Set A {x: x is such that??? } {x: x is American in w and x is a city in w} (11) S NP VP ei John admires NP ei Det N 6 every American city The problem, and two lines to tackle it: (12) The problem: How can we retrieve set B from the syntactic tree of a sentence with a QuNP in nonsubject position? (13) Two main possible lines: A. Enrich the semantic rules, with a different semantic rule for each quantifier for each level of syntactic embedding. B. Enrich the syntactic rules, so that syntactic operations prior to interpretation deliver a syntactic structure easier to interpret. 2. Line A: Enriching the semantic rules. Besides the rules in (3)-(9) to interpret QuNPs in subject position (i.e., in first level of embedding position), we would have rules for QuNPs in second level of embedding, third level of embedding, etc. Rules for QuNPs in SECOND LEVEL of embedding: (14) [[ NP [V tr [every N ] ] ]] w = 1 iff [[N ]] w {x: <[[NP]] w,x> [[V tr ]] w } QUESTION: Spell out the rules for some, at most four and most in second level of embedding: (15) [[ NP [V tr [some N ] ] ]] w = 1 iff (16) [[ NP [V tr [at most four N ] ] ]] w =1 iff (17) [[ NP [V tr [most N ] ] ]] w = 1 iff 38

Rules for QuNPs in THIRD LEVEL of embedding: (18) John showed every American city to Kate. (19) S wo NPsu VP ei V NP IO ei V ditr NP DO EXERCISE (TO BE HANDED IN!!!): Assuming the syntactic tree in (19) for ditransitive structures, spell out the semantic rules to interpret every, no, many prop and many card in third level of embedding position: (19) [[NP [ [V ditr [every N ] ] NP IO ]]] w = 1 iff (20) [[NP [ [V ditr [no N ] ] NP IO ]]] w = 1 iff (21) [[NP [ [V ditr [many prop N ] ] NP IO ] ]] w = 1 iff (22) [[NP [ [V ditr [many card N ] ] NP IO ] ]] w = 1 iff A serious drawback of line A: The number of semantic rules explodes. We saw in part I of the course that we need different semantic rules for combining a verb with a referential NP (e.g. a proper name) at each level of embedding. For Determiners, we would need not only a different semantic rule for each level of embedding, but a different semantic rule for each level-of-embedding scopal relation combination. E.g., we would need one rule for every 2level-narrow to generate reading (23a) and one for every 2level-wide to generate reading (23b). (23) A student admires every professor. a. some >> every: There is a student x such that, for every professor y, x admires y. b. every >> some: For every professor y, there is a (possibly different) student x such that x admires y. NOTE: In Take Home II, you will be asked to give the semantic rule for every 2level-narrow and every 2level-narrow. You should start thinking about the answer as we proceed through line B. 39

3. Line B: Enriching the syntactic rules before interpretation. The Y model of NatLg grammar (Chomsky 1965): (24) The Y model: Deep Structure (D-Str) g Surface Structure (S-Str) Phonological Form (PF) Logical Form (LF) Phrase structure rules and transformations. Phrase structures rules like the ones in (25) produce the syntactic level of representation called Deep Structure. After that, transformations of the type move α may apply, yielding e.g. the topicalization in (27). (25) Phrase structure rules: S NP VP NP N pr NP Det N' (26) Transformations: Topicalization. [ S X NP Y] [ s NP, X e Y] (27) Beans, I like. i. Phrase structure rules: [ S I like beans] ii. Transformation: [ S I like beans] [ s Beans, I like e ] On transformations: where exactly they apply, and their scopal properties. Some transformations, e.g., moving a wh-phrase, have an effect on the scope of the moved element. For example, we can apply move wh on the D-Str in (28i) to obtain an S-Str where the wh-phrase which of these books is at the top of the local S, or to obtain an S-Str where it is at the top of the matrix S. Each of the two sentences has a different scopal reading. (28) i. D-Str: [ S John knows [ S Mary bought which of these books] ] ii. S-Str: John knows [ S which of these books Mary bought e ] iii. S-Str: [ S Which of these books (does) John know Mary bought e ] 40

In some languages, move wh does not apply on the way from D-Str to S-Str, but covertly on the way from S-Str to LF: Chinese (Huang 1982). (29) Zhangsan zhidao [ta muqin kanjian shei] (Huang 1982) Zhangsan know his mother see who a. Zhangsan knows who his (= eg Zhangsan s) mother saw. b. Who does Zhangsan know his(= eg Zhangsan s) mother saw? Going back to QuNPs, in some languages, moving a QuNP by S-Str determines its scope: (30) German: (Diesing 1997) a. weil ich selten jedes Cello spiele. since I seldom every cello play since I seldom play every cello seldom >> every cello b. weil ich jedes Cello selten e spiele. since I every cello seldom e play since I seldom play every cello every cello >> seldom The idea is that, in some other languages, like English, moving a QuNP to determine its scope happens covertly on the way from S-Str to LF. This movement operation is called Quantifier Raising (QR), as exemplified in (31)-(32): (31) A student admires every professor. (32) S-Str LF1: [ S Every professor a student admires e ] Quantifier Raising: syntax. (33) Transformations: Quantifier Raising. [ S X QuNP Y] [ s QuNP i [ S X e i Y] ], where i is an index (a natural number). Quantifier Raising: semantics. (34) [[.]] w,g (35) A variable assignment g is a function from expressions in the object language to objects in the world: In PrL: g: set of variables x, y, z universe of individuals U In NatLg: g: set of indices 1, 2, 3, universe of individuals U (on a trace or on a pronoun) 41

(36) a. In PrL: If α is a variable, then [[α]] s,g = g(α) b. In NatLg: If α is a pronoun or a trace with index i, then [[α i ]] s,g = g(i) (37) In PrL: g d/v reads as "the variable assignment g' that is exactly like g except (maybe) for g(v), which equals the individual d". If ϕ is a formula and v is a variable, then, for any world w, [[ vφ]] w,g = 1 iff [[φ]] w,gd/v = 1 for all the d D e. [[ vφ]] w,g = 1 iff [[φ]] w,gd/v = 1 for some d D e. (38) In NatLg: g d/i reads as "the variable assignment g' that is exactly like g except (maybe) for g(i), which equals the individual d". (39) [[ [every N ] i S ]] w,g = 1 iff [[N ]] w,g {x: [[S]] w,gx/i =1} (40) [[ [some N ] i S ]] w,g = 1 iff [[N ]] w,g {x: [[S]] w,gx/i =1} (41) [[ [no N ] i S ]] w,g = 1 iff [[N ]] w,g {x: [[S]] w,gx/i =1} = (42) [[ [at most four N ] i S ]] w,g = 1 iff [[N ]] w,g {x: [[S]] w,gx/i =1} 4 (43) [[ [most N ] i S ]] w,g = 1 iff [[N ]] w,g {x: [[S]] w,gx/i =1} 2/3 [[N ]] w,g (44) [[ [many prop N ] i S ]] w,g = 1 iff [[N ]] w,g {x: [[S]] w,gx/i =1} > 1/2 [[N ]] w,g (45) [[ [many card N ] i S ]] w,g = 1 iff [[N ]] w,g {x:[[s]] w,gx/i =1} > n (46) 42

Example 1: (47) Some student admires every professor. (48) S-Str LF1: [ S [Every professor] 5 some student admires e 5 ] (49) S QuNP 5 S ru qp every professor QuNP VP ru ru some student admires e 5 (50) [[e 5 ]] w,g = g(5) [[admires]] w,g = {<x,y>: x admires y in w} [[admires e 5 ]] w,g = { z: <z, [[e 5 ]] w,g > [[admires]] w,g } = { z: <z,g(5)> {<x,y>: x admires y in w}} = { z: z admires g(5) in w } [[ [some N ] VP]] w,g = 1 iff [[N ]] w,g [[VP]] w,g (from (4)) iff [[student]] w,g [[admires e 5 ]] w,g iff {z: z is a student in w} {z: z admires g(5) in w} iff {z: z is a student in w and z admires g(5) in w} [[ [every N ] 5 S ]] w,g = 1 iff [[N ]] w,g {x: [[S]] w,gx/5 =1} iff [[professor]] w,g {x:[[some student admires e 5 ]] w,gx/5 =1} iff {x: x is a professor in w} {x:[[some student admires e 5 ]] w,gx/5 =1} iff {x: x is a professor in w} iff {x: {z: z is a student in w and z admires g x/5 (5) in w} } {x: x is a professor in w} {x: {z: z is a student in w and z admires x in w} } That is: For every x in the set of professors there is a z in the set of student admirers of x. 43

Example 2: (51) Some student admires every professor. (52) S-Str LF1 LF2: [ S some student [ S [every professor] 5 e 6 admires e 5 ] ] (53) S QuNP 6 S ru some student QuNP 5 S ru ei every professor e 6 VP ru admires e 5 EXERCISE (TO BE HANDED IN!!!): Do the semantic computation of (53). 44