Presentation is loading. Please wait.

Presentation is loading. Please wait.

CAS LX 502 9b. Formal semantics Pronouns and quantifiers.

Similar presentations


Presentation on theme: "CAS LX 502 9b. Formal semantics Pronouns and quantifiers."— Presentation transcript:

1 CAS LX 502 9b. Formal semantics Pronouns and quantifiers

2 Bond is hungry [N] M = F(Bond) [VP] M = [Vi] M = x [ x  F(is hungry)] [S] M = [VP] M ( [N] M ) = F(Bond) x [ x  F(is hungry)] = F(Bond)  F(is hungry) U S N VP Vi is hungry Bond … is hungry … Bond Loren Pavarotti … F

3 Bond is hungry [S] M1 = F 1 (Bond)  F 1 (is hungry) = Bond  {Bond, Loren} In the specific situation M 1. U1U1 S N VP Vi is hungry Bond … is hungry … Bond Loren Pavarotti … F1F1

4 He is hungry 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. U S N VP Vi is hungry He … is hungry … Bond Loren Pavarotti … F

5 He 1 is hungry When writing a sentence like he is hungry, the standard practice is to indicate the “pointing” relation by using a subscript on he: He 1 is hungry. The idea here is that this is interpreted in conjunction with a “pointing function” that tells us who “1” points to. U S N VP Vi is hungry He 1 … is hungry … Bond Loren Pavarotti … F 123…123… g

6 He 1 is hungry Where different people are being pointed to, we use different subscripts: He 1 likes her 2, but he 3 hasn’t noticed. The “pointing function” goes by the more official name assignment function, and is generally referred to as g. U S N VP Vi is hungry He 1 … is hungry … Bond Loren Pavarotti … F 123…123… g1g1

7 He 1 is hungry The assignment function g fits into the system much like the valuation function F does. F maps lexical items into the universe of individuals, g maps subscripts into the universe of individuals. [  n ] M,g = g(n) U S N VP Vi is hungry He 1 … is hungry … Bond Loren Pavarotti … F 123…123… g1g1

8 He 1 is hungry [  n ] M,g = g(n) [S] M1,g1 = g 1 (he 1 )  F 1 (is hungry) = Bond  {Bond, Loren} U1U1 S N VP Vi is hungry He 1 … is hungry … Bond Loren Pavarotti … F1F1 123…123… g1g1

9 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.

