Sobre eliminar a identidade da lógica

Auteurs

DOI :

https://doi.org/10.51359/2357-9986.2020.248940

Mots-clés :

identidade, dispensabilidade, aridade, logicidade

Résumé

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

Biographie de l'auteur

Hudson dos Anjos Benevides, Universidade Federal do Rio de Janeiro

Doutorando em Filosofia pelo Programa de Pós-graduação Lógica e Metafísica da Universidade Federal do Rio de Janeiro. O presente trabalho foi realizado com apoio da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brasil (CAPES) - Código de Financiamento 001.

Références

BELLOTTI, Luca. “Tarski on logical notions”. Synthese, v. 135, n. 3, p. 401-413, 2003.

BÉZIAU, Jean-Yves. “Quine on Identity”. Principia , v.7, n.1-2, p. 1–15,2013.

BUENO, Otavio. “Why Identity Is Fundamental”. American PhilosophicalQuarterly, v.51,n.4,p. 325–332, 2014.

DUMMETT, Michael. Frege: Philosophy of Language. New York: Harper &Row, 1973.

Encyclopedia of Philosophy. Summer 2014. [S.l.]: Stanford, 2014. Disponívelem: <https://plato.stanford.edu/archives/sum2018/entries/identity/>.

GÓMEZ-TORRENTE, Mario. “The problem of logical constants”. Bulletin ofSymbolic Logic, v.8, no. 1, pp. 1-37, 2002.

HINTIKKA, Jaakko. “Identity, Variables, and Impredicative Definitions”.Journal of Symbolic Logic, v.21, n.3, p. 225–245, 1956.

HODGES, Wilfrid. “Elementary Predicate Logic”. In: GABBAY, Dov;GUENTHNER, Franz. (Ed.). Handbook of Philosophical Logic. London:Springer. pp. 1–129, 2001.

MCGINN, Colin. Logical Properties: Identity, Existence, Predication, Neces-sity, Truth. USA: Oxford University Press, 2000.

NOONAN, Harold.; CURTIS, Ben. “Identity”. In: ZALTA, Edward N. (Ed.).The Stanford

QUINE, Willard v. O. “On what there is”. In: QUINE, Willard v. O. From aLogical Point of View. New York: Harper Torchbooks, 1963. p. 1–19

QUINE, Willard v. O. Philosophy of Logic . 2nd. [S.l.]: Harvard University Press,1986.

SAVELLOS, Elias. “On Defining Identity”. Notre Dame Journal of FormalLogic , Duke University Press, v.31, n.3, p. 476–484, 1990.

TARSKI, Alfred. “What are logical notions?” In: CORCORAN, John. (Ed.).History and Philosophy of Logic 7: 143–154, 1986.

TRUEMAN, Robert. “Eliminating identity: a reply to Wehmeier”. Australasi-an Journal of Philosophy, v. 92, n. 1, pp. 1-8, 2014

WEHMEIER, Kai. “How to Live Without Identity—And Why”. AustralasianJournal of Philosophy, v.90, n.4, p. 761–777, 2012.

WEHMEIER, Kai. “Wittgensteinian Predicate Logic”. Notre Dame Journal ofFormal Logic,v.45, n.1, p. 1–11, 2004.

WITTGENSTEIN, Ludwig. Tractatus Logico-Philosophicus and PhilosophicalInvestigations. Tradução: M. S Lourenço. Tratado Lógico-Filosófico e Investi-gações Filosóficas. Lisboa: Fundação Calouste Gulbenkian, 1987.

Téléchargements

Publiée

2020-11-27

Numéro

Rubrique

Número Especial sobre Filosofia da Lógica