Glossary: I-Function: Difference between revisions
(3 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
{{MaterialUnderConstruction}} | {{MaterialUnderConstruction}} | ||
{{CreatedByStudents1213}} ''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:IsaB|Isabelle]].'' | |||
Line 20: | Line 22: | ||
I('''tall''')= <''tom''><br /> | I('''tall''')= <''tom''><br /> | ||
I('''blonde''')= {<''lisa''> | I('''blonde''')= {<''lisa''>, <''alice''>} | ||
Relations: | Relations: | ||
I('''being-married''')= {<''alice,paul''> | I('''being-married''')= {<''alice,paul''>, <''paul,alice''>} | ||
== References == | == References == | ||
Line 34: | Line 36: | ||
* Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012. Chapter 2. | * Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012. Chapter 2. | ||
<hr /> | |||
Back to the [[Basic_Glossary|glossary]]. |
Latest revision as of 15:48, 11 April 2013
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.
The following material is an adapted form of material created by student participants of the project e-Learning Resources for Semantics (e-LRS). Involved participants: Lisa, Marthe, Elisabeth, Isabelle.
I-Function
Definition
The I-Function used in Predicate Logic maps each name of logical language to one individual from the universe. In this sense, it maps individuals to properties and sets of individuals to relations.
Examples
The following examples refer to the scenario given in an online exercises.
Names:
I(walter)= walter
I(lisa)= lisa
Properties:
I(tall)= <tom>
I(blonde)= {<lisa>, <alice>}
Relations:
I(being-married)= {<alice,paul>, <paul,alice>}
References
Literature
- Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012. Chapter 2.
Back to the glossary.