Georg Meggle
(0.β) x(x=b
1
v ... v x=b
m
B(x))
m. a. W.: x:B(x) = b
1
, ..., b
m
Und die Sätze (5*) bis (8*) sind, in völliger Analogie dazu, untereinander
äquivalent, falls gilt:
(III)* (0.α)* (QV*
B
)* (0.β)
wobei (0.α)* und (0.β) wie oben und
(QV*
B
)* VxGW(P,x=b
1
) ... VxGW(P,x=b
m
)
Für jedes b
i
( (1i
m
) aus B=b
1
, ..., b
m
gilt:
Es ist Gemeinsames Wissen in P, wer/welches Ding b
i
ist.
Kurz, zusammenfassend und für unser ganzes nachfolgendes Arbeiten mit
unseren Gemeinsamen Glaubens- bzw. Wissensbegriffen auch am wichtigs-
ten: Wie wir uns unter Voraussetzung der in (III) enthaltenen Bedingungen
um die ganze de re/de dicto-Problematik (sowie um die Probleme der Allge-
meinheit in sensu diviso vs. in sensu composi ...