Handlungstheoretische Semantik

Georg Meggle

196

notwendig; und da die in T.K32 aufgeführte kritische Vorbedingung für I

an der Stelle von B erfüllt ist,

110

ist nach T.K32 somit auch

2. I(S,f,G'(H,I)) i. F. auch kurz I

2

(S,H,f,r)

für KV(S,H,f,r) notwendig. Da nun aber auch diese Bedingung als not-

wendig erwiesen ist, somit ebenso auch

3. I(S,f,G'(H,I

2

(S,H,f,r))) i. F. auch kurz: I

3

(S,H,f,r)

– usw. Und genau dieses „usw.“ lässt sich nun rekursiv leicht so präzisie-

ren:

D9: (a) I

1

(S,H,f,r) : = I(S,f,T'(H,r))

(b) I

n+1

(S,H,f,r) : = I

1

(S,H,f,I

n

(S,H,f,r)))

(c) I*(S,H,f,r) : = nI

n

(S,H,f,r)

S beabsichtigt mit f-Tun bei H absolut offen zu erreichen,

dass H r tut

Für den speziellen Fall, dass I(S,f,G'(H,p)), schreiben wir – wie schon bei

D9(b) ...