WiSe 2025/26: Semantics 1

Meeting 7

Video

Watch the following video on logical determiners:

Exercises

After having watched the video, work on the following tasks.

Task 1 Identify the logical determiners in the following sentence.

(a) Juliet talked to some stranger at the party.

(b) Every Capulet is an enemy to some Montague.

(c) Many people in Verona are not happy about the Capulet-Montague feud.

Check your solutions here:

(a) some

(b) every, some

(c) many

Task 2 Identify the formula that corresponds to the translation of the sentence.

Some Montague who was at the party fell in love with Juliet.

	∃x (montague1(x) : (at-party1(x) ∧ fall-in-love-with2(x,juliet)))
	∃x ((montague1(x) ∧ at-party1(x)) : fall-in-love-with2(x,juliet))
	∃x (montague1(x) : (at-party1(x) ∧ fall-in-love-with2(x,juliet))
	∃x ((montague1(x) ∧ fall-in-love-with2(x,juliet)) : at-party1(x))

Task 3 The sentence: Some Tybalt loved some Montague. is translated into the formula
∃ y (montague₁(y) : love₂(tybalt,y).

Mark all the cells in the table that stand for a true statement.

montague1(y) zwisch	love2(tybalt,y)zwisch
		Romeo
		Mercutio
		Juliet
		Tybalt
		Laurence
		Paris

Given this table, is the overall formula true or false? (Give a reason for your answer.)

Check your solutions here:

The formula is false, because there is no individual in our model for which both the restrictor and the scope are true.

Meeting 6

(no material)

Meeting 5

Asynchronous!

Computing the truth value of more complex formulae

The next video shows how the truth value of a more complex formula can be computed. The example contains two connectives:

kill(malcom,lady-macbeth) ∨ ¬thane(macbeth)

The video shows two different methods: top down and bottom up.

Truth tables

Truth tables are also useful to compute the truth value of complex formulae. This is shown in the following podcast, created by Lisa Günthner.

Meeting 4

Logical or

The following short video (in German) gives some examples for the difference between the meaning of logical disjunction and the everyday use of the word or in natural language.

(The video is from the youtube playlist VentriLinguist: Sprachwissenschaft mit Bauchgefühl)

Computing the truth value of complex formulae

The following video presents the step-by-step computation of the truth value of two formulae with connectives. The example uses a model based on Shakespeare's play Macbeth. The two formulae are:

• ¬ king(lady-macbeth)
• king(duncan) ∨ king(lady-macbeth)

Interpretation of formulae with logical connectives

Consider these two natural language sentences. While keeping in mind the scenario given in a previous exercise, create complex formulae with logical connectives and compute the interpretation, respectively.

Consider these two natural language sentences. While keeping in mind the scenario given in a previous exercise, create complex formulae with logical connectives and compute the interpretation, respectively.

a.) Alice is a dog and Lisa and Tom enjoy watching football together.

Check your answers

Sentence: Alice is a dog and Lisa and Tom enjoy watching football together.

Here the interpretation in predicate logic notation:

[[dog (Alice) Ʌ enjoy-watching-football-together (Lisa,Tom)]] = false

because [[dog (Alice)]]= false

because I(Alice)= <Alice> and <Alice> is NOT an element of I(dog)

and [[enjoy-watching-soccer-together (Lisa,Tom)]] = true

because I(Lisa)= <Lisa>, I(Tom)= <Tom> and <Lisa,Tom> is in the set of I(enjoy-watching-football-together).

Conjunction (Ʌ): Both atomic formulae have to be true in order for the complex formula to be true.

b.) Tom is not Paul's daughter or Tom is tall.

Check your answers

Sentence: Tom is not Paul's daughter or Tom is tall.

Here the interpretation in predicate logic notation:

[[¬daughter-of-someone (Tom,Paul) v tall(Tom)]] = true

because [[¬daughter-of-someone (Tom,Paul)]]= true

because I(Tom)= <Tom>, I(Paul)= <Paul> and <Tom,Paul> is NOT in the set of I(daughter-of-someone)

and [[tall(Tom)]] = false

because I(Tom)= <Tom> and <Tom> is NOT an element of I(tall).

Disjunction (v): At least one of the atomic formulae has to be true in order for the complex formula to be true.

Meeting 3

Computing the truth value of atomic formulae

The following video presents the step-by-step computation of the truth value of two atomic formulae. The example uses a model based on Shakespeare's play Macbeth. The two formulae are:

• kill2(macbeth,duncan)
• kill2(lady-macbeth,macbeth)

Syntax of atomic formulae

Exercise 1

The following material is an adapted form of material created by student participants of the project e-Learning Resources for Semantics (e-LRS).
Involved participants: Lisa, Marthe, Elisabeth, and Isabelle.

This exercise is based on the following scenario:

