Resumen de Sobre eliminar a identidade da lógica
- English
In this paper I will argue that one cannot claim without reservations that identity can be removed from logic as proposed by Wehmeier (2004). This is done by pointing out the very basic fact that identity is not a notion definable in the language of first order logic. As suggested by Béziau (2013), in first or-der logic we have at most Leibniz’s Identity— a congruence relation and not numerical identity. Therefore, it is argued, any attempt to dispense identity in terms of logical equivalence between languages of first order cannot suc-ceed. In addition, we present a metaphysical drawback in changing to the lo-gic advocated by Wehmeier (2004).
- português
Neste artigo argumentarei que não se pode afirmar sem qualificação que a identidade pode ser removida da lógica como proposto por Wehmeier (2004). Isto é feito ao apontar o fato básico de que a identidade não é definível na linguagem da lógica de primeira ordem. Como sugerido por Béziau (2013), em lógica de primeira ordem temos no máximo a Identidade de Leibniz—uma relação de congruência e não a identidade numérica. Portanto, qualquer tentativa de dispensar a identidade em termos de equivalência lógica entre linguagens de primeira ordem não pode ser bem sucedida. Além disso, apresentamos uma desvantagem metafísica ao mudar para a lógica defendida por Wehmeier (2004).
