Georg Meggle
Und daher dürfen wir als Abkürzung auch verwenden:
D19.e: WG
n
(P,F(Ŷ)) : = X(XP WG
n
(X,P,F(Ŷ))) für alle n1
Es ist wechselseitiger Glaube n-ter Stufe in P, dass in P die
Eigenschaft F(Y) besteht
Von diesen Begriffen ausgehend lassen sich dann wieder entsprechende
Begriffe wechselseitigen Wissens als jeweils richtige wechselseitige Überzeu-
gungen bestimmen.
Zum Glück brauchen wir nun nicht nochmals in eine Diskussion da-
rüber einzusteigen, wie den obigen (in sensu composito formulierten Be-
griffen entsprechende Begriffe des wechselseitigen Glaubens in sensu
diviso aussehen würden. Auch bei unserer Verwendung der angegebenen
Begriffe setzen wir (außer Standardnamen) voraus, dass GW(P,(α)) gilt –
die ...