Vol 1 No. 1 Enero-Junio 2024 Revista Cientíca Avances en Ciencia y Docencia
40
ISSN 3078-6266 Revista
Filosofía de las matemáticas
Ontología matemática
La Filosofía de las Matemáticas es una disciplina que reexiona sobre la ontología, epistemología,
desarrollo y métodos propios de las matemáticas. Dado que las matemáticas son una ciencia y
juegan un papel fundamental en las ciencias experimentales, podría considerarse que la Filosofía
de las Matemáticas forma parte de la Filosofía de la Ciencia. Sin embargo, la particularidad de
los objetos matemáticos —entidades abstractas como los números y las funciones— y la naturaleza
única del conocimiento matemático, que se percibe como necesario y a priori, sugieren que la
Filosofía de las Matemáticas constituye una rama losóca independiente (Cobreros, 2016).
El reto ontológico de la losofía de las matemáticas pluralista consiste en acomodar este tipo
de entidades dentro de una visión plural de la realidad, buscando explicar cómo se relacionan
con otras clases de entidades. En particular, se intenta esclarecer cómo es posible que estas
entidades matemáticas sean accesibles al conocimiento humano y de qué manera se vinculan
con entidades físicas, permitiendo su aplicación en el estudio de dichas realidades (Barceló,
2020).
El problema ontológico de los objetos matemáticos es el de establecer si esos objetos existen
independientemente en la mente humana, y, en caso de que así sea, qué clase de objetos
son. Tradicionalmente, el problema ontológico de la matemática ha estado estrechamente
relacionado con el problema epistemológico, es decir, con la cuestión de cómo es posible
conocer los objetos matemáticos (Piñeiro, 2019, p. 6).
Este es un tema complejo que ha generado diferentes perspectivas a lo largo de la historia de
la losofía de las matemáticas. Algunas de las principales posturas ontológicas:
Primero se puede señalar al Platonismo, esta perspectiva se basa en la idea de que los objetos
matemáticos existen de forma independiente en un reino abstracto o platónico. Según los
platonistas, los números, las formas geométricas, las funciones y otros objetos matemáticos son
entidades reales que existen fuera de la mente humana y del mundo físico. Los matemáticos
descubren estas verdades matemáticas en lugar de inventarlas.
Primero, Sánchez (2021) arma, que el platonismo, desde una perspectiva losóca y especulativa,
plantea interrogantes sobre la naturaleza de las matemáticas, proponiendo como posible
escenario la existencia y conrmación de ciertos objetos matemáticos, tales como números,
guras geométricas y funciones, que estructuran el conocimiento de esta ciencia abstracta (p.
5).
Segundo, los formalistas sostienen que los objetos matemáticos son construcciones puramente
formales que existen en el contexto de sistemas axiomáticos. Desde esta perspectiva, las
matemáticas son un juego de símbolos y reglas manipuladas según ciertas reglas predenidas,
pero no tienen una existencia independiente fuera del sistema formal. La verdad matemática es
relativa a un sistema de axiomas y reglas de inferencia.
Amarillo (s.f.), al modicar la concepción de formalización también se modicará la concepción de
demostración matemática asociada, más conocida como concepción sintáctica de demostración.
Con este procedimiento se vuelve mecánicamente decidible si una secuencia de fórmulas es
o no una demostración. Pero debe destacarse que esta concepción está fundamentalmente
asociada con un proyecto de fundamentos de la matemática, pero no con la intención de
describir la práctica demostrativa real (p. 3).