Die Basis: Handlungstheorie
Kurz und für ein jedes Arbeiten mit diesen Begriffen ungemein praktisch:
(GG) Unsere Begriffe des Gemeinsamen Glaubens und Wissens
folgen bis auf die Analogie zu G5 genau den analogen
Grundprinzipien wie unser Begriff des (starken rationalen)
Glaubens selbst.
Und darauf folgt direkt:
(GG.1) Ist ein G-Theorem allein mit Hilfe der Prinzipien G1 bis G4
und der Regel RG beweisbar, dann sind auch die analogen
GG- bzw. GW-Sätze entsprechend beweisbar
Diese Entdeckung macht das Arbeiten mit unseren GG- und GW-
Begriffen sehr einfach. Denn sobald wir wissen, dass die-und-die einfa-
chen G-Sätze auch ohne G5 gelten, wissen wir nach (GG.1) damit auch
schon, dass auch die ...