10 Bond likes everyone So, what we’re after is something like this:  x  U [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.

11 Syntactic base rules S  NP VPVP  Vt NP S  S ConjPVP  Vi ConjP  Conj SNP  Det N C S  Neg SNP  N P Det  the, a, everyN P  Pavarotti, Loren, Bond, Nemo, Dory, Blinky, Semantics, The Last Juror, he n, she n, it n, him n, her n, himself n, herself n, itself n. Conj  and, or Vt  likes, hates Vi  is boring, is hungry Neg  it is not the case thatN C  book, fish, man, woman

12 Bond likes every fish 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. S NPVP Vt likes NPNP Bond NP Det every NCNC fish

13 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:  x  U [x is a fish in M  Bond likes x in M]

14 Bond likes every fish  x  U [x is a fish in M  Bond 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.

15 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 fish and attaches it to the top of the tree, leaving an abstract pronoun behind. Then we will write our semantic rules to interpret that structure.

16 Quantifier Raising S NPVP Vt likes NPNP Bond NP Det every NCNC fish S NPVP Vt likes NPNP Bond NP Det every NCNC fish t1t1 S 1 S

17 Quantifier Raising Quantifier Raising [ S X NP Y ]  [ S NP [ S i [ S X t i Y ] ] ] That is: S … NP … S … t i … i S S NP

18 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:  x  U [x is a fish in M  Bond likes x in M]

19 Interpreting quantifiers Let’s start with the lower S. We know how to interpret that, it is essentially just Bond likes it 1.  F(likes) S NPVP Vt likes NPNP Bond NP Det every NCNC fish t1t1 S 1 S

20 Interpreting quantifiers The purpose of the 1 node is to make a predicate out of this sentence. The predicate will be, in effect, things Bond likes. Goal: 1 [  F(likes)] S NPVP Vt likes NPNP Bond NP Det every NCNC fish t1t1 S 1 S

21 Interpreting quantifiers The interpretation of [1] M,g, then, will be a function that takes a sentence (type ) and returns a predicate (type ). [1] M,g is type >. [1] M,g = S [ x [ [S] M,g[1/x] ] ] S NPVP Vt likes NPNP Bond NP Det every NCNC fish t1t1 S 1 S

22 [ ] 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 he 2. So, g 1 (an assignment function for a particular pointing situation) might map 1 to Pavarotti, 2 to Nemo, 3 to Loren, and so forth.

23 [ ] M,g[1/x] g 1 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: g 1 (1) = Pavarotti, g 1 (2) = Nemo g 1 [2/Bond](1) = Pavarotti, g 1 [2/Bond](2) = Bond

24 [ ] M,g[1/x] g 1 (1) = Pavarotti, g 1 (2) = Nemo g 1 [2/Bond](1) = Pavarotti, g 1 [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).

25 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 [  F(likes) ] = x [  F(likes)] S NPVP Vt likes NPNP Bond NP Det every NCNC fish t1t1 S 1 S

26 Interpreting quantifiers Great, now we have [S] M,g as a predicate that means things Bond likes. Now, let’s turn to every fish. Fish is a predicate, true of fish; that is: x [x  F(fish)] S NPVP Vt likes NPNP Bond NP Det every NCNC fish t1t1 S 1 S

27 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:  x  U [x is a fish  x is a thing Bond likes] [S] M,g is the predicate things Bond likes. [N C ] M,g is the predicate fish. S NPVP Vt likes NPNP Bond NP Det every NCNC fish t1t1 S 1 S

28 Interpreting quantifiers Informally, every takes two predicates, and yields true if everything that satisfies the first predicate also satisfies the second.,,t>> [every] M,g = P [ Q [  x  U [P(x)  Q(x)] ] ] S NPVP Vt likes NPNP Bond NP Det every NCNC fish t1t1 S 1 S

29 Interpreting quantifiers [every] M,g = P [ Q [  x  U [P(x)  Q(x)] ] ] [N C ] M,g = [fish] M,g = y [y  F(fish)] [NP] M,g = [every] M,g ( [fish] M,g ) = y [y  F(fish)] P [ Q [  x  U [P(x)  Q(x)] ] ] = Q [  x  U [x y [y  F(fish)]  Q(x)] ] = Q [  x  U [x  F(fish)  Q(x)] ] S NPVP Vt likes NPNP Bond NP Det every NCNC fish t1t1 S 1 S

30 Interpreting quantifiers [NP] M,g = Q [  x  U [x  F(fish)  Q(x)] ] [S] M,g = y [  F(likes)] [S] M,g = y [  F(likes)] Q [  x  U [x  F(fish)  Q(x)] ] =  x  U [x  F(fish)  x y [  F(likes)]] =  x  U [x  F(fish)   F(likes) ] S NPVP Vt likes NPNP Bond NP Det every NCNC fish t1t1 S 1 S

31 Phew And, we’ve done it. We’ve derived the truth conditions for Bond likes every fish:  x  U [x  F(fish)   F(likes) ] For every individual x in U, if x is a fish, then Bond likes x.

32 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 [  x  U [P(x)  Q(x)] ] ] [i] M,g = S [ x [ [S] M,g[i/x] ] ]

33 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:  x  U [x  F(book)   F(hates) ]

34 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 [  x  U [P(x)  Q(x)] ] ]

35 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 N C Det  a N C  fish VP  Vt NP Vt  likes NP  N P N P  Nemo S NPVP Vt likes NPNP Nemo NP Det a NCNC fish

36 Recap—step two Then, for the quantificational NPs (those with every or a as a determiner), use the QR transformation to attach the quantifier to the top of the tree. Quantifier Raising [ S X NP Y ]  [ S NP [ S i [ S X t i Y ] ] ] S NP VP Vt likes NPNP Nemo NP Det a NCNC fish S S t1t1 1

