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 & ersetze bloß ein kompliziertes Zeichen durch ein einfacheres, so wehren sich die Menschen dagegen & sagen die Definition leiste nicht nur das, oder es gebe eben verschiedene Arten von Definitionen || der Definition & die interessante & 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.