Investigando a Relatividade Ontológica de Quine através do Prolog
a formalização de funções Proxy na Aritmética de Peano
DOI :
https://doi.org/10.51359/2357-9986.2025.263813Mots-clés :
relatividade ontológica, Prolog, aritmética de Peano, hierarquia de conjuntos de von Neumann, métodos computacionaisRésumé
Neste artigo, abordamos a doutrina da relatividade ontológica de Willard Van Orman Quine, explorando a noção de que diferentes estruturas ontológicas podem articular os mesmos fenômenos, preservando as estruturas teóricas necessárias. Ao formalizar funções proxy na linguagem de programação lógica Prolog, investigamos a representação dos números naturais tanto pela Aritmética de Peano quanto pela Hierarquia de Conjuntos de von Neumann. Essa abordagem não apenas ilustra a aplicação prática de métodos computacionais na investigação filosófica, mas também elucida conceitos filosóficos complexos. A análise demonstra como sistemas ontológicos díspares podem sustentar a consistência estrutural das entidades que representam, apoiando assim a afirmação de Quine de que o conteúdo empírico das teorias científicas permanece invariante em diversas interpretações ontológicas.
Références
BENACERRAF, P. What numbers could not be. In: Philosophy of Mathematics: Selected Readings. 5th edition. Berlin: Cambridge University Press, 1984.
BOOLOS, G. S.; BURGESS, J. P.; JEFFREY, R. C. Computabilidade e Lógica. Ciências Exatas. São Paulo: Editora Unesp, 2013.
BOOLOS, G. S.; JEFFREY, R. C. Computability and Logic. 3. ed. [S.l.]: Cambridge University Press, 1989.
BRAMER, M. Logic Programming with Prolog. 2nd edition. Berlin: Springer, 2013.
CARNIELLI, W.; EPSTEIN, R. L. Computabilidade, funções computáveis, lógica e os fundamentos da matemática. 2ª edição. [S.l.]: Editora Unesp Digital, 2022.
CLOCKSIN, W. F. Programming in Prolog: Using The ISO Standard. 5th edition. Berlin: Springer, 2003.
DAVIDSON, D. Inquiries into Truth and Interpretation. Oxford: Clarendon Press, 1984.
EVES, H. Introdução à História da Matemática. [S.l.]: UNICAMP, 2004.
EWALD, W. B. From Kant to Hilbert, Volume 2. 1. ed. [S.l.]: Oxford University Press, 2007.
FEFERMAN, S. Arithmetization of Metamathematics in a General Setting. Fundamenta Mathematicae, v. 49, n. 1, p. 35–92, 1960. Disponível em: http://eudml.org/doc/213578.
FERREIRÓS, J. Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. Second Revised Edition. [S.l.]: Birkhäuser, 2000.
HAHN, L.; SCHILPP, P. A. The Philosophy of W.V. Quine. [S.l.]: Open Court, 1998. (Library of Living Philosophers).
HYLTON, P. Quine. New York: Routledge, 2007.
KANAMORI, A. The Empty Set, the Singleton, and the Ordered Pair. The Bulletin of Symbolic Logic, v. 9, n. 3, p. 273–298, 2003.
KLEENE, S. C. Mathematical Logic. [S.l.]: Dover Publications, 2002.
KUNEN, K. Set Theory: An Introduction to Independence Proofs. [S.l.]: North Holland, 1980. (Studies in Logic and the Foundations of Mathematics, Volume 102).
KUNEN, K. The Foundations of Mathematics. London: College Publications, 2009.
MAYO-WILSON, C.; ZOLLMAN, K. J. S. Computational Modelling in Philosophy. Springer Nature, 2021. DOI: http://doi.org/10.1007/s11229-020-02950-3.
MISCEVIC, N. Thought Experiments. 1. ed. [S.l.]: Springer, 2021. (SpringerBriefs in Philosophy).
MOSCHOVAKIS, Y. Notes on Set Theory. 2nd. [S.l.]: Springer, 2005.
QUINE, W. V. Mathematical Logic. 3rd. New York: Harper Row, 1962.
QUINE, W. V. Methods of Logic. 4th. Cambridge: Harvard University Press, 1982.
QUINE, W. V. O sentido da nova lógica. 2a. Curitiba: Editora da UFPR, 1996. [1944].
QUINE, W. V. Ontological Relativity. In: Ontological Relativity and Other Essays. New York: Columbia Press, 1969.
QUINE, W. V. Ontology and Ideology. Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, v. 2, n. 1, p. 11–15, 1969. Disponível em: www.jstor.org/stable/4318102.
QUINE, W. V. The Roots of Reference. La Salle, Illinois: Open Court Publishing Company, 1974.
QUINE, W. V. Theories and Things. Cambridge, Mass.: Harvard University Press, 1981.
QUINE, W. V. Two Dogmas of Empiricism. In: From a Logical Point of View: Nine Logico-philosophical Essays. Cambridge, Mass.: Harvard University Press, 1961.
QUINE, W. V. Word and Object. Cambridge, Mass.: The MIT Press, 1960.
RADU, M. A Debate About the Axiomatization of Arithmetic: Otto Hölder Against Robert Grassmann. Elsevier, 2003.
RESNIK, M. D. Quine and the Web of Belief. In: SHAPIRO, S. (Ed.). The Oxford Handbook of Philosophy of Math and Logic. [S.l.: s.n.], 2005. P. 4
RUSSELL, B. Introdução à Filosofia Matemática. Rio de Janeiro: Zahar, 2007.
SANDER, V. Working from Within: The Nature and Development of Quine’s Naturalism. New York: Oxford University Press, 2018.
SHOENFIELD, J. R. Mathematical Logic. 1st. [S.l.]: A K Peters/CRC Press, 2001.
SMITH, P. An Introduction to Gödel’s Theorems. 2nd. [S.l.]: Cambridge University Press, 2013.
ZERMELO, E. Investigations in the Foundations of Set Theory I. Fundamenta Mathematicae, p. 200, 1908.
Téléchargements
Publiée
Numéro
Rubrique
Licence
© Júlio Cesar da Silva 2025
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.
