5.473 La logique doit prendre soin d'elle-même.

Si un signe est possible, il est aussi capable de dénoter. En logique, tout ce qui est possible est aussi permis. (« Socrate est identique » ne veut rien dire parce qu'il n'y a aucune propriété appelée « identique ». La proposition est dépourvue de sens, parce que nous n'avons pas effectué une détermination arbitraire, mais non pas parce que le symbole serait illégitime en soi et par soi.)

En un certain sens, nous ne pouvons nous tromper en logique.