490 likes | 617 Views
CAS LX 502. 9b. Formal semantics Pronouns and quantifiers. Bond is hungry. … is hungry … Bond Loren Pavarotti …. S. VP. N. [N] M = F ( Bond ) [VP] M = [Vi] M = x [ x F ( is hungry )]
E N D
CAS LX 502 9b. Formal semantics Pronouns and quantifiers
Bond is hungry … is hungry … BondLorenPavarotti … S VP N • [N]M = F(Bond) • [VP]M = [Vi]M = x [ xF(is hungry)] • [S]M = [VP]M ( [N]M ) =F(Bond) x [ xF(is hungry)] =F(Bond) F(is hungry) Bond Vi is hungry F U
Bond is hungry … is hungry … BondLorenPavarotti … S VP N • [S]M1 = F1(Bond)F1(is hungry) =Bond {Bond, Loren} • In the specific situation M1. Bond Vi is hungry F1 U1
He is hungry … is hungry … BondLorenPavarotti … S VP N • We don’t have he in our lexicon yet, but if we did, how should we interpret it? • This sentence could mean different things (have different truth conditions), in the same situation, depending on who we’re pointing at. He Vi is hungry F U
… is hungry … BondLorenPavarotti … He1 is hungry F S VP N • When writing a sentence like he is hungry, the standard practice is to indicate the “pointing” relation by using a subscript on he: • He1 is hungry. • The idea here is that this is interpreted in conjunction with a “pointing function” that tells us who “1” points to. He1 Vi 123… g is hungry U
… is hungry … BondLorenPavarotti … He1 is hungry F S VP N • Where different people are being pointed to, we use different subscripts: • He1 likes her2, but he3 hasn’t noticed. • The “pointing function” goes by the more official name assignment function, and is generally referred to as g. He1 Vi 123… g1 is hungry U
… is hungry … BondLorenPavarotti … He1 is hungry F S VP N • The assignment function g fits into the system much like the valuation function F does. F maps lexical itemsinto the universe of individuals, g maps subscriptsinto the universe of individuals. • [an]M,g = g(n) He1 Vi 123… g1 is hungry U
… is hungry … BondLorenPavarotti … He1 is hungry F1 S VP N • [an]M,g = g(n) • [S]M1,g1 = g1(he1)F1(is hungry) =Bond {Bond, Loren} He1 Vi 123… g1 is hungry U1
Quantifiers • Quantifiers (everyone, someone, noone) allow us to state generalizations. • Someone is boring. • Everyone is hungry. • When we say everyone is hungry, we’re saying that for each individual x, x is hungry. • We can think of this as follows: Run through the universe of individuals, pointing at each one in turn, and evaluate s/he is hungry. If it is true for every pointing, then everyone is hungry is true.
Bond likes everyone • So, what we’re after is something like this: • xU [Bond likes x in M] • That is, we have to convert everyone into a pronoun and interpret the S, with a pronoun in it, with every “pointing” that we can do. • To do this, we will introduce a rule called Quantifier Raising for sentences with quantifiers in them that will accomplish just that.
Bond likes every fish S • Not much new here, except that we’ve added some words we can play with, including some common nouns, and some determiners (Det) to use to build quantifiers. NP VP NP Vt NP NC Bond likes Det every fish
Bond likes every fish • Back to the problem of quantifiers. • Consider the meaning of Bond likes every fish. It should be something like: • For every x in U that is a fish, Bond likes x.Or:xU [x is a fish in M Bond likes x in M]
Bond likes every fish • xU [x is a fish in MBond likes x in M] • Notice that our sentence is basically here, but with x instead of every fish. The meaning of every fish is kind of “factored out” of the sentence and used to set the value of x. • In order to get this interpretation, we’re going to introduce a transformation. A new kind of rule.
Transformations • The syntactic base rules that we have allow us to construct trees. • A transformation takes a tree and alters it, resulting in a new tree. • The particular transformation we are going to adopt here (Quantifier Raising) takes an NP like every fishand attaches it to the top of the tree, leaving an abstract pronoun behind. Then we will write our semantic rules to interpret that structure.
Quantifier Raising S S NP S NP VP NC 1 S Det NP Vt NP every fish NP VP NC Bond likes Det NP Vt t1 every fish Bond likes
Quantifier Raising • Quantifier Raising[SX NP Y ] [S NP [S i [SXtiY ] ] ] • That is: S NP S S i S … NP … … ti …
Interpreting quantifiers • Now comes the tricky part: How do we assign a semantic interpretation to the structure? (It is easier—nay, possible—now that we have the QR rule, but let’s see why). • Remember, what we’re after is:xU [x is a fish in M Bond likes x in M]
Interpreting quantifiers • Let’s start with thelower S. We knowhow to interpretthat, it is essentiallyjust Bond likes it1. • < Bond, g(1) > F(likes) S NP S NC 1 S Det every fish NP VP NP Vt t1 Bond likes
Interpreting quantifiers • The purpose of the 1node is to make apredicate out of thissentence. • The predicate willbe, in effect,things Bond likes. • Goal:1 [< Bond, g(1) > F(likes)] S NP S NC 1 S Det every fish NP VP NP Vt t1 Bond likes
Interpreting quantifiers • The interpretation of [1]M,g,then, will be a functionthat takes a sentence(type <t>) and returns apredicate (type <e,t>). • [1]M,g is type <t,<e,t>>. • [1]M,g =S [x [ [S]M,g[1/x] ] ] S NP S NC 1 S Det every fish NP VP NP Vt t1 Bond likes
[ ]M,g[1/x] • To understand what is going to happen here, we need to introduce one more concept, the modified assignment function g[1/x]. • Remember that the assignment function maps subscripts to individuals, so that we can interpret pronouns like he2. • So, g1 (an assignment function for a particular pointing situation) might map 1 to Pavarotti, 2 to Nemo, 3 to Loren, and so forth.
[ ]M,g[1/x] • g1 maps 1 to Pavarotti, 2 to Nemo, 3 to Loren, … • A modified assignment function g[i/x] is an assignment function that is just like the original assignment function except that instead of whatever g mapped i to, g[i/x] maps i to x instead. That is: • g1(1) = Pavarotti, g1(2) = Nemo • g1[2/Bond](1) = Pavarotti, g1[2/Bond](2) = Bond
[ ]M,g[1/x] • g1(1) = Pavarotti, g1(2) = Nemo • g1[2/Bond](1) = Pavarotti, g1[2/Bond](2) = Bond • The reason that this is useful is that to interpret every fish, we want to go through all of the fish, and check whether Bond likes it is true when we point to each fish. • It is a pronoun, whose interpretation is dependent on who we are pointing to, so we need to be able to change who we point to (accomplished by modifying the assignment function).
Interpreting quantifiers • [1]M,g =S [x [ [S]M,g[1/x] ] ] • [S]M,g =[S]M,g S [x [ [S]M,g[1/x] ] ]x [ [S]M,g[1/x] ] =x [<Bond, g[1/x](1)>F(likes) ] =x [<Bond, x>F(likes)] S NP S NC 1 S Det every fish NP VP NP Vt t1 Bond likes
Interpreting quantifiers • Great, now we have [S]M,g as a predicate that means things Bond likes. • Now, let’s turn to every fish. • Fishis a predicate, true of fish; that is:x [xF(fish)] S NP S NC 1 S Det every fish NP VP NP Vt t1 Bond likes
Interpreting quantifiers • What we’re looking for is a way to verify that every individual that is a fish is also an individual that Bond likes. • That is:xU [x is a fish x is a thing Bond likes] • [S]M,g is the predicate things Bond likes. [NC]M,g is the predicate fish. S NP S NC 1 S Det every fish NP VP NP Vt t1 Bond likes
Interpreting quantifiers • Informally, every takes twopredicates, and yields trueif everything that satisfiesthe first predicate alsosatisfies the second. • <<e,t>,<<e,t>,t>> • [every]M,g =P [ Q [xU [P(x) Q(x)] ] ] S NP S NC 1 S Det every fish NP VP NP Vt t1 Bond likes
Interpreting quantifiers • [every]M,g =P [ Q [xU [P(x) Q(x)] ] ] • [NC]M,g = [fish]M,g =y [yF(fish)] • [NP]M,g =[every]M,g ( [fish]M,g ) =y [yF(fish)] P [ Q [xU [P(x) Q(x)] ] ] =Q [xU [xy [yF(fish)]Q(x)] ] =Q [xU [xF(fish)Q(x)] ] S NP S NC 1 S Det every fish NP VP NP Vt t1 Bond likes
Interpreting quantifiers • [NP]M,g =Q [xU [xF(fish)Q(x)] ] • [S]M,g =y [<Bond, y>F(likes)] • [S]M,g = y [<Bond, y>F(likes)]Q [xU [xF(fish)Q(x)] ] =xU [xF(fish) x y [<Bond, y>F(likes)]] =xU [xF(fish) <Bond, x>F(likes) ] S NP S NC 1 S Det every fish NP VP NP Vt t1 Bond likes
Phew • And, we’ve done it. We’ve derived the truth conditions for Bond likes every fish: • xU [xF(fish) <Bond, x>F(likes) ] • For every individual x in U, if x is a fish, then Bond likes x.
New semantic rules • The new semantic rules we needed (lexical entries, we’re still using the same Functional Application and Pass-up rules) were: • [every]M,g=P [ Q [ xU [P(x) Q(x)] ] ] • [i]M,g = S [x [ [S]M,g[i/x] ] ]
Loren hates a book • We’ve worked out an interpretation for a single quantificational determiner, every, but we can in a parallel way give a meaning to a (as in a book). • The meaning we want for Loren hates a book is that there is some individual x such that x is a book and Loren hates x: • xU [xF(book) <Loren, x>F(hates) ]
Loren hates a book • Without running through all of the steps again, what we want here is for [a]M,g to take two predicates (here, book, and things Loren hates), and be true if there is some individual that satisfies both: • [a]M,g=P [ Q [ xU [P(x) Q(x)] ] ]
Recap—step one • When faced with a sentence like A fish likes Nemo, the first thing to do is use the syntactic base rules to construct a tree. • S NP VP • NP Det NC • Det a • NC fish • VP Vt NP • Vt likes • NP NP • NP Nemo S NP VP NC Vt NP Det NP a fish likes Nemo
Recap—step two S • Then, for the quantificationalNPs (those with every or aas a determiner), usethe QR transformationto attach the quantifierto the top of the tree. • Quantifier Raising[SX NP Y ] [S NP [S i [SXtiY ] ] ] NP S NC 1 S Det t1 VP a fish Vt NP NP likes Nemo
Recap—step three S • And then work your wayup the tree, evaluatingfirst the lexical entries atthe bottom of the tree: • [Nemo]M,g = Nemo • [fish]M,g = x[xF(fish)] • [t1]M,g = g(1) • [likes]M,g = y[x[<x,y>F(likes)]] • [a]M,g=P [ Q [ xU [P(x) Q(x)] ] ] • [1]M,g = S [x [ [S]M,g[1/x] ] ] NP S NC 1 S Det t1 VP a fish Vt NP NP likes Nemo
Recap—step three S • Work out parent nodesby applying functions toarguments • [VP]M,g =[Vt]M,g ( [NP]M,g ) =Nemoy[x[<x,y>F(likes)]] =x[<x,Nemo>F(likes)] • [S]M,g =[VP]M,g ( [t1]M,g ) =g(1) x[<x,Nemo>F(likes)] =<g(1),Nemo>F(likes) NP S NC 1 S Det t1 VP a fish Vt NP NP likes Nemo
Recap—step three S • Work out parent nodesby applying functions toarguments • [NP]M,g = [Det]M,g ( [NC]M,g ) =z[zF(fish)] P [ Q [ xU [P(x) Q(x)] ] ] =Q [ xU [xz[zF(fish)] Q(x)] ] ] =Q [ xU [xF(fish)Q(x)] ] ] • [S]M,g = [1]M,g ( [S]M,g ) =<g(1),Nemo>F(likes)S [x [ [S]M,g[1/x] ] ] =x [<g[1/x](1),Nemo>F(likes)] = x [<x,Nemo>F(likes)] NP S NC 1 S Det t1 VP a fish Vt NP NP likes Nemo
Recap—step three S • Work out parent nodesby applying functions toarguments • Notice that you canchange the names ofvariables freely—toensure that they don’tconflict. • [S]M,g = [NP]M,g ( [S]M,g ) =z [<z,Nemo>F(likes)]Q [ xU [xF(fish)Q(x)] ] =xU [xF(fish)x z [<z,Nemo>F(likes)] ] =xU [xF(fish) <x,Nemo>F(likes)] NP S NC 1 S Det t1 VP a fish Vt NP NP likes Nemo
Comments about QR • Quantifier Raising[SX NP Y ] [S NP [S i [SXtiY ] ] ] • As it is stated, QR applies to any NP, whether it is a quantifier or not. So, when do you use QR? • There are certain situations (e.g., Nemo hates every book) where the structure cannot be interpreted without QR. When the quantifier is the object of a transitive verb, for example. • A transitive verb needs something of type <e>. A quantifier needs something of type <e,t> (and is itself of type <<e,t>,<<e,t>,t>>). Neither one can take the other as an argument.
Comments about QR • Quantifier Raising[SX NP Y ] [S NP [S i [SXtiY ] ] ] • As it is stated, QR applies to any NP, whether it is a quantifier or not. So, when do you use QR? • On the other hand, if you apply QR to a name like Loren, the semantic interpretation becomes more complicated to work out, but the end result (the truth conditions) are the same as if you hadn’t done QR. So, you don’t really need QR to interpret the structure.
Comments about QR • Quantifier Raising[SX NP Y ] [S NP [S i [SXtiY ] ] ] • As it is stated, QR applies to any NP, whether it is a quantifier or not. So, when do you use QR? • In fact, it turns out that when you have a quantificational NP as a subject (as in Every fish hates The Last Juror), you don’t actually need QR in order to interpret the structure either. • The VP hates The Last Juror is a predicate. Every applies to fish and then can apply to the VP, resulting in the same truth conditions you would have if you applied QR.
Comments about QR • Quantifier Raising[SX NP Y ] [S NP [S i [SXtiY ] ] ] • As it is stated, QR applies to any NP, whether it is a quantifier or not. So, when do you use QR? • Moreover, if you apply QR to an NP, you still have an NP—you could apply QR again to that same NP if you wanted. Again, like with names, this won’t affect the ultimate interpretation, it will just increase the amount of effort necessary to work out the truth conditions.
Comments about QR • Quantifier Raising[SX NP Y ] [S NP [S i [SXtiY ] ] ] • As it is stated, QR applies to any NP, whether it is a quantifier or not. So, when do you use QR? • So, the answer is: Use QR as necessary, where it will result in a different interpretation from not using QR (or when not using QR prevents the structure from being interpreted at all).
Every fish likes a book • Some sentences have more than one quantifier. We know that, because a book is the object of a transitive verb, we need to apply QR to a book. We could refrain from applying QR to every fish (the subject) because subjects don’t require QR in order to be interpretable. • The result will be, paraphrasing: There is a book x such that for every y, if y is a fish, then y likes x. This is certainly something the sentence can mean. • However, the sentence can also mean: For every y, if y is a fish, then there is a book x such that y likes x. To get this meaning, you must also apply QR to the subject (after applying QR to the object).