Sobre a prova de que todo número natural tem um sucessor em Die Grundlagen der Arithmetik, §§82-3
DOI :
https://doi.org/10.51359/2357-9986.2023.258425Mots-clés :
Gottlob Frege, Die Grundlagen der Arithmetik, Grundgestze der Arithmetik, teorema 149, teorema IVaRésumé
O objetivo do artigo é apresentar uma derivação alternativa dentro da Aritmética de Frege do teorema 149 de Grundgesetze der Arithmetik, que desempenha um papel central na prova do teorema que afirma que todo número natural tem um sucessor. Em Grundgesetze, a derivação desse teorema depende do teorema IVa, cujo análogo na Aritmética de Frege (IVa*) é independente dos axiomas do sistema. É mostrado que o uso de IVa em Grundgesetze não é essencial e, portanto, que (IVa*) não é necessário para a derivação do teorema 149 dentro da Arimética de Frege.
Références
BOOLOS, G; KIMBERLY HECK, R. Die Grundlagen der Arithmetik, §§82-3. IN: BOOLOS, G. Logic, logic, and logic. Cambridge, Mass.: Havard University Press, 1998, p. 315-33.
DUARTE, A. B. Lógica e aritmética na filosofia da matemática de Gottlob Frege. Tese (Doutorado em Filosofia) – Pontifícia Universidade Católica do Rio de Janeiro, 2009.
DUARTE, A. B. Sobre um problema relacionado com a regra de substituição para funções em Begriffsschrift. IN: SMITH, P. J. et al. Crença, verdade, racionalidade: ensaios de filosofia analítica. Salvador, BA: EDUFBA, 2014, 189-200.
DUARTE, A. B. Sobre as mudanças na conceitografia: papel formal dos valores de verdade. Princípios, v. 29, n. 59, p. 71-91, 2022.
FREGE, G. Wissenschaftlicher Briefwechsel. Hamburg: Felix Meiner Verlag, 1976.
FREGE, G. Boole’s logical calculus and the Concept-script. IN: HERMES, H. et. al. Posthumous writings. Tradução de Peter Long e Roger White. Oxford: Basil Blackwell, 1979, p. 9-52.
FREGE, G. Philosophical and mathematical correspondence. Chicago: The University of Chicago Press, 1980.
FREGE, G. Logik. IN: HERMES, H. et al. Nachgelassene Schriften. Hamburg: Felix Meiner Verlag, 1983a, p. 1-8.
FREGE, G. Booles rechenende Logik und die Begriffsschrift. IN: HERMES, H. et al. Nachgelassene Schriften. Hamburg: Felix Meiner Verlag, 1983b, p. 9-52.
FREGE, G. Collected papers on mathematics, logic, and philosophy. Oxford: Basil Blackwell, 1984.
FREGE, G. Die Grundlagen der Arithmetik: eine logisch mathematische Untersuchung über den Begriff der Zahl. Editado por Christian Thiel. Hamburg: Felix Meiner Verlag, 1988.
FREGE, G. Begriffsschrift und andere Aufsätze. Editado por Ignacio Angelelli. Hildesheim: Georg Olms Verlag, 1998.
FREGE, G. Conceitografia: uma linguagem formular do pensamento puro decalcada sobre a da aritmética. Introdução, tradução e notas de Paulo Alcoforado, Alessandro Duarte e Guilherme Wyllie. Rio de Janeiro: Nau Editora, 2019.
LANDINI, G. Frege's cardinals as concept-correlates. Erkenntnis, v. 65, p. 207-43, 2006.
LANDINI, G. Frege’s notations: what they are and how they mean. New York: Palgrave Macmillan, 2012.
VERAART, A. Geschichte des wissenschaftlichen Nachlasses Gottlob Freges und seiner Edition. Mit einem Katalog des ursprünglichen Bestands der nachgelassenen Schriften Freges. IN: SCHIRN, M (ed.) Studien zu Frege I: Logik und Philosophie der Mathematik. Stuttgart: Friedrich Frommann Verlag, 1976, p. 49-106.
Téléchargements
Publiée
Numéro
Rubrique
Licence
© Alessandro Bandeira Duarte 2023
Ce travail est disponible sous la licence Creative Commons Attribution 4.0 International .
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:
-
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.
-
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).
As obras publicadas pela Revista Perspectiva Filosófica estão licenciadas com Creative Commons Atribuição 4.0 Internacional.
