Glossary: I-Function: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 32: Line 32:
== Literature ==
== Literature ==


* Chapter 2 of Manfred Sailer's textbook
 
* 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.

Revision as of 19:44, 27 February 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.


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 the 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.