Kommunikatives Handeln
genau entsprechende folgende Theorem sehr deutlich:
T.K44: KV(S,H,f,r) T(S,f) G(S,KV(S,H,f,r))
f-Tun von S ist ein an H gerichteter Kommunikationsver-
such des Inhalts, dass p, gdw. S f tut und S glaubt, dass sein
Tun ein solcher Kommunikationsversuch ist
Wenn man also weiß, dass S f getan hat, und die Überzeugungen kennt,
die S mit seinem f-Tun verbindet, dann weiß man alles, was man wissen
muss, um zu wissen, ob f-Tun von S ein Kommunikationsversuch (der-
und-der Art) ist oder nicht. (Dass P(S,T'(H,r)) gilt, ergibt sich aus
G(S,KV(S,H,f,r)) nach dem einen Glauben G(X,P(X,A)) mit P(X,A) selbst
verknüpfenden Prinzip P4: P(X,A) G(X,P(X,A)); s. Grundbegriffe A.3, S.
334.) Wie ein Tun genau dann ...