Semantics 1, WiSe 2014/15 (Sailer): Difference between revisions
(→Tasks) |
(→Tasks) |
||
Line 34: | Line 34: | ||
{''Some Montague who was at the party fell in love with Juliet.'' | {''Some Montague who was at the party fell in love with Juliet.'' | ||
|type="()"} | |type="()"} | ||
- ∃''x'' ('''montague'''(''x'') : (''' | - ∃''x'' ('''montague<sub>1</sub>'''(''x'') : ('''at-party<sub>1</sub>'''(''x'') ∧ '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet'''))) | ||
|| In restricted quantifier notation, the "complete" semantic representation of the noun phrase (NP) appears in the restrictor (-> square brackets). | || In restricted quantifier notation, the "complete" semantic representation of the noun phrase (NP) appears in the restrictor (-> square brackets). | ||
+ ∃''x'' (('''montague<sub>1</sub>'''(''x'') ∧ '''at-party<sub>1</sub>'''(''x'')) : '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet''')) | + ∃''x'' (('''montague<sub>1</sub>'''(''x'') ∧ '''at-party<sub>1</sub>'''(''x'')) : '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet''')) | ||
- ∃''x'' (''' | - ∃''x'' (('''montague<sub>1</sub>'''(''x'') ∧ '''at-party<sub>1</sub>'''(''x'')) : '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet''')) | ||
|| In restricted quantifier notation, the semantic representation of the noun phrase (NP) appears in the restrictor. | || In restricted quantifier notation, the semantic representation of the noun phrase (NP) appears in the restrictor. | ||
- ∃''x'' ((''' | - ∃''x'' (('''montague<sub>1</sub>'''(''x'') ∧ '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet''')) : '''at-party<sub>1</sub>'''(''x'')) | ||
|| In restricted quantifier notation, the semantic representation of the noun phrase (NP) appears in the restrictor, that of the VP in the scope. | || In restricted quantifier notation, the semantic representation of the noun phrase (NP) appears in the restrictor, that of the VP in the scope. | ||
Revision as of 07:53, 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 week 6: Meeting of November 17, 2014
Input
Watch the following video on logical determiners:
<mediaplayer></mediaplayer>
Tasks
After having watched the video, work on the following tasks.
Task 1 Identify the determiners in the following sentence.
(a) Juliet talked to some stranger at the party.
(b) Every Capulet is an enemy to every Montague.
(c) Many people in Verona are not happy about the Capulet-Montague feud.
Task 2 Identify the formula that corresponds to the translation of the sentence.
Homework task for the meeting of November 24
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.