Abstract

In this paper I show the possibility of an ontology of mathematics that keeps some points in common with platonism and constructivism while diverging from them in other essencial ones. I understand that mathematical objects are simply the referential focus of mathematical discourse, I also understand that their existence is merely intentional but none the less objective, in the sense of being shared by all those who are engaged in the mathematical activity. However, the objective existence of mathematical entities is not secured once and for all but only in so far as the mathematical discourse is consistent. This is the core of the criterium of objective existence put forward and that I believe should sustain a mathematical ontology without the presupposition of the independent existence of a domain of mathematical objects, and without the restrictions imposed on it by constructivism and formalism in their various versions.Neste artigo quero apontar para a possibilidade de uma ontologia da matemática que, mesmo mantendo alguns pontos em comum com o platonismo e com o construtivismo, desliga-se destes em outros pontos essenciais. Por objeto matemático entendo o foco referencial do discurso matemático, ou seja, aquilo sobre o qual a matemática fala. Entendo que a existência destes objetos é meramente intencional, presuntiva, mas, simultaneamente, objetiva, no sentido de ser uma existência comunalizada, compartilhada por todos aqueles engajados no fazer matemático. A existência objetiva das entidades matemáticas não está, entretanto, garantida de uma vez por todas, mas apenas enquanto o discurso matemático for consistente. Este é o espírito do critério de existência objetiva enunciado que, acredito, deve sustentar uma ontologia matemática sem o pressuposto da existência independente de um domínio de objetos matemáticos, sem o empobrecimento que lhe impõem as diferentes versões construtivistas e sem a aniquilação que lhe infringe o formalismo sem objetos