Die Basis: Handlungstheorie
Den Allquantor Λ und so auch den sogenannten Existenzquantor V –
wobei VxF(x) : = ΛxF(x) – interpretieren wir (wiederum in Überein-
stimmung mit den bei Kutschera und Lenzen a.a.O. angegebenen mögli-
chen-Welten-Semantiken) über einem Bereich möglicher Dinge und legen
dabei allen möglichen Welten denselben Individuenbereich zugrunde.
Allein aus diesem Grund gilt außer dem schon erwähnten Prinzip G3 auch
dessen Umkehrung, mit G3 zusammen also.
TG.I: G(a,ΛxF(x)) ΛxG(a,F(x))
Glaubt a, dass alle (möglichen) Dinge die Eigenschaft F haben,
so glaubt a dies auch von allen (möglichen) Dingen – und um-
gekehrt
Die durch G(a,ΛxF(x)) ausgedrückte Allgemeinheit in sensu composito
fällt also mit ...