On the impredicativity and circularity of Frege’s Ancestral

Autores

DOI:

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

Palavras-chave:

Gottlob Frege, relação ancestral, impredicatividade, logicismo

Resumo

Entre as principais contribuições de Frege à filosofia da matemática encontra-se a sua famosa definição de Ancestral de uma Relação. Apresentada primeiro na Begriffsschrift de 1879, tal definição possui um papel crucial no logicismo fregeano ao estabelecer as condições para transformar a relação predecessora em uma série linearmente ordenada. Uma das objeções à definição de Frege provém de sua impredicatividade e da circularidade resultante. Tal objeção foi primeiramente apresentada por Benno Kerry em 1887, e mais recentemente por Ignacio Angelelli em 2012. Neste artigo, argumento, a partir da perspectiva fregeana, que o Ancestral não é circular, não obstante sua inevitável impredicatividade.

Biografia do Autor

João Vitor Schmidt, Universidade Estadual de Campinas

Mestre e Doutorando em Filosofia pela Universidade Estadual de Campinas – UNICAMP. Bolsista CNPq.

Referências

ANGELELLI, Ignacio. Frege’s Ancestral and its Circularities. Logica Univer-salis, 6(3):477–483, 2012.

BOOLOS, George and HECK, Richard Kimberly. Die Grundlagen der Arith-metik §§82-83. In: HECK, Richard Kimberly, Frege’s Theorem. ClarendonPress: Oxford, 2011.pp.69-89.

CARNAP, Rudolf. Logical Syntax of Language. Routledge University Press:London, 1937.

CARNAP, Rudolf. The Logicist Foundations of Mathematics. In: BENA-CERRAF, Paul; PUTNAM, Hilary (eds). Philosophy of Mathematics: Selec-ted readings. 2ed. Cambridge: Cambridge University Press, 1964.

FEFERMAN, Solomon. Predicativity. In: SHAPIRO, Stewart (ed.) The Ox-ford Handbook of Philosophy of Mathematics and Logic. Oxford UniversityPress: New York, 2005.pp.590-624.

FREGE, Gottlob. The Foundations of Arithmetic. A logico-mathematical en-quiry into the concept of number. Blackwell: Oxford, 1953.

FREGE, Gottlob. Begriffsschrift, a Formula Language, modeled upon that ofArithmetic, for Pure Thought. In: HEIJENOORT, Jean Van (ed.) From Fregeto Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard Uni-versity Press: Cambridge, 1967. pp.1-82.

FREGE, Gottlob. Collected Papers on Mathematics, Logic and Philosophy. Ba-sil Blackwell: New York, 1984.

FREGE, Gottlob. Basic Laws of Arithmetic. Oxford University Press: Oxford,2013.

FULUGONIO, Maria. Benno Kerry: una crı́tica temprana al logicismo de fre-ge y un antecedente en la historia del problema de la impredicatividad. CLE e-Prints, 8(6), 2008.

GÖDEL, Kurt. Russell’s Mathematical Logic. In: FEFERMAN, Solomon(ed.) Kurt Gödel Collected Works, volume II. Oxford University Press: Ox-ford, 1990.pp.119-141.

HECK, Richard Kimberly. Is Frege’s definition of the Ancestral adequate?Philosophia Mathematica, 24(1):91–116, 2016.

KANT, Immanuel. Critique of Pure Reason. Cambridge University Press:Cambridge, 1998.

KERRY, Benno. Über Anschauung und ihre Psychische Verarbeitung. Viertel-jahrsschrift für Wissenschaftliche Philosophie, III(11):249–307, 1887.

PARSONS, Charles. Realism and the Debate on Impredicativity, 1917–1944. In: PARSONS, Charles. Philosophy of Mathematics in the TwentiethCentury: Selected Essays. Cambridge: Harvard University Press, 2014. pp.40-66.

POINCARÉ, Henri. Mathematics and Science: Last Essays. Dover Publicati-ons, Inc: New York, 1963.

RAMSEY, Frank. The Foundations of Mathematics. In: BRAITHWAITER,Richard (ed.).The Foundations of Mathematics and other Logical Essays.Routledge & Kegan Paul Ltd: London, 1931.pp.1-61.

RUSSELL, Bertrand. On some difficulties in the Theory of Transfinite Num-bers and Order Types. Proceedings of the London Mathematical Society, s2-4(1):29–53, 1907.

RUSSELL, Bertrand. The Principles of Mathematics. W. W. Norton & Com-pany, New York, 1996.

Downloads

Publicado

2020-11-27

Edição

v. 47 n. 2 (2020): Filosofia da Lógica

Seção

Número Especial sobre Filosofia da Lógica

Licença

A Revista Perspectiva Filosófica orienta seus procedimentos de gestão de artigos conforme as diretrizes básicas formuladas pelo Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq). http://memoria2.cnpq.br/web/guest/diretrizes/

Autores que publicam nesta revista concordam com os seguintes termos:

  1. Os autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, sendo o trabalho simultaneamente licenciado sob Creative Commons Atribuição 4.0 Internacional que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.

  2. Os autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista, com reconhecimento de autoria e publicação inicial nesta revista (Consultar http://opcit.eprints.org/oacitation-biblio.html).

Licença Creative Commons
As obras publicadas pela Revista Perspectiva Filosófica estão licenciadas com Creative Commons Atribuição 4.0 Internacional.