Die Allgemeinheit der Variablen in der Logik ist die Allgemeinheit der Demonstration. Sie besteht darin, daß die Tatsache, daß p ⊃ q. & . ⊃ .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, 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, 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.