SOBRE A IDENTIDADE NO <em>TRACTATUS LOGICO-PHILOSOPHICUS</em>

No Tractatus Logico-Philosophicus, o sinal de identidade é excluído de qualquer uso significativo na linguagem porque expressões como “a = a” e “a = b” não podem ser proposições elementares e proposições necessárias ao mesmo tempo. Por isso, a identidade é usada como uma operação. Esse uso não tem pretensões significativas, mas apenas indica o caráter intersubstituível dos sinais envolvidos.