TLDR: si
Matemáticas [1] es un rango abstracto de conocimiento y conceptos, que explica las relaciones entre patrones, números y conjuntos y mucho más, bastante difícil de definir por sí mismo, generalmente axiomático, formal y lógico, siendo posible deducir nuevos axiomas y reglas basadas en los anteriores. No hay consenso sobre el tema, pero este es un borrador para poner un punto.
Cuando piensas en el realismo en general, es la suposición de que el mundo existe independientemente de nuestra percepción, un árbol hace ruido cuando cae en el bosque y nadie escucha. Para creer que la ciencia puede explicar empíricamente el mundo, usando modelos para obtener aproximaciones de la verdad, necesitamos, de hecho, creer que las matemáticas también son reales fuera de nuestras mentes.
El argumento de la indispensabilidad de Quine-Putnam [2] es el siguiente:
- ¿Cuál es una palabra que podría usarse para definir el verdadero opuesto de la virtud?
- ¿Qué dice la filosofía de Nietzsche en términos sencillos?
- ¿En qué cosa están de acuerdo todos los filósofos del mundo?
- ¿Cuáles son algunas de las terminologías que Immanuel Kant ha introducido en su Crítica de la razón pura y otras obras?
- ¿Qué pasaría si las leyes fundamentales de la lógica no estuvieran disponibles?
(P1) Deberíamos tener un compromiso ontológico con todas y solo con las entidades que son indispensables para nuestras mejores teorías científicas.
(P2) Las entidades matemáticas son indispensables para nuestras mejores teorías científicas.
(C) Debemos tener un compromiso ontológico con las entidades matemáticas.
Para las críticas y justificaciones de los argumentos anteriores, eche un vistazo a la nota 2.
Está más allá de mi conocimiento real estar más seguro de la pregunta, ya que estamos tratando con algunos problemas filosóficos que son más antiguos que nosotros y que aún no se han resuelto.
Notas al pie
[1] Matemáticas – Wikipedia
[2] Argumentos de la indispensabilidad en la filosofía de las matemáticas