Template:Individual-TLP-paragraph-pt-br-5.473

5.473 A lógica deve cuidar de si mesma.

Um signo possível também deve poder designar. Tudo o que na lógica é possível também é permitido. (“Sócrates é idêntico” não diz nada, pois não há propriedade que se chame “idêntico”. A proposição é absurda porque não encontramos uma determinação arbitrária, e não porque o símbolo em si e para si não fôsse permitido.)

Em certo sentido, não podemos errar na lógica.