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.