
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).