Hay algunas líneas de razonamiento sobre esto.
El primero es el de los formalistas, que dicen que los sistemas matemáticos funcionan como lo hacen porque así es como los hemos construido. 1 y 1 se suman a dos porque dos “impresiones de un solo trazo” son equivalentes, en nuestro sistema de notación, a una “impresión de dos trazos”. A sus ojos, no hay nada en el universo que diga que nuestras matemáticas deben funcionar como lo hacen. La matemática es una “cosa en sí misma” (como las damas o el ajedrez) y solo tiene una relación y relación con el mundo material (de hecho, solo depende de un material de uso, bolígrafos IE y papel).
El segundo es el de los empiristas, que afirman que los sistemas matemáticos se basan en observaciones de cómo funcionan las cosas en la naturaleza. Colocar dos manzanas en una canasta es lo mismo que “+ dos” porque cuando cuentas todas las manzanas después, esa es la diferencia en el número de manzanas. Desde su punto de vista, los números y las matemáticas existen en la medida en que son marcadores de posición para los objetos y las relaciones sensibles: las abstracciones más allá de eso no tienen sentido o, al menos, no tienen importancia. Su afirmación sería que las matemáticas tienen sus características debido a cómo el universo está estructurado y ordenado en sí mismo. Esta es la visión más común y popular entre los físicos y científicos, y una explicación parcial de “la efectividad irrazonable de las matemáticas”: es efectiva porque está intrínsecamente vinculada a la mecánica operativa de la naturaleza.
El tercer punto de vista, y quizás el más extremo, es el del positivismo lógico, que afirma que lo que es materialmente posible es un subconjunto de lo que es matemáticamente posible o lógicamente posible. Por lo tanto, la lógica y las matemáticas superan y son una “superestructura” del universo mismo. Esta opinión es popular entre los lógicos y filósofos, a quienes supongo que les gusta la idea de que todo lo posible debe ser lógicamente posible.
- ¿Dónde puedo aprender más sobre los objetos matemáticos platónicos?
- ¿Cómo van los cursos de filosofía en las universidades si eres un estudiante importante y si no lo eres?
- ¿Cuál es superioridad, individualidad o conformidad?
- Existen múltiples interpretaciones diferentes de QM, algunas deterministas, algunos eventos en QM se describen como “sin causa”, pero en un sistema determinista, ¿no requeriría eso que todos los eventos tengan causas?
- ¿Cuál es un ejemplo de un argumento del hombre de paja?
Por supuesto, cada lado tiene sus reclamos sobre el otro: esa posibilidad lógica es tal porque la lógica es una intuición que hemos desarrollado a través de la experiencia con el mundo material, o que los sistemas de numeración formales son más que un juego de bolígrafos y papeles, ya que Permiten tales predicciones fabulosas.
En última instancia, no estoy seguro de que haya una respuesta singular, pero la única opinión que se puede sostener con un grado firme de convicción es la de los empiristas.