Semantics 1, WiSe 2014/15 (Sailer): Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 34: Line 34:
# formula: &forall; ''x'' ('''capulet<sub>1</sub>'''(''x'') : '''marry-to'''('''laurence''', '''romeo''', ''x''))
# formula: &forall; ''x'' ('''capulet<sub>1</sub>'''(''x'') : '''marry-to'''('''laurence''', '''romeo''', ''x''))
# true or false? The formula is true in the context of our play because Juliet is a Capulet and Laurence marries Romeo to her. Thus, we find an individual for which both the restrictor and the scope are true.
# true or false? The formula is true in the context of our play because Juliet is a Capulet and Laurence marries Romeo to her. Thus, we find an individual for which both the restrictor and the scope are true.
Work on the following sentences:
(a) ''Romeo talked to a friar.''
(b) ''Juliet killed every Capulet.''

Revision as of 07:40, 14 November 2014

Material for Manfred Sailer's seminar Semantics 1, winter term 2014/15, Goethe University, Frankfurt a.M.

General information

You can get 2 CPs for the Medienkompetenzzertifikat in this class.

Register for the olat course at https://olat.server.uni-frankfurt.de/olat/url/RepositoryEntry/2563833857.

Material for individual meetings

Week 6: Meeting of November 17, 2014

Input

Watch the following video on logical determiners:

<mediaplayer></mediaplayer>

Tasks

Homework for the meeting of November 24

Task 1 In the following sentences,

  1. identify the determiner, the restrictor, and the scope,
  2. provide the paraphrase,
  3. translate the sentences into formulae,
  4. indicate for each formula whether it is true or false.

Example: Laurence married Romeo to a Capulet.

  1. determiner: every
    restrictor: Capulet
    scope: Laurence married Romeo to x
  2. paraphrase: For every x such that x is a Capulet, Laurence married Romeo to x.
  3. formula: ∀ x (capulet1(x) : marry-to(laurence, romeo, x))
  4. true or false? The formula is true in the context of our play because Juliet is a Capulet and Laurence marries Romeo to her. Thus, we find an individual for which both the restrictor and the scope are true.

Work on the following sentences:

(a) Romeo talked to a friar.

(b) Juliet killed every Capulet.