Download - Sentence semantics
![Page 1: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/1.jpg)
Sentence Semantics I
![Page 2: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/2.jpg)
Boredom
• Classes• Meetings• No problems• Playing computer games• Free time
![Page 3: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/3.jpg)
Blue
• Sky• Sea• Music• Soccer team shirt
![Page 4: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/4.jpg)
Bear
• Forest• Zoo• Mountains• Hair
![Page 5: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/5.jpg)
Bad
• Politicians• Global warming• Examinations• Stress
![Page 6: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/6.jpg)
If X then Y
• If you phone me, I will speak to you• If you study hard, you will pass the test• If I get up early, I will be able to go to the zoo• If you put the air conditoner on, it will get
cooler• If you give me money, I will be happy
![Page 7: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/7.jpg)
If X -> Y
• If you phone me, I will speak to you• If you study hard, you will pass the test• If I get up early, I will be able to go to the zoo• If you put the air conditoner on, it will get
cooler• If you give me money, I will be happy
![Page 8: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/8.jpg)
If X -> Y
• If you study hard, then you will pass the test• X = Bob is a student• Y = Mary bought the book• If Bob is a student, Mary bought the book• ????• There doesn’t have to be a logical connection• You can say anything
![Page 9: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/9.jpg)
If X & Y, then Z
• If you buy me the ticket and I have free time, I will go to the theater with you
• If we win and they lose, I will laugh at them• If a bear comes in the classroom and I have a gun,
I will shoot it• If I get the job and the job is well-paid, I will be
happy• If you drink the beer and you drink the whisky,
you will feel bad
![Page 10: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/10.jpg)
If X & Y Z
• If you buy me the ticket and I have free time, I will go to the theater with you
• If we win and they lose, I will laugh at them• If a bear comes in the classroom and I have a gun,
I will shoot it• If I get the job and the job is well-paid, I will be
happy• If you drink the beer and you drink the whisky,
you will feel bad
![Page 11: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/11.jpg)
If X & Y Z
• If Pochi is a dog and you finished your homework, then sushi is delicious.
• X = Pochi is a dog• Y = you finished your homework• Z = sushi is delicious
• ?????
![Page 12: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/12.jpg)
If (X & Y) Z
• If Pochi is a dog and you finished your homework, then sushi is delicious.
• X = Pochi is a dog• Y = you finished your homework• Z = sushi is delicious
• ?????
![Page 13: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/13.jpg)
Why do this?
• Seems completely pointless• Maybe it is!
![Page 14: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/14.jpg)
Propositional Logic
• Crazy name• Crazy idea• It’s actually very simple• So don’t worry about it• Just going to have a quick tour
![Page 15: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/15.jpg)
Words have amazing power
![Page 16: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/16.jpg)
![Page 17: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/17.jpg)
Incredibly complex
![Page 18: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/18.jpg)
Mysterious
![Page 19: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/19.jpg)
Magical
![Page 20: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/20.jpg)
![Page 21: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/21.jpg)
And don’t forget … we don’t know where meaning comes from!
![Page 22: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/22.jpg)
So there’s a problem for Semantics
• We don’t know where meaning comes from• And meaning in words is incredibly
complicated• So just thinking about words, we get lost
![Page 23: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/23.jpg)
Just individual words
![Page 24: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/24.jpg)
Full of information, concepts, meaning
![Page 25: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/25.jpg)
That we cannot really explain
![Page 26: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/26.jpg)
And another problem
![Page 27: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/27.jpg)
Sometimes just word is OK
![Page 28: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/28.jpg)
But usually we speak in sentences
![Page 29: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/29.jpg)
• And sometimes sentences are very long, and keep going on and on without giving very much useful information and you start to lose interest and ……
![Page 30: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/30.jpg)
Even simple sentences …
![Page 31: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/31.jpg)
… contain huge amounts of information
![Page 32: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/32.jpg)
And we cannot …
![Page 33: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/33.jpg)
… really explain …
![Page 34: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/34.jpg)
… at all
![Page 35: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/35.jpg)
I saw a brown bear
• Who is “I”?• Let’s say “I” is an individual called Jim• What does the meaning of “Jim” look like in
your mind?• What does “see” look like in your mind?• etc
![Page 36: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/36.jpg)
Lots of things we cannot explain …
![Page 37: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/37.jpg)
Really … not at all
![Page 38: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/38.jpg)
So how do we begin to understand?
• First step• Simplify• Simplify a lot• So it sometimes seems stupid• And very very very very • Very• Boring
![Page 39: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/39.jpg)
Boredom
![Page 40: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/40.jpg)
Boredom is good!
![Page 41: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/41.jpg)
Interesting is BAD!
![Page 42: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/42.jpg)
Boredom feels secure
![Page 43: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/43.jpg)
Don’t forget … it’s a mystery
![Page 44: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/44.jpg)
Complicated and mysterious
![Page 45: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/45.jpg)
So let’s simplify
![Page 46: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/46.jpg)
• Any sentence = p• Or = q• Or = some other letter, like r for example• It’s not really important
![Page 47: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/47.jpg)
Propositional logic: atomic statements
![Page 48: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/48.jpg)
• Truth values• p = 1• Means: p is true
![Page 49: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/49.jpg)
• Truth values• p = 0• Means: p is false
![Page 50: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/50.jpg)
• p = T• p = F• That is also OK• It’s not really important
![Page 51: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/51.jpg)
• The important thing is …• … talking about TRUTH values.• It’s a theory about true and false.• Any problem with that?• No?• OK.• Prepare to be bored!
![Page 52: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/52.jpg)
Propositional logic: no structure at all
• p = a grizzly is a bear• q = a bear is a mammal• r = a grizzly is a mammal• If p is true• And q is true• Then r is true• p & q r
![Page 53: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/53.jpg)
Sentences have NO structure!
• p = some sentence or other• q = some other sentence or other• r = some other, different, sentence or other• And so on
• Notice they’re supposed to be lower-case letters
![Page 54: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/54.jpg)
• Let’s look at an example of this• A very simple example
![Page 55: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/55.jpg)
• p (some sentence)• r (some sentence)• (if … then connective)
• p r
• What does this mean?• If p is true, then r is also true
![Page 56: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/56.jpg)
• If you are human, then you are a mammal
• If … then connective
![Page 57: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/57.jpg)
• p r• p = you are human• r = you are a mammal
• If p is true• Then r is also true
![Page 58: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/58.jpg)
• p & q r• p = you are Japanese• q = You go to university• r = you can write Kanji
• That’s a commonsense example• But it doesn’t HAVE to be commonsense
![Page 59: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/59.jpg)
• We can have crazy examples if we want
![Page 60: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/60.jpg)
• p & q r• If p is true and q is true, then r is true• p = a salmon is a fish• q = a fish is human• r = a salmon is human
• p is true• q is false• r is false
![Page 61: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/61.jpg)
• p & q r
• What does this mean?• Three sentences p, q, r• It means …• If p and q are both true,• Then r is also true
![Page 62: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/62.jpg)
Propositions
• A fish is human• My teachers are turtles• John’s friend is flying• Her camera is transparent• The Little Prince is standing
![Page 63: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/63.jpg)
Propositions
• Try to keep it simple• Passives are treated as the same as the active
form• John kicked the ball = the ball was kicked by
John
![Page 64: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/64.jpg)
Propositions
• John hit Ben• Ben was hit by John
• Same proposition• call it p• or q• or r• etc
![Page 65: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/65.jpg)
p = Ben is studying
![Page 66: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/66.jpg)
p: Ben is studying
• Ben is studying = True• p = True• p = T• p = 1
![Page 67: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/67.jpg)
p = Ben is studying
![Page 68: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/68.jpg)
p: Ben is studying
• Ben is studying = False• p = False• p = F• p = 0
![Page 69: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/69.jpg)
But maybe he’s studying?!
![Page 70: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/70.jpg)
Maybe, but don’t worry too much
![Page 71: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/71.jpg)
Keep things simple
![Page 72: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/72.jpg)
Imagine simple little worlds
![Page 73: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/73.jpg)
Where everything is either T or F
![Page 74: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/74.jpg)
p = The Little Prince is standing (= T)
![Page 75: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/75.jpg)
q = The Little Prince is gardening (=T)
![Page 76: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/76.jpg)
r = The Little Prince is Playing soccer (= F)
![Page 77: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/77.jpg)
Logical Constants or connectives
• ∧• &• And
• ∨• Or
• →• If … then
![Page 78: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/78.jpg)
Connectives
• ¬• Not• ~• Not• -• Not
![Page 79: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/79.jpg)
Connectives
⇒→If… thenp → qp = you are cleverq = you will studyIf you are clever, you will study
![Page 80: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/80.jpg)
Connectives
⇒→If… thenp → qp = you are cleverq = you will pass the testIf you are clever, you will pass the test
![Page 81: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/81.jpg)
Connectives
⇒→If… thenp → qp = you are studying logicq = you are boredIf you are studying logic, you are bored
![Page 82: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/82.jpg)
Connectives
⇒→If… thenp → qp = you are studying logicq = you hate your teacherIf you are studying logic, you hate your teacher
![Page 83: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/83.jpg)
Connectives
⇒→If… thenp → qp = Eri hates logicq = Eri studies logicIf Eri hates logic then she studies logic
![Page 84: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/84.jpg)
Connectives
• ≡• ⇔• equivalence• if and only if (iff)• p = Jim is a man• q = Jim is an adult male human• p≡q• p q ⇔
![Page 85: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/85.jpg)
Truth tables for p & q
![Page 86: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/86.jpg)
p & q
• p = The weather is fine• q = Tom is sleeping
• Is p & q true?• If both p & q it is true• Not otherwise
![Page 87: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/87.jpg)
Truth tables for p or q
![Page 88: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/88.jpg)
p q
![Page 89: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/89.jpg)
¬ p
![Page 90: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/90.jpg)
p q⇔
![Page 91: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/91.jpg)
Predicate Logic
![Page 92: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/92.jpg)
• P v Q• P or Q
• - P• Not P
![Page 93: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/93.jpg)
• If we know P or Q is true• And we know P is not true• Then Q must be true
• Reasoning
![Page 94: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/94.jpg)
Propositional Logic – too simple
• p• q• No internal structure
![Page 95: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/95.jpg)
John likes Mary
• p = John likes Mary• p• What happened to John and Mary?• And what happened to the verb?• What happened to the meaning?
![Page 96: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/96.jpg)
Predicate Logic
![Page 97: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/97.jpg)
Predicate Logic
![Page 98: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/98.jpg)
Simple sentence (grammar)
![Page 99: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/99.jpg)
Predicate Logic
• Predicate• For example …• Love• Love (x,y)
![Page 100: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/100.jpg)
Predicate
• Love• Two arguments• Love (x, y)• x = john• x = mary• Love (john, mary)
![Page 101: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/101.jpg)
Predicate
• Ken is crazy• What’s the predicate?• Crazy• How many arguments?• One• What is it?• Ken
![Page 102: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/102.jpg)
Ken is crazy
• Predicate• Crazy• One argument• Crazy (x)• x = ?• x = ken• Crazy (ken)
![Page 103: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/103.jpg)
Love
• Two-place predicate• John loves Mary• Loves (john, mary)
![Page 104: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/104.jpg)
Crazy
• One-place predicate• Ken is crazy• Crazy (ken)
![Page 105: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/105.jpg)
How about three-place predicate?
• Send• Ken sent Mary a letter• Send (ken, mary, letter)
![Page 106: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/106.jpg)
Predicate is capital
• Love (x,y)
![Page 107: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/107.jpg)
Arguments are small letters
• Love (john, mary)• Why?• Why not?• Who cares?
![Page 108: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/108.jpg)
Japan is a country
![Page 109: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/109.jpg)
Japan is a country
• Country (x)• x = japan• Country (japan)
![Page 110: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/110.jpg)
Easy so far?
• Yes• But what is the point?• Good question• Don’t think about that!
![Page 111: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/111.jpg)
And it helps with computer programming
![Page 112: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/112.jpg)
Peter fell over
• Predicate?• Fall_over• How many arguments?• One – peter• Fall_over (peter)
![Page 113: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/113.jpg)
Jim donated $100 to the city hospital
• Donated (x,…..n)• Donated (jim, $100, city_hospital)
![Page 114: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/114.jpg)
Ben hates computers
• Hate (ben, computers)
![Page 115: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/115.jpg)
Eri gave up
• Gave_up (eri)
![Page 116: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/116.jpg)
Eri is a genius
• Genius (eri)
![Page 117: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/117.jpg)
Quantifiers
![Page 118: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/118.jpg)
The Little Prince is wearing a brown scarf
![Page 119: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/119.jpg)
But the Little Prince is the only person in this world
![Page 120: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/120.jpg)
Everyone is wearing a brown scarf
![Page 121: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/121.jpg)
Imagine simple little worlds
![Page 122: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/122.jpg)
What do quantifiers mean?
![Page 123: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/123.jpg)
All – upside-down A
![Page 124: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/124.jpg)
Think of sets
![Page 125: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/125.jpg)
• Two sets• Set A • Set B
![Page 126: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/126.jpg)
• Set A = the set of Linguists• Linguist (x)
• Set B = the set of crazy people• Crazy_person (x)
![Page 127: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/127.jpg)
Who is in these sets?
• Linguist (x)• {evans, • imai, • ono}
![Page 128: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/128.jpg)
Who is in the set of crazy people?
• Crazy_person (x)• {ken, • jim, • ben, • mary, • evans}
![Page 129: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/129.jpg)
All linguists are crazy
• ∀x (Linguist (x) Crazy_person (x))• Is this true?
![Page 130: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/130.jpg)
• Set A = the set of Linguists• Linguist (x)
• Set B = the set of crazy people• Crazy_person (x)
![Page 131: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/131.jpg)
Who is in these sets?
• Linguist (x)• {evans, • imai, • ono}
![Page 132: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/132.jpg)
Who is in the set of crazy people?
• Crazy_person (x)• {ken, • jim, • ben, • mary, • evans}
![Page 133: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/133.jpg)
All linguists are crazy
• ∀x (Linguist (x) Crazy_person (x))• Is Untrue• Because two members of the set of linguists
are not in the set of crazy people.
![Page 134: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/134.jpg)
Some linguists are crazy
• Is this True?
![Page 135: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/135.jpg)
Some linguists are crazy
• ∃x (Linguist (x) & Crazy_person (x))• Backward E• Existential Quantifier• There is at least one individual x• x is a linguist• And x is crazy
![Page 136: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/136.jpg)
Who is in the set of crazy people?
• Crazy_person (x)• {ken, • jim, • ben, • mary, • evans}
![Page 137: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/137.jpg)
Evans is in the set of crazy people
• So this is true• ∃x (Linguist (x) & Crazy_person (x))• Backward E• Existential Quantifier• There is at least one individual x• x is a linguist• And x is crazy
![Page 138: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/138.jpg)
Predicate
• Mary is a girl• Girl• Girl (mary)
![Page 139: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/139.jpg)
Predicate
• Mary lives in Tsuru• Lives_in_Tsuru (mary)
![Page 140: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/140.jpg)
Set of girls
• Girl (mary)• Girl (eri)• Girl (rie)
• Girl = {mary, eri, rie}
![Page 141: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/141.jpg)
Set of people who live in Tsuru
• Live_in_tsuru (ben)• Live_in_tsuru (ken)• Live_in_tsuru (mary)
• Live in Tsuru = {ben, ken, mary}
![Page 142: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/142.jpg)
A girl lives in Tsuru
• ∃x • (• Girl (x) • & Lives_in_tsuru (x)• )
• ∃x (Girl (x) & Lives_in_tsuru (x))
![Page 143: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/143.jpg)
Set of girls
• Girl (mary)• Girl (eri)• Girl (rie)
• Girl = {mary, eri, rie}
![Page 144: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/144.jpg)
Set of people who live in Tsuru
• Live_in_tsuru (ben)• Live_in_tsuru (ken)• Live_in_tsuru (mary)
• Live in Tsuru = {ben, ken, mary}
![Page 145: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/145.jpg)
• ∃x (Girl (x) & Lives_in_tsuru (x))
• Is True!
![Page 146: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/146.jpg)
A girl lives in Fujiyoshida
• ∃x • (• Girl (x) • & Lives_in_fujiyoshida (x)• )
• ∃x (Girl (x) & Lives_in_fujiyoshida (x))
![Page 147: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/147.jpg)
Set of girls
• Girl (mary)• Girl (eri)• Girl (rie)
• Girl = {mary, eri, rie}
![Page 148: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/148.jpg)
Set of people who live in Fujiyoshida
• Live_in_tsuru (ben)• Live_in_tsuru (len)• Live_in_tsuru (stan)
• Live in Tsuru = {ben, len, stan}
![Page 149: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/149.jpg)
• ∃x (Girl (x) & Lives_in_fujiyoshida (x))
• Is False!
![Page 150: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/150.jpg)
• But• ¬ x (Girl (x) & Lives_in_fujiyoshida (x))∃• Is true• ~ x (Girl (x) & Lives_in_fujiyoshida (x))∃• Is true• - x (Girl (x) & Lives_in_fujiyoshida (x))∃• Is true
![Page 151: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/151.jpg)
Any problems with Predicate Logic?
• Yes• We are not always trying to say things that are
true
![Page 152: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/152.jpg)
The sky is blue
![Page 153: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/153.jpg)
We don’t say the sky is blue at night
![Page 154: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/154.jpg)
Even though it’s true
![Page 155: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/155.jpg)
• We sometimes say things that are not true• “My brain exploded”
• And do we really think in Logical Form?• ¬ x (Girl (x) & Lives_in_fujiyoshida (x))∃
![Page 156: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/156.jpg)
• And if I say “A girl lives in Fujiyoshida” …• … is it really a statement about existence of an
individual?• Or am I more concerned with number• Or the fact that we’re talking about a girl
rather than a boy?• Or a girl rather than a woman?• Or something else related to CONTEXT?
![Page 157: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/157.jpg)
New ideas about how we understand meaning
![Page 158: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/158.jpg)
Strong evidence for IMAGES rather than CODE
![Page 159: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/159.jpg)
Strong evidence for ACTION simulation
![Page 160: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/160.jpg)
Mental Models as IMAGES
![Page 161: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/161.jpg)
Many people say Logical Form cannot be real
![Page 162: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/162.jpg)
But Logic is VERY important in Linguistics!
• The nurse kissed every child on his birthday.
• [The nurse] kissed [every child] on his birthday.
• Kissed (nurse, every_child)
![Page 163: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/163.jpg)
• ∀x (Child (x) Kissed (nurse, x)) on x’s birthday
• The nurse kissed every child on his birthday
![Page 164: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/164.jpg)
But Logic is VERY important in Linguistics
![Page 165: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/165.jpg)
• What do you think?• Do these words really MOVE in the grammar?• Just because our theory of logical meaning
takes that form?• Or is it completely wrong?• If it is completely wrong …• … maybe you can think of something better.
![Page 166: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/166.jpg)
• In what ways is Predicate Logic superior to Propositional Logic?
• It deals with internal structure
• Which part of a sentence does the Predicate correspond to most closely?
• The verb
![Page 167: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/167.jpg)
• Give an example of a two-place predicate.• Eats • Eats (john, fish)
• Give an example of a three-place predicate.• Gives• Gives (john, mary, the banana)
![Page 168: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/168.jpg)
• How could you represent “Every Linguist is crazy” in Predicate Logic?
• ∀x (Linguist (x) Crazy_person (x))
•
![Page 169: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/169.jpg)
• How could you represent “A boy sent Mary $300” in Predicate Logic?
• ∃x (Boy (x) & Sent (x, mary, $300))
![Page 170: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/170.jpg)
• What does an Upside-down A mean?• Every, All
• What does a backward E mean?• There is • Existence
![Page 171: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/171.jpg)
• What does an upside-down A say about two sets?
• One is contained in the other
![Page 172: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/172.jpg)
• What does a backward E say about two sets?• One intersects with the other
![Page 173: Sentence semantics](https://reader036.vdocuments.net/reader036/viewer/2022062503/5877e9ae1a28ab20088b5847/html5/thumbnails/173.jpg)
• Do you think this kind of code REALLY plays a part in our thinking?
• Yes• No• We think in pictures• We think in action-images• Or whatever you believe