428
In der Logik geschieht immer wieder, was in dem Streit über das Wesen der
Definition geschehen ist.
Wenn man sagt, die Definition habe es nur mit Zeichen zu tun und ersetze
bloß
ein kompliziertes Zeichen durch ein
einfacheres || ein Zeichen durch ein
anderes, so wehren sich die Menschen dagegen und sagen, die
Definition leiste nicht
429
nur das, oder es gebe eben
verschiedene Arten von
Definitionen || der Definition
und die interessante und wichtige sei nicht die
(
reine)
“Verbaldefinition”.
Sie glauben nämlich, man nehme der Definition ihre Bedeutung, Wichtigkeit,
wenn man sie als bloße Ersetzungsregel, die von
Zeichen handelt, hinstellt.
Während die
Bedeutung der Definition in ihrer Anwendung
liegt, quasi in ihrer Lebenswichtigkeit.
Und eben das geht (
heute) in dem Streit
zwischen Formalismus, Intuitionismus, etc. vor sich.
Es ist den Leuten﹖ unmöglich, die Wichtigkeit einer
Sache || Handlung || Tatsache, ihre Konsequenzen, ihre
Anwendung, von ihr selbst zu unterscheiden; die Beschreibung einer Sache von
der Beschreibung ihrer Wichtigkeit.