Anhang – Ergänzungen
Soll auch ein gemeinsames Wissen n-ter Stufe durch Bezug auf zutreffende
gemeinsame Überzeugungen charakterisiert werden, so ist eine solche
Charakterisierung also nur dann adäquat, wenn sie sich auch auf alle in
dem betreffenden gemeinsamen Wissen involvierten gemeinsamen Überzeu-
gungen (1. bis n-ter Stufe) bezieht.
Wie wir schon gesehen haben, sind weder der Satz
(ii) GG
n
(P,A) GG
n-1
(P,A) für beliebiges n>1
noch, allgemeiner, der Satz
(iii) GG
n
(P,A) GG
m
(P,A) für beliebige m, n≥1, wobei m<n
generell gültig. Hingegen gilt, wie schon L.G2 zeigt,
L.G3 GW
n
(P,A) GW
n-1
(P,A) für beliebiges n>l
und somit auch
L.G3.1 GW
n
(P,A) GW
m
(P,A) für beliebige m, n≥1, wobei m≤n
und ...