Glossary: G-Function
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 soccer together with Lisa.
--> I-Function: like-watching-soccer-together-with (alice, lisa)
But: She likes watching soccer together with her.
--> G-Function: g('x)= <alice> and g(y)= <lisa>
--> Formula can be formed: like-watching-soccer-together-with (x,y)
References
Literature
- Chapter 2 of Manfred Sailer's textbook