Template:Individual-TLP-paragraph-es-5.473

5.473 La lógica debe preocuparse de sí misma.

Un signo posible debe también poder señalar. Todo lo que es posible en la lógica, también está permitido. («Sócrates es idéntico» no significa nada, porque no hay ninguna cualidad que signifique «idéntico». La proposición es absurda, porque no nos hemos encontrado una determinación arbitraria, pero no porque el símbolo fuera ilícito en y por sí.

No podemos, en cierto sentido, equivocarnos en la lógica.