SoSE15: Term paper project: Determiners: Difference between revisions
Monique Lanz (talk | contribs) mNo edit summary |
|||
| Line 1: | Line 1: | ||
{{MaterialUnderConstruction}} | {{MaterialUnderConstruction}} | ||
= Short description of the project = | = Short description of the project = | ||
| Line 11: | Line 7: | ||
* Three exercises for each operator | * Three exercises for each operator | ||
= | = The difference between logical quantifiers and definite descriptions = | ||
The universal and existential quantifier have to be interpreted differently than the definite article. | |||
The universal quantifier (every, all → ∀) indicates that '''every single person or thing''' in a model that has the features of the restrictor, also has the features of the scope. | |||
The existential quantifier (some, a → ∃) states that there is '''at least one person or thing or more''' in a model that has both the features of the restrictor and the scope. | |||
The definite article (the → ⍳) states that there is '''absolutely one person or thing and no more or less''' in a model that fits exactly the described features. | |||
==Model from the scenario "Frozen"== | |||
'''Characters:''' | |||
* Elsa, the Snow Queen of Arendelle | |||
* Anna, the Princess of Arendelle | |||
* Kristoff, an iceman | |||
* Sven, a reindeer | |||
* Olaf, a snowman | |||
* Hans, the Prince of the Southern Isles | |||
'''Properties:''' | |||
* royal1 = {<x> | x is royal} = {<Elsa>, <Anna>, <Hans>} | |||
* prince1 = {<x> | x is a prince} = {<Hans>} | |||
* human1 = {<x> | x is human} = {<Elsa>, <Anna>, <Kristoff>, <Hans>} | |||
* male1 = {<x> | x is male} = {<Kristoff>, <Sven>, <Olaf>, <Hans>} | |||
'''2-place-relations:''' | |||
* sibling2 = {<x, y> | x is the sibling of y} = {<Elsa, Anna>, <Anna, Elsa>} | |||
* get-engaged2 = {<x, y> | x and y get engaged} = {<Anna, Hans>, <Hans, Anna>} | |||
= Participants = | |||
* [[User:Monique_Lanz|Monique Lanz]] | |||
<hr> | <hr> | ||
Back to the [[Semantics_2,_SoSe_2015|Semantics 2]] page. | Back to the [[Semantics_2,_SoSe_2015|Semantics 2]] page. | ||
Revision as of 13:12, 21 August 2015
Warning:
The material on this page has been created as part of a seminar. It is still heavily under construction and we do not guarantee its correctness. If you have comments on this page or suggestions for improvement, please contact Manfred Sailer.
This note will be removed once the page has been carefully checked and integrated into the main part of this wiki.
Short description of the project
- Difference between "every", "some" and the definite article;
- Video about how to differentiate "some" and the definite article;
- Three exercises for each operator
The difference between logical quantifiers and definite descriptions
The universal and existential quantifier have to be interpreted differently than the definite article.
The universal quantifier (every, all → ∀) indicates that every single person or thing in a model that has the features of the restrictor, also has the features of the scope.
The existential quantifier (some, a → ∃) states that there is at least one person or thing or more in a model that has both the features of the restrictor and the scope.
The definite article (the → ⍳) states that there is absolutely one person or thing and no more or less in a model that fits exactly the described features.
Model from the scenario "Frozen"
Characters:
- Elsa, the Snow Queen of Arendelle
- Anna, the Princess of Arendelle
- Kristoff, an iceman
- Sven, a reindeer
- Olaf, a snowman
- Hans, the Prince of the Southern Isles
Properties:
- royal1 = {<x> | x is royal} = {<Elsa>, <Anna>, <Hans>}
- prince1 = {<x> | x is a prince} = {<Hans>}
- human1 = {<x> | x is human} = {<Elsa>, <Anna>, <Kristoff>, <Hans>}
- male1 = {<x> | x is male} = {<Kristoff>, <Sven>, <Olaf>, <Hans>}
2-place-relations:
- sibling2 = {<x, y> | x is the sibling of y} = {<Elsa, Anna>, <Anna, Elsa>}
- get-engaged2 = {<x, y> | x and y get engaged} = {<Anna, Hans>, <Hans, Anna>}
Participants
Back to the Semantics 2 page.