La logica deve curarsi di se stessa.

Un segno possibile deve anche poter designare. Tutto ciò che nella logica è possibile è anche lecito. ("Socrate è identico" non vuol dir nulla, perché non v'è una proprietà che si chiama "identico". La proposizione è insensata perché noi non abbiamo operato una qualche determinazione arbitraria, non già perché il simbolo sia in sé e per sé illecito.)

In un certo senso, nella logica non possiamo errare.

5.4731    L'evidenza, della quale Russell parlò tanto, può divenir dispensabile nella logica solo in quanto il linguaggio stesso impedisca ogni sbaglio logico. - Che la logica sia a priori consiste in questo, che non si può pensare illogicamente.

5.4732 (1)  Non possiamo dare ad un segno il senso sbagliato.

5.4733    Frege dice: Ogni proposizione legittimamente formata non può non avere un senso; ed io dico: Ogni possibile proposizione è formata legittimamente, e, se non ha un senso, è solo perché noi non abbiamo dato un significato ad alcune delle sue parti costitutive.

(Anche se crediamo d'aver fatto ciò.)