At the time Alice, Paul, Tom and Lisa live in Berlin, but they rather want to live in Munich. Alice is married to Paul. They are Tom and Lisa's parents. Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys watching American football games together. But while the girls also like watching soccer, the boys get bored of it. Walter, the family's dog, doesn't care about sports at all, he likes to eat the familiy members´ shoes.

Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one.
(Click on the box if the expressionis a formula. When you press the submit button, you will see a suggestion for the second part of the question.)

1

family-dog

2

blonde(alice,paul)

3

father-of(alice,lisa)

4

tall(alice)

5

enjoy-watching-football-together

For a general explanation of formulae Click here

---

Exercise 2

For the following exercises we use names and properties from the The Lord of the Rings novels.

Names: frodo, sam, gandalf, aragorn
1-place predicates: hobbit, wizard
2-place predicates: know, help

1 Click on the items that are well-formed expressions of the semantic representation language.

	gandalf
	hobbit
	sauron
	know(gandalf)
	help(aragorn,frodo)

2 Click on the expressions that are well-formed formulae.

	hobbit
	frodo
	hobbit(aragorn)

Interpretation of atomic formulae

Interpret the following formulae as true or false. If you have not defined these relations or properties in your model use the ones given in a previous exercise.

• father-of-someone(paul,lisa)

Check your answers

[[father-of-someone(paul,lisa)]] = true iff
< [[paul]], [[lisa]] > ∈ [[father-of-someone]] iff
< I(paul), I(lisa) > ∈ I(father-of-someone) iff
< Paul, Lisa> ∈ {<Paul, Tom>,<Paul, Lisa>}.

Since this is the case, the formula is true.

• blonde(walter)

Check your answers

[[blonde(walter)]] = true iff
< I(walter) > ∈ I(blonde) iff
< Walter > ∈ {< Alice >,< Lisa >}.

Since this is not the case, the overall formula is false.

• enjoy-watching-football-together(alice,tom)

Check your answers

[[enjoy-watching-football-togehter(alice,tom)]] = true iff
< I(alice), I(tom) > ∈ I(enjoy-watching-football-together) iff
< Alice, Tom > ∈ {<Alice, Paul>,<Paul, Alice>,<Alice, Lisa>,<Lisa, Alice>,<Alice, Tom>,<Tom, Alice>,<Paul, Lisa>,<Lisa, Paul>,<Paul, Tom>,<Tom, Paul>,<Tom, Lisa>,<Lisa, Tom>}

Since this is the case, the formula is true.

Meeting 2

Models

The following material is an adapted form of material created by student participants of the project e-Learning Resources for Semantics (e-LRS). Involved participants: Lisa, Marthe, Elisabeth, Isabelle.

Watch a short podcast what first-order models look like.

Based on this podcast, we can define a scenario as follows:

• Universe: U = {LittleRedRidingHood, Grandmother, Wolf}
  
• Properties:

RedHood = { < x> | x wears a read hood } = { <LittleRedRidingHood> }

Female = { <x> | x is female } = { <LittleRedRidingHood>, <Grandmother> }

BigMouth = { <x> | x has a big mouth } = { <Wolf> }

LiveInForest = { < x> | x lives in the forest } = { <Grandmother>, <Wolf>}

• Relations:

GrandChildOf = { <x,y> | x is y 's grandchild } = { <LittleRedRidingHood,Grandmother > }

AfternoonSnackOf = { <x,y> | x is y 's afternoon snack } = { <LittleRedRidingHood,Wolf > }

From this scenario, we can build a model M = < U, I >

• Universe: U = {LittleRedRidingHood, Grandmother, Wolf}
• Name symbols: NAME = {little-red-riding-hood}
  Note: In our model, only one individual has a name.
• Predicate symbols: PREDICATE = {red-hood1, female1, big-mouth, live-in-forest1, grand-child-of2, afternoon-snack-of2}
• Interpretation function I:

• for name symbols: I(little-red-riding-hood) = LittleRedRidingHood
• for predicate symbols:
  

I(red-hood1) = RedHood = { < x> | x wears a read hood } = { <LittleRedRidingHood> }

I(female) = Female = { <x> | x is female } = { <LittleRedRidingHood>, <Grandmother> }

I(big-mouth1) = BigMouth = { <x> | x has a big mouth } = { <Wolf> }

I(live-in-forest1) = LiveInForest = { < x> | x lives in the forest } = { <Grandmother>, <Wolf>}

I(grand-child-of2) = GrandChildOf = { <x,y> | x is y 's grandchild } = { <LittleRedRidingHood,Grandmother > }

I(afternoon-snack-of2) = AfternoonSnackOf = { <x,y> | x is y 's afternoon snack } = { <LittleRedRidingHood,Wolf > }

Meeting 1

Video

Challenging phenomena at the syntax-semantics interface

Scenario

The Hunger Games (film, 2012): https://en.wikipedia.org/wiki/The_Hunger_Games_(film)