Glossary: G-Function: Difference between revisions
Line 14: | Line 14: | ||
Alice likes watching footbal together with Lisa. | Alice likes watching footbal together with Lisa. | ||
--> I-Function: '''like-watching-football-together (alice, lisa)''' | --> I-Function: | ||
I('''alice''') = ''alice'' | |||
I('''lisa''') = ''lisa'' | |||
Formula: '''like-watching-football-together (alice, lisa)''' | |||
But: She likes watching football together with her. | But: She likes watching football together with her. | ||
--> G-Function: g('''x''')= <''alice | --> G-Function: g('''x''')= <''alice''> and g('''y''')= <''lisa''> | ||
--> Formula can be formed: '''like-watching-football-together (x,y)''' | --> Formula can be formed: '''like-watching-football-together (x,y)''' |
Revision as of 10:26, 6 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.
G-Function
Definition
The G-Function in Predicate Logic maps variables to individuals from the universe. In natural, real-world language we use variable, such as personal pronouns, instead of repeating the names constantly that are referred to. In order to, firstly, display and, then, interpret sentences with pronouns , the G-Function is applied.
Examples
The following examples refer to the scenario given in the online exercises.
Alice likes watching footbal together with Lisa.
--> I-Function:
I(alice) = alice I(lisa) = lisa
Formula: like-watching-football-together (alice, lisa)
But: She likes watching football together with her.
--> G-Function: g(x)= <alice> and g(y)= <lisa>
--> Formula can be formed: like-watching-football-together (x,y)
References
Literature
- Chapter 2 of Manfred Sailer's textbook