Handlungstheoretische Semantik

Die Basis: Handlungstheorie

177

als eine Handlung der-und-der Art versteht, heißt dabei nichts anderes als:

Y glaubt, dass das f-Tun von X eine Handlung der-und-der Art ist. Bereits

für den uns i. F. hauptsächlich interessierenden Fall spezifiziert, heißt das

dementsprechend:

D3.1: VAI(Y,X,f,A): = f(X)  G(Y,I(X,f,A))

Y versteht das von X gezeigte Verhalten f als eine Handlung

mit dem Ziel A gdw. X das Verhalten f zeigt, und Y glaubt,

dass X mit f-Tun zu erreichen beabsichtigt, dass A

Von A abstrahierend und somit allgemeiner:

D3.1.1: VAI(Y,X,f): = f(X)  G(Y,I(X,f))

Y versteht das von X gezeigte Verhalten f als eine intentiona-

le Handlung gdw. X das Verhalten f zeigt und Y glaubt, dass

dieses Verhalten von X eine intentionale Handlung ...