Handlungstheoretische Semantik

Kommunikatives Handeln

185

L.1: MI(S,H,f,r)  (1)  (3)

Diese Forderung ist nun aber (wie in den Grundbegriffen gezeigt) erfüllt,

wenn wir die betreffende M-Absicht – ihre logische Struktur durch An-

wendung der Definition D1 für einfache Absichten gleich etwas durchsichti-

ger machend – so definieren:

103

D2: MI(S,H,f,r): = (a) T(S,f) 

(b) P (S,T'(H,r)) 

(c) G (S,K(G'(H,I),T(S,f))) 

(d) G (S,K(T'(H,r)  G'(H,I)))

S M-beabsichtigt mit f-Tun zu erreichen, dass H r tut, gdw. gilt: (a) S

tut f; (b) S will, dass H r tut; (c) S glaubt, dass, wenn er f tut, H erken-

nen wird, dass S mit f-Tun zu erreichen beabsichtigt, dass H r tut,

104

und (d) S glaubt, dass H dann und nur dann r tun wird, wenn H eben

diese Absicht von ...