IDENTIDADE, INDISCERNIBILIDADE E LÓGICA

Resumo

É a identidade fundamental para todo sistema formal? Ainda que um certo sistema não
contenha a identidade, será que esse conceito não é pressuposto de algum modo – seja em um
nível metalinguístico ou mesmo intuitivo? Nesse artigo iremos discutir esse problema. Otávio
Bueno (2014, 2016) argumenta contra a eliminação da identidade, afirmando que esse conceito
é fundamental e não-eliminável (mesmo nos sistemas que alegam fazê-lo). Décio Krause e
Jonas Arenhart (2015), por outro lado, apresentam uma série de objeções à tese de Bueno.
Em um primeiro momento analisaremos como o conceito de identidade foi compreendido
na tradição filosófica, como também parte de seu tratamento formal. Examinaremos também
a noção de indiscernibilidade, que pela abordagem tradicional da identidade, é equivalente
à noção de identidade, mas que (argumentavelmente) não lhe é logicamente equivalente.
Apresentaremos assim a estratégia proposta por Krause e Arenhart, na qual um sistema formal
pode eliminar a identidade em prol da noção de indiscernibilidade. E, por fim, iremos expor as
críticas de Bueno a tal estratégia, oferecendo algumas objeções contra ele.