Handlungstheoretische Semantik

Anhang – Ergänzungen

285

Betrachten wir einen solchen (bezüglich der Mitgliedschaft in P) de re

gemeinsamen Glauben in P zunächst einmal nur aus der Sicht eines be-

stimmten Mitglieds XP, dann wären die ersten Schritte eines solchen

gemeinsamen Glaubens so anzusetzen: Trivialerweise ergäbe sich als

1.

re

Stufe G(X,A)

M.a.W.: Auf der 1. Stufe wird der Unterschied zwischen einem de dicto

und einem de re gemeinsamen Glauben (bezüglich der P-Mitgliedschaft)

noch gar nicht relevant. Er tritt erst auf der nächsten Stufe zutage. Der de

dicto Formulierung

2. Stufe G(X,Λx(xP  G(x,A)))

X glaubt, dass alle aus P glauben, dass A

entspricht nunmehr natürlich als

2.

re

Stufe Λx(xP  G(X,G(x,A)))

X glaubt von allen aus P