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

Esta é uma revista de acesso aberto. Isto significa que todo o conteúdo está disponível de maneira livre e gratuita para o usuário (a) ou para sua instituição. Aos usuários (as) é permitido ler, fazer download, copiar, distribuir, imprimir, fazer buscas e usar o link para os textos completos de artigos ou usá-lo para qualquer outra finalidade legal, sem ter que pedir permissão para editores ou autores. 

Licença Creative Commons
Esta revista está licenciada com uma Licença Creative Commons Atribuição 4.0 Internacional.

Perspectiva Filosófica está indexada atualmente pelo DIADORIM, pelo Sumário.org, pelo Google Scholar, pela REDIB e pelo LATINDEX.