Template:Individual-TLP-paragraph-it-5.473
5.473 La logica deve badare a se stessa.
Un segno possibile deve anche poter designare. Tutto ciò che nella logica è possibile è anche lecito. («Socrate è identico» non vuol dire niente perché non vi è alcuna proprietà che si chiama «identico». La proposizione è insensata perché non abbiamo stabilito una determinazione arbitraria, ma non perché il simbolo sarebbe illegittimo in sé e per sé.)
In un certo senso, nella logica non possiamo sbagliarci.