[Sem] Berechnung der Bedeutung eines Satzes

[Proseminar]

Hallo zusammen,

ich habe eine Aufgabe, die mir Schwierigkeiten bereitet. Ich habe bereits versucht die Aufgabe eigenständig zu lösen, bin aber daran gescheitert, da ich keinerlei Anhaltspunkte habe, wie man solche Aufgaben löst.

Die Aufgabe lautet:
a) Peter ist in Berlin
b) (wird im Folgenden als Baumstruktur dargestellt): Peter = NP ; ist = V ; in = P ; Berlin = NP

Berechnen Sie die Bedeutung von Satz a) in folgenden Schritten; nehmen Sie dabei an, dass "ist" bedeutungsleer ist, also ignoriert werden kann.
1) Eine Standardannahme lautet, dass lokale Präpositionen wie "in" eine Funktion von Ortsindividuen in eine Funktion von Individuen in Wahrheitswerte denotieren. Setzen Sie dieses in einer entsprechenden λ-Denotation für "in" um.
2) Geben Sie die Bedeutung der beiden anderen terminalen Knoten an ("ist" kann ignoriert werden)
3) Berechnen Sie die Bedeutung sukzessiver via Funktionalapplikationen / λ-Konversion.


Ihr würdet mir wirklich sehr helfen, wenn ihr mir Lösungsansätze oder -vorschläge geben könntet.

Viele Grüße,
Proseminar

[kunnukun]

Peter (ist) in Berlin

NP V Präp NP


NP V PP


NP VP







(Lambda o Lambda x (x ist in o) ) (Berlin)

<e, <e, t>> <e>




Lambda x (x ist in Berlin)

<e,t>>


(Lambda x (x ist in Berlin)) (Peter)

<e,t> <e>



<t>



<e> <e, <e,t>> <e>



Linker Knoten: Individuum Peter Rechter Knoten: Funktion, die für das Argument Berlin als Wert eine Funktion hat, die für das Argument Peter den Wert Wahrheit als Wert hat