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 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.