Beweise D13
D.3 Zu C.3:
Prinzipien interpersonellen Glaubens und Wissens
D.3.1 Zu C.3.1: Prinzipien Gemeinsamen Glaubens und Wissens
Für T.G0 und T.G0-1 siehe Argumentation von § 3.4.2. Daraus dann
T.G0* und T.G0*-1 direkt mit L.G1 und L.G2.
Für T.G1: GG(P,A B) (GG(P,A) GG(P,B))
T.G1 bereits aus a.l. Gründen äquivalent mit T.G1-0.
Für T.G1-0: GG(P,A) GG(P,A B) GG(P,B)
Aus GG(P,A) GG(P,A B) nach D18.c n(GG
n
(P,A))
n(GG
n
(P,A B)); daraus p.l. n(GG
n
(P.A) GG
n
(P,A B)); und
daraus dann mit T.G1-1 direkt T.G1-0.
Für T.G1-1: GG
n
(P,A) GG
n
(P,A B) GG
n
(P,B)) für bel.
n 1
Dazu zeigen wir:
(i) GG
1
(P,A) GG
1
(P,A B) GG
1
(P,B))
und
(ii) Wenn GG
n
(P,A) GG
n
(P,A B) GG ...