Die
Allgemeinheit der Variablen in der Logik ist die
Allgemeinheit der Demonstration. Sie besteht
darin, daß die Tatsache daß
p ⊃ p eine Tautologie
ist an
jedem || 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
Demonstration || Allgemeinheit daß 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 so zu
sagen 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
de
n Raum in dem sie
ist.