Georg Meggle
Erster Fall: Nach T.G13 ist (5*) mit (6*) äquivalent, wenn es in P Gemein-
sames Wissen ist, welche Dinge B-Dinge sind und welche nicht, d. h.
wenn gilt:
(0.α)* Λx(GW(P,B(x)) ˅ GW(P,B(x)))
Eine erste Antwort auf die Frage, wann alle Sätze aus (5*) bis (8*) äquiva-
lent, und somit auch alle oben erwähnten fraglichen Schlüsse gültig sind,
ist somit diese: Sie sind es unter der Voraussetzung
(I)* (0.α)* GW(P, (0.β))
Zweiter Fall: Nach T.G11 ist (7*) mit (8*) äquivalent, falls für jeden Gegen-
standsterm b
1
aus der Folge B=<b
1
, …,b
m
> gilt: Es ist Gemeinsames
Wissen in P, wer/welches Ding b
1
ist, d.h. wenn gilt:
(QV*
B
)* VxGW(P,x=b
1
) … VxGW(P,x=b
m
)
Eine zweite Antwort ist also diese: Alle Sätze