Definition über Angabe der Bedingung für x:x A sei diejenige Entität x, die A erfüllt. |
"diejenige" wird je nach Theorie unterschiedlich definiert;
z.B. als die einzige Entität / eine bereits im Diskurs verankerte Entität / das maximale Element / die salienteste Entität / ... |
Ableitung von Analysen:
die Blume | => dasjenige x, für das gilt: x ist eine Blume | => | x(BLUME(x)) |
Die Blume ist rot. | => Für die Blume gilt: sie ist rot | | => Für dasjenige x, für das gilt: x ist eine Blume, gilt: x ist rot. | => | ROT(x(BLUME(x))) |
Allgemeine Form:"der/die/das F." => x (Fx) "der/die/das Fx ist G." => G(x(Fx)) |
die große violette Raupe | | x(GROß(x) /\ VIOLETT(x) /\ RAUPE(x)) | Sven gießt die Blume. | | GIEßEN(sven, x(BLUME(x))) | Andi ruft Monas Schwester an. | | ANRUFEN(andi, x(SCHWESTER(x,mona))) | Der Mörder verfolgt Steffi | | VERFOLGEN( x(MÖRDER(x)),steffi) | Martin kennt den Schiedsrichter. | | KENNEN(MARTIN, x(SCHIEDSRICHTER(x))) | Uta besucht ihren Vater. | | BESUCHEN(uta, x(VATER_VON(x,uta))) |
|