Georg Meggle
oder G(X,KR(X,P(s),f)), ohne dass wir dies durch eine eigene Glaubens-
funktion G
s
ausdrücken müssten.
Hingegen wird es bei Konventionen nicht der Fall sein, dass jemand –
oder gar: dass alle – von vornherein wissen, dass sich andere in bestimm-
ten Situationen nicht an die Konvention halten werden, oder dass sie das
von anderen annehmen, usw. Denn sonst wären solche Situationen eben
von vornherein keine solchen, für die die Konvention einschlägig ist.
Es soll also gelten, dass
(**) s(s WG(P(s),T(Ŷ,f) KR(Ŷ, P(s),f)))
und das soll in P auch Gemeinsames Wissen sein. D. h. außer (**) soll
auch noch gelten:
(***) GW(P,(**))
M. a. W.: Es soll in P Gemeinsames Wissen sein, dass jeder in s Betei-
ligte –