37 Recap—step three And then work your way up the tree, evaluating first the lexical entries at the bottom of the tree: [Nemo] M,g = Nemo [fish] M,g = x[x  F(fish)] [t 1 ] M,g = g(1) [likes] M,g = y[ x[  F(likes)]] [a] M,g = P [ Q [  x  U [P(x)  Q(x)] ] ] [1] M,g = S [ x [ [S] M,g[1/x] ] ] S NP VP Vt likes NPNP Nemo NP Det a NCNC fish S S t1t1 1

38 Recap—step three Work out parent nodes by applying functions to arguments [VP] M,g = [Vt] M,g ( [NP] M,g ) = Nemo y[ x[  F(likes)]] = x[  F(likes)] [S] M,g = [VP] M,g ( [t 1 ] M,g ) = g(1) x[  F(likes)] =  F(likes) S NP VP Vt likes NPNP Nemo NP Det a NCNC fish S S t1t1 1

39 Recap—step three Work out parent nodes by applying functions to arguments [NP] M,g = [Det] M,g ( [N C ] M,g ) = z[z  F(fish)] P [ Q [  x  U [P(x)  Q(x)] ] ] = Q [  x  U [x z[z  F(fish)]  Q(x)] ] ] = Q [  x  U [x  F(fish)  Q(x)] ] ] [S] M,g = [1] M,g ( [S] M,g ) =  F(likes) S [ x [ [S] M,g[1/x] ] ] = x [  F(likes) ] = x [  F(likes) ] S NP VP Vt likes NPNP Nemo NP Det a NCNC fish S S t1t1 1

40 Recap—step three Work out parent nodes by applying functions to arguments Notice that you can change the names of variables freely—to ensure that they don’t conflict. [S] M,g = [NP] M,g ( [S] M,g ) = z [  F(likes) ] Q [  x  U [x  F(fish)  Q(x)] ] =  x  U [x  F(fish)  x z [  F(likes) ] ] =  x  U [x  F(fish)   F(likes) ] S NP VP Vt likes NPNP Nemo NP Det a NCNC fish S S t1t1 1

41 Comments about QR Quantifier Raising [ S X NP Y ]  [ S NP [ S i [ S X t i Y ] ] ] 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. A quantifier needs something of type (and is itself of type,,t>>). Neither one can take the other as an argument.

42 Comments about QR Quantifier Raising [ S X NP Y ]  [ S NP [ S i [ S X t i Y ] ] ] 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.

43 Comments about QR Quantifier Raising [ S X NP Y ]  [ S NP [ S i [ S X t i Y ] ] ] 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.

44 Comments about QR Quantifier Raising [ S X NP Y ]  [ S NP [ S i [ S X t i Y ] ] ] 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.

45 Comments about QR Quantifier Raising [ S X NP Y ]  [ S NP [ S i [ S X t i Y ] ] ] 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).

46 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).

47 [Pavarotti] M,g = F(Pavarotti) (any N P ) [is boring] M,g = x [ x  F(is boring) ] (any N C or Vi) [likes] M,g = y [ x [  F(likes) ] ] (any Vt) [and] M,g = y [ x [ x  y ] ] (analogous for or) [it is not the case that] M,g = x [  x ] [  i ] M,g = g(i) [i] M,g = S [ x [ [S] M,g[i/x] ] ] [every] M,g = P [ Q [  x  U [P(x)  Q(x)] ] ] [a] M,g = P [ Q [  x  U [P(x)  Q(x)] ] ] Pass-Up [   ] M,g = [  ] M,g Functional application [   ] M,g = [  ] M,g ( [  ] M,g ) or [  ] M,g ( [  ] M,g ) whichever is defined Quantifier Raising [ S X NP Y ]  [ S NP [ S i [ S X t i Y ] ] ]

48             


Download ppt "CAS LX 502 9b. Formal semantics Pronouns and quantifiers."

Similar presentations


Ads by Google