O Logicismo de Frege e Russell e a Rejeição Tractariana de Classes: uma tentativa de elucidação de 6.031

Autores

DOI:

https://doi.org/10.35920/1414-3004.2021v25n2-2p179-198

Palavras-chave:

Wittgenstein, Tractatus, Frege, Russell, Teoria dos Tipos, Teoria dos Conjuntos.

Resumo

Wittgenstein afirma no Tractatus que a teoria das classes é supérflua na Matemática e que isso está relacionado ao fato de que a generalidade exigida pela Matemática não é “acidental” (TLP 6.031). O objetivo deste texto é elucidar essa afirmação chamando a atenção para o que, seguindo Gregory Landini, tomaremos como uma forma de Logicismo compartilhada por Frege e Russell. Esta forma de Logicismo tem dois princípios básicos, a saber: o uso de uma teoria lógica cujas variáveis estruturadas incorporam o que hoje chamamos de teoria dos tipos simples e a análise de atribuições numéricas em termos de afirmações sobre conceitos ou atributos que empregam conceitos de ordem superior exatamente análogos aos chamados quantificadores ‘numericamente definidos’. Argumentamos que é esse arcabouço teórico que Wittgenstein está rejeitando em 6.031 e não apenas o uso da Teoria dos Conjuntos na Matemática. Também é defendido que a noção de classe ainda tem um papel essencial a desempenhar no Tractatus.


Abstract
Wittgenstein claims in the Tractatus that the theory of classes is superfluous in Mathematics and that this is related to the fact that the generality required by Mathematics is not “accidental” (TLP 6.031). My aim in this paper is to elucidate this claim by calling attention to what, following Gregory Landini, I refer to as a form of Logicism shared by Frege and Russell. This form of Logicism has two main tenets, namely:
the use of a logical theory whose structured variables embody what we nowadays call the simple theory of types and the analysis of number ascriptions in terms of assertions about concepts or attributes which employ higher-order concepts exactly analogous to so-called ‘numerically definite’ quantifiers. It is argued that it is this shared theoretical framework that Wittgenstein is rejecting in 6.031 and not just the use of Set Theory in Mathematics. It is also argued that the notion of class still has an essential role to play in the Tractatus.


Referências

BOOLOS, G. 1998. The Advantages of Theft Over Honest Toil. In: JEFFREY, R. (ed). Logic, Logic and Logic. Cambridge, Massachusetts: Harvard University Press, pp.255-274.

CHURCH, A. 1940. A Formulation of the Simple Theory of Types. The Journal of Symbolic Logic. vol. 5, n. 2., pp. 56-68.

CHURCH, A. 1976. A Comparison of Russell’s Resolution of the Semantical Antinomies With That of Tarski. The Journal of Symbolic Logic. vol. 41, n. 4, pp.747-60.

COCCHIARELLA, N. 1986. Frege, Russell and Logicism: A Logical Reconstruction. In: HAAPARANTA, L. & HINTIKKA, J. (eds). Frege Synthesized. Reidel Publishing Company, pp.197-252.

CUTER, J. V. 2005. Operations and Truth-Operations in the Tractatus. Philosophical Investigations, vol. 28, n.1, pp.63-75.

CUTER, J.V. 2013. Logic Without Hierarchies. O que nos faz Pensar?, vol. 22, n. 33, pp.80-94.

DUMMETT, M. 1981. Frege: Philosophy of Language. Segunda Edição. Cambridge, Massachusetts: Harvard University Press.

DUMMETT, M. 1991. Frege: Philosophy of Mathematics. Cambridge, Massachusetts: Harvard University Press, 1991.

Fogelin, R. Wittgenstein. London: Routledge.

FERREIRA, R. S. 2022. Logic, ontology, and arithmetic : a study of the development of Bertrand Russell’s Mathematical Philosophy from The Principles of Mathematics to Principia Mathematica. Porto Alegre. 504 paginas. Tese de Doutorado em Filosofia. Universidade Federal do Rio Grande do Sul, Departamento de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia.

FREGE, G. 1884. Os Fundamentos da Aritmética. In: Coleção Os Pensadores,Vol XXXVI. Ed.Victor Civita. Trad: Luiz Henrique Lopes dos Santos. São Paulo: Abril Cultural.

FREGE, G. 2013. The Basic Laws of Arithmetic Vols 1 & 2. Ed e trad: EBERT, P., ROSSBERG, M. e WRIGHT, C. Oxford: Oxford University Press.

FREGE, G. 1980. Philosophical and Mathematical Correspondence. Ed e trad: por GABRIEL, G. et al. Oxford: Basil Blackwell.

FREGE, G. 1892. On Concept and Object. In: Collected Papers on Mathematics, Logic and Philosophy. Ed e trad: McGUINNESS, B. Oxford: Blackwell, 1984, pp.182-194.

GEACH, P. 1981. Wittgenstein’s N-Operator. Analysis, vol. 41, n. 4, pp.168-171.

KLEMENT, K. 2004. Putting Form Before Function: Logical Grammar in Frege, Russell, and Wittgenstein.

Philosophers‘ Imprint, vol. 4, n. 2, pp.1-47.

KLEMENT, K. 2010. The Functions of Russell’s No-Class Theory. The Review of Symbolic Logic, vol. 3, n.

, pp.633-664.

LANDINI, G. 1998. Russell’s Hidden Substitutional Theory. Oxford: Oxford University Press.

LANDINI, G. 2006. Frege’s Cardinals as Concept-Correlates. Erkenntnis, vol. 65, n. 2, pp. 207-243.

LANDINI, G. 2011a. Logicism and the Problem of Infinity: the number of numbers. Philosophia Mathe- matica, vol. III, n.19, pp.167-212.

LANDINI, G. 2011b. Russell. Londres: Routledge.

LANDINI, G. 2012. Frege’s Notations: What they are and how they mean. New York: Macmillan.

LINKSY, B. 1999. Russell’s Metaphysical Logic. Stanford: CSLI Press.

MARION, M. 1998. Wittgenstein, Finitism and the Foundations of Mathematics. Oxford: Oxford University Press.

POTTER, M. 2000. Reason’s Nearest Kin: Philosophies of Arithmetic From Kant to Carnap. Oxford: Oxford University Press.

RAMSEY, F. 1926. The Foundations of Mathematics. In: BRAITHWAITHE, R. B. (ed). The Foundations of Mathematics and Other Logical Essays. Londres, Routledge and Kegan Paul, 1931, pp., 1-61.

RUSSELL, B. 1919. Introduction to Mathematical Philosophy. Londres: Allen & Unwin.

WAHL, R. 2011. The Axiom of Reducibility. Russell: The Journal of Bertrand Russell Studies. vol. 31, n.1,

pp.45-62.

WHITEHEAD, A. N. & RUSSELL, B. 1925. Principia Mathematica. Vol.1. Segunda Edição, Cambridge: Cambridge University Press.

WHITEHEAD, A. N. & RUSSELL, B. 1927. Principia

Mathematica Vol.2. Segunda Edição, Cambridge: Cambridge University Press.

WITTGENSTEIN, L. 1993. Tractatus Logico-Philosophicus. Trad. Luiz Henrique Lopes dos Santos. São Paulo: EdUSP. [Abreviatura para citação:“TLP”seguido do número do aforismo]

WITTGENSTEIN, L. 2008. Wittgenstein in Cambridge: Letters and documents 1911-1951. Ed e trad: McGUINNESS, B. Londres: Blackwell.

Downloads

Publicado

24-07-2023