Semantics 1, WiSe 2014/15 (Sailer): Difference between revisions
Jump to navigation
Jump to search
Line 32: | Line 32: | ||
# determiner: ''every''<br>restrictor: ''Capulet''<br>scope: ''Laurence married Romeo to x'' | # determiner: ''every''<br>restrictor: ''Capulet''<br>scope: ''Laurence married Romeo to x'' | ||
# paraphrase: For every ''x'' such that ''x'' is a Capulet, Laurence married Romeo to ''x''. | # paraphrase: For every ''x'' such that ''x'' is a Capulet, Laurence married Romeo to ''x''. | ||
# formula: ∀ ''x'' ('''capulet< | # 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. |
Revision as of 07:36, 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.