Semantics 1, WiSe 2014/15 (Sailer): Difference between revisions
Jump to navigation
Jump to search
| Line 24: | Line 24: | ||
'''Task 1''' In the following sentences, | '''Task 1''' In the following sentences, | ||
# identify the determiner, the restrictor, and the scope, | # identify the determiner, the restrictor, and the scope, | ||
# provide the paraphrase, | |||
# translate the sentences into formulae, | # translate the sentences into formulae, | ||
# indicate for each formula whether it is true or false. | # indicate for each formula whether it is true or false. | ||
<u>''Example:''</u> | <u>''Example:''</u> | ||
''Laurence married Romeo to a Capulet.'' | |||
# 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''. | |||
# formula: ∀ ''x'' ('''capulet<sup>1</sup>'''(''x'' : | |||
Revision as of 07:34, 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 :