Handlungstheoretische Semantik

C2 Georg Meggle

V5: G(S,K(G’(H,T(S,f)),T(S,f)))  G(S,K(G’(H,T(S,f)),T(S,f)))

V5.E: K(G’(H,T(S,f)),T(S,f))  K(G’(H,T(S,f)),T(S,f))

V6: G(S,KG’(H,I))  G(S,K(G’(H,I))

V6.E: KG’(H,I)  K(G’(H,I))

C.0.2 Prinzipien

C.0.2.1 Epistemologische Prinzipien

Die Grundprinzipien, die den hier verwendeten Begriff G(X,A) – d.h. den

Begriff des starken, rationalen Glaubens einer Person X (zu einem Zeit-

punkt t) des Inhalts, dass A – definieren, sind, wie in 3.3.1 oben (S. 129

ff.) angegeben, die (in den Grundbegriffen noch nicht explizit herausgestell-

ten) folgenden:

RG A ├ G(X,A)

G1: G(X,A  B)  (G(X,A)  G(X,B))

G2: G(X,A)  G(X,A)

G3: xG(X,F(x))  G(X,xF(x))

G4: G(X,A)  G(X,G(X,A))

G5: G(X,A)  G(X,G(X,A))

Die entsprechende ...