Objetos intencionais e existência objetiva

• Autor(a) principal: Silva, Jairo José da [UNESP]
• Data de Publicação: 1991
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Repositório Institucional da UNESP
• Texto Completo: http://dx.doi.org/10.1590/S0101-31731991000100009; http://hdl.handle.net/11449/28220
• topic: Ontologia da matemática; existência matemática; Mathematical ontology; mathematical existence

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.