Semantics 1, WiSe 2014/15 (Sailer): Difference between revisions
Jump to navigation
Jump to search
| Line 34: | Line 34: | ||
# formula: ∀ ''x'' ('''capulet<sub>1</sub>'''(''x'') : '''marry-to'''('''laurence''', '''romeo''', ''x'')) | # formula: ∀ ''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,
- identify the determiner, the restrictor, and the scope,
- provide the paraphrase,
- translate the sentences into formulae,
- indicate for each formula whether it is true or false.
Example: Laurence married Romeo to a Capulet.
- determiner: every
restrictor: Capulet
scope: Laurence married Romeo to x - paraphrase: For every x such that x is a Capulet, Laurence married Romeo to x.
- formula: ∀ x (capulet1(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.
Work on the following sentences:
(a) Romeo talked to a friar.
(b) Juliet killed every Capulet.