Semantics 1, WiSe 2014/15 (Sailer)
Jump to navigation
Jump to search
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 :