Die Basis: Handlungstheorie
(15) G(a,G(b,F(a))) G(a,G(b,F(c))) G(a,G(c,F(a)))
G(a,G(c,F(b)))
Wie sich in (14) zeigt, folgt aus WG
1
(P,F(Ŷ)) nicht, dass es gemeinsamer
Glaube 1. Stufe in P ist, dass in P die Eigenschaft F(Y) vorliegt, d. h. es
gilt nicht GG
1
(P,Y(YP F(Ŷ))) – denn es kann sein, dass keiner aus
P glaubt, dass er selbst die Eigenschaft F hat. Und wie sich der Leser bei
der trivialen Ergänzung von (15) um die beiden von mir weggelassenen
Komponenten leicht selbst zeigen kann, folgten auch aus WG
2
(P,F(Ŷ))
weder GG
1
(P,Y(YP F(Y))) noch GG
2
(P,Y(YP F(Y))) – denn,
um bei (15) selbst zu bleiben, es gilt weder G(a,G(a,F(a))), d. h. G(a,F(a)),
noch G(a,G(b,F(b))) noch G(a,G(c,F(c))). Entsprechend bei allen ...