19
Die Allgemeinheit der Variablen in der Logik ist die Allgemeinheit der
Demonstration.
Sie besteht darin, dass die Tatsache,
dass pCq. & .C.q eine Tautologie ist,
an einem beliebigen
speziellen Fall
allgemeingültig
demonstriert wird.
D.h., aus der Demonstration des besonderen Falles
ersehe ich tatsächlich (wie immer sie gemeint war) alles, was ich in
der Logik brauche.
D.h., die Demonstration erhält nicht dadurch ihre
Allgemeinheit, dass sie so gemeint ist, sondern indem
sie tatsächlich allgemein (d.h. allgemein
gültig) demonstriert.
D.h., die Allgemeinheit besteht hier in der
Allgemeinheit der Anwendung.
Und diese ist da, sozusagen ob man es will oder nicht, einfach durch die
innere Relation des Einzelfalles zum Paradigma. –
Man könnte dann sagen, eine Demonstration demonstriert so allgemein, als
sie anwendbar ist.
D.h., sie demonstriert allgemein durch den Raum in
dem sie ist.