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.263813Palabras clave:
relatividade ontológica, Prolog, aritmética de Peano, hierarquia de conjuntos de von Neumann, métodos computacionaisResumen
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.
Citas
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.
Descargas
Publicado
Número
Sección
Licencia
Derechos de autor 2025 Júlio Cesar da Silva
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
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.
