Semantics1 Week 2
Additional material for the meeting of week 2, April 22, 2015.
Our literary scenario: Game of Thrones (TV series)
- Wikipedia site: http://en.wikipedia.org/wiki/Game_of_Thrones
Site on season 1: http://en.wikipedia.org/wiki/Game_of_Thrones_%28season_1%29 - Short summary of season 1 on youtube: https://www.youtube.com/watch?v=atxp6x3YreI
Our scenario and some preliminary thoughts
Getting into our literary scenario
Watch the trailer of Season 1 of Game of Thrones:
<mediaplayer>https://www.youtube.com/watch?v=YinJaXzgzqI</mediaplayer>
Having watched the video, which of the following statements are true in our scenario?
The meanings of some of these sentences are closely related. What do you observe for the following sentence pairs?
Catelyn wants that her husband becomes the king's Hand. and Catelyn wants her husband to become the Hand of the king.
Check your answers
The two sentences are paraphrases of each other, i.e., in every situation, whever the first is true, so is the second.
There is a king. and There is no king.
Check your answers
The two sentences contradict each other. Whenever one is true, the other must be false.
Catelyn wants that her husband becomes the king's Hand. and There is a king.
Check your answers
Whoever utters the first sentence must also assume the truth of the second. (Technically, the second sentence is presupposed by the first, but this doesn't matter here.)
Task:
- Formulate three more statements with respect to our scenario.
- Determine for each of them whether it is true or false in our scenario.
- Is there a systematic relation between the meaning of your sentences?
Why it is too difficult to go directly from language to the world
The following architecture is extremely useful when talking about semantics:
- A natural language expressions: Rob likes John.
- ... is mapped to some expression from a formal language (here: predicate logic): like(rob,john)
- This logical expression is then interpreted with respect to our scenario/world: The formula like(rob,john) is true, because, in our scenario, Rob likes John.
The following properties of natural language make it useful to use the intermediate step of a logical language:
- The same expression can have different meanings (ambiguity).
- Different expressions can have the same meaning (synonyms, paraphrases)
Find examples for the above-mentioned properties (ambiguity, synonymy, paraphrases).
Check your answers
1. one form, two meaingns: Ambiguity: (see earlier in this meeting and the slides of last week's meeting)
1.a Ambiguous words: date (fruit or point in time); bank (financial institute or bank of a river)
1.b. Ambiguous sentences: Ned
2. two forms, one meaning:
2.a Synonymous words: couch - sofa; instant - moment
2.b Paraphrases:
- active-passive pairs: Robert invited Ned to King's Landing. - Ned got invited to King's Landing by Robert.
- cleft sentences: Robert invited Ned to King's Landing. - It was to King's Landing that Robert invited Ned.
- our previous example: Catelyn wants that her husband becomes the king's Hand. and Catelyn wants her husband to become the Hand of the king.
Towards a formal model
You can think of building a formal model like being the producer of a film who has to collect everything that should be included in the film.
Here is a very simple story from which we can derive an example model.
<mediaplayer>http://youtu.be/4a3mXelw7H4</mediaplayer>
The universe and name symbols
Task: Assume three individuals from our Game of Thrones-scenario.
Formally we collect the individuals of our model in a so-called universe (U). For the fairy-tale story, we can define the universe as follows:
U = {Redridinghood, Grandmother, Wolf}
Do a similar definition for your own scenario.
We can introduce name symbols for some of our individuals. For example: redridinghood, grandmother, wolf.
We link the name symbols to the individuals in our modal. To do this, we introduce the interpretation function. We will written the interpretation function as as I.
The relations
In the fairy-tale scenario we express a relation between Little Red Riding Hood and the Wolf, namely that Little Red Riding Hood is the Wolf's afternoon snack. To formalize this, we collect all pairs of individuals which are such that the first element in the pair is the afternoon snack of the second. Note: A pair is written in between pointy brackets.
Formally we can write this down as follows:
{< x, y > | x is y 's afternoon snack} = { < Redridinghood, Wolf >, < Grandmother, Redriding hood >.}
We can also assume empty relations:
{< x, y > | x is y 's father } = { }
Note, if a relation works both ways, two pairs must be added:
{< x, y > | x talks with y} = { <Redridinghood, Wolf >, < Wolf, Redridinghood >}
Task: Using your universe from above, introduce two properties, one binary and one secondary relation.
For next week
- Get information on our literary scenario: Game of Thrones (TV series)
- Wikipedia site: http://en.wikipedia.org/wiki/Game_of_Thrones
Site on season 1: http://en.wikipedia.org/wiki/Game_of_Thrones_%28season_1%29 - Short summary of season 1 on youtube: https://www.youtube.com/watch?v=atxp6x3YreI
- Wikipedia site: http://en.wikipedia.org/wiki/Game_of_Thrones
- Read Levine et al. (in prep.), Chapter 2, Section 1 [available at olat].
- Define a model based on the Game of Thrones-scenario that contains:
- three individuals,
- two properties,
- one binary relation (2-place relation), and
- one ternary relation (3-place relation).
- Add the corresponding name symbols and predicate symbols.
For an example see the solution to this excercise. - Provide two statements that can be evaluated with respect to your model. One of them should be true, the other false.