Semantics 1, SoSe 2014: Mock exam: Difference between revisions
Line 112: | Line 112: | ||
Check your answer | Check your answer | ||
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
[[<nowiki />'''mistrust'''('''macbeth''','''macbeth''')]] = ''1'' | [[<nowiki />'''mistrust'''('''macbeth''','''macbeth''')]] = ''1'' <br> iff < [[<nowiki />'''macbeth''']], [[<nowiki />'''macbeth''']] > is in [[<nowiki />'''mistrust''']] <br> iff < I('''macbeth'''), I('''macbeth''') > in I('''mistrust''') <br> iff < ''Macbeth'', ''Macbeth'' > in { ''x'' | ''x'' mistrusts ''y'' } = { <''Macbeth'', ''Banquo''>, <''Banquo'', ''Macbeth''> } | ||
Since this is not the case, [[<nowiki />'''mistrust'''('''macbeth''','''macbeth''')]] = ''0''. | Since this is not the case, [[<nowiki />'''mistrust'''('''macbeth''','''macbeth''')]] = ''0''. | ||
Line 122: | Line 122: | ||
Check your answer | Check your answer | ||
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
'''king'''('''banquo''') | [[<nowiki />¬ '''king'''('''banquo''')]] = ''1'' <br>iff [[<nowiki />''king'''('''banquo''')]] = ''0'' <br>iff < [['''banquo''']]> is not in [['''king''']]<br> iff < I('''banquo'''> is not in I('''king''') <br>iff < ''Banquo'' > is not in { <''x''> | ''x'' is king } = { <''Macbeth''>} | ||
Since this is the case, [[<nowiki />¬ '''king'''('''banquo''')]] = ''1'' | |||
</div></div> | </div></div> | ||
Revision as of 21:02, 4 July 2014
Mock exam file: File:Mock-exam-sose14.pdf
The examples in the text are based on Shakespeare's play Macbeth. The full text of the play is available on Projekt Gutenberg.
Task 1: Ambiguity
Consider the following ambiguous sentences.
- For each of these, determine the type of ambiguity.
- Provide an unambiguous paraphrase for the possible readings.
(1) a. Duncan trusted Macbeth because he was a thane.
Check your answer
- Type of ambiguity: referential ambiguity
- Reading 1: he refers to Macbeth. Paraphrase: Duncan trusted Macbeth because Macbeth was a thane.
Reading 2: he refers to Duncan. Paraphrase: Duncan trusted Macbeth because Duncan was a thane.
b. Every king trusts a thane.
Check your answer
- Type of ambiguity: scope ambiguity
- Reading 1: every takes scope over a. Paraphrase: For every king there is at least one thane such that the king trusts that thane.
Reading 2: a takes scope over every. Paraphrase: There is one particular thane such that each king trusts this thane.
b. Macbeth and Macduff are married.
Check your answer
- Type of ambiguity: collective-distributive ambiguity
- Reading 1: collective reading. Paraphrase: Macbeth and Macduff are married to each other
Reading 2: distributive reading. Paraphrase: Macbeth and Macduff are both married, but not to each other.
b. Macbeth killed a king with a dagger.
Check your answer
- Type of ambiguity: structural ambiguity
- Reading 1: the PP with a dagger is a modifier of the verb kill Paraphrase: Macbeth used a dagger to kill a king.
Reading 2: the PP with a dagger is a modifier of the noun king. Paraphrase: Macbeth killed a king who had a dagger.
Task 2: Model and Interpretation
(Note: For this task you do not need to use the functional notation and the types)
1. Define a universe that consists of Macbeth and Banquo.
Check your answer
U = { Macbeth, Banquo }
2. Define the interpretation of the names macbeth and banquo in an intuitively plausible way.
Check your answer
I(macbeth) = Macbeth,
I(banquo) = Banquo
3. Define the interpretation of the properties thane, king, and witch is such a way that Macbeth is a king, both are thanes and neither is a witch.
Check your answer
I(thane) = {Macbeth, Banquo},
I(king) = {Macbeth},
I(witch) = {}
4. Define the interpretation of the 2-place relations mistrust and kill in such a way that Macbeth and Banquo mistrust each other and Macbeth kills Banquo.
Check your answer
I(mistrust) = {<Macbeth, Banquo>, <Banquo, Mactbeth>},
I(kill) = {<Macbeth,Banquo}
Task 3: Formulae
Write down logical formulae that express the meaning of the following sentences.
1. Banquo is a thane.
Check your answer
thane(banquo)
2. Macbeth is king and Macbeth mistrusts Banquo.
Check your answer
king(macbeth) ∧ mistrust(macbeth,banquo)
3. If Banquo is king then Macbeth does not kill Banquo.
Check your answer
king(banquo) ⊃ ¬ kill(macbeth,banquo)
Task 4: Interpreting formulae
Compute the interpretation of the following formulæ step by step.
1. mistrust(macbeth,macbeth)
Check your answer
[[mistrust(macbeth,macbeth)]] = 1
iff < [[macbeth]], [[macbeth]] > is in [[mistrust]]
iff < I(macbeth), I(macbeth) > in I(mistrust)
iff < Macbeth, Macbeth > in { x | x mistrusts y } = { <Macbeth, Banquo>, <Banquo, Macbeth> }
Since this is not the case, [[mistrust(macbeth,macbeth)]] = 0.
2. ¬king(banquo)
Check your answer
[[¬ king'(banquo)]] = 1
iff [[king(banquo)]] = 0
iff < '''banquo'''> is not in '''king'''
iff < I(banquo> is not in I(king)
iff < Banquo > is not in { <x> | x is king } = { <Macbeth>}
Since this is the case, [[¬ king(banquo)]] = 1
3. witch(banquo) ⊃ king(macbeth))
Check your answer
king(banquo) ⊃ ¬ kill(macbeth,banquo)
Back to the material for Semantics 1, SoSe 2014.