About eliminating the identity of logic

Authors

DOI:

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

Keywords:

identity, dispensability, arity, logicality

Abstract

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

Author Biography

Hudson dos Anjos Benevides, Universidade Federal do Rio de Janeiro

PhD candidate in Philosophy at the Postgraduate Logic and Metaphysics Program of the Federal University of Rio de Janeiro. This work was carried out with the support of the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brazil (CAPES) - Funding Code 001.

References

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.

Published

2020-11-27

Issue

Section

Número Especial sobre Filosofia da Lógica