Sobre Eliminar a Identidade da lógica

Hudson dos Anjos Benevides

Resumo


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).


Palavras-chave


Identidade. Dispensabilidade. Aridade. Logicidade.

Texto completo:

PDF

Apontamentos

  • Não há apontamentos.


Direitos autorais 2020 Hudson dos Anjos Benevides