Platonismo matemático
En filosofía de las matemáticas, el platonismo matemático o realismo matemático es una corriente de pensamiento que afirma que los objetos matemáticos (números, figuras geométricas, funciones, etc.) no son simples invenciones humanas, sino objetos abstractos que existen por sí mismos, independientemente de la mente humana,[1][2] es decir, que los objetos y teoremas matemáticos existen en forma aislada del mundo material e independientemente del espacio y del tiempo. Con este punto de vista, las leyes de la naturaleza y los axiomas de la matemática tienen una posición similar y su efectividad encuentra una explicación: su fundamento lo constituye el verdadero mundo de los objetos matemáticos. El platonismo matemático es una forma de realismo filosófico, aplicado a los objetos matemáticos.
Kurt Gödel describe el platonismo matemático brevemente como:
«[…] la concepción de que la matemática describe una realidad no sensible, que existe independientemente tanto de los actos como de las disposiciones de la mente humana, y que es solo percibida por ella, aunque probablemente de forma incompleta.»[3]
Síntesis
[editar]El platonismo matemático implica que tanto los objetos matemáticos como las leyes matemáticas no se inventan, sino que se descubren. Con esto se explica al carácter objetivo e interpersonal de las matemáticas. Este realismo ontológico es incompatible con todas las variedades de la filosofía materialista. Algunos de sus representantes fueron Kurt Gödel[4][5][6] y Eugene Paul Wigner.[7] Entre los filósofos que han adoptado la posición se cuentan Michael Dummett,[8] Mark Steiner[9] y Edward Zalta[10][11][12], además del cosmólogo y físico teórico Roger Penrose[13]. El realismo[14][15][16] es quizás la posición más difundida entre los matemáticos.[17]
Alrededor de los 1900 tuvo mucha influencia en esta posición el argumento de Gottlob Frege.[18] Frege mismo era ciertamente platonista respecto a la verdad matemática[19] (de hecho, despreciaba abiertamente el psicologismo), como se ve especialmente manifiesto en su crítica a algunas de las obras tempranas de Edmund Husserl, varias de las cuales este último aceptó e incorporó en su propias ideas. El argumento citado se puede resumir así: «Términos singulares que se refieren a números naturales aparecen en enunciados verdaderos simples. Solo es posible para los enunciados simples con términos singulares como componentes ser verdaderos si los objetos a los que se refieren los términos singulares existen. Por lo tanto: los números naturales existen. Pero, si los números naturales existen, son objetos abstractos que son independientes de todas las actividades racionales. Por lo tanto: los números naturales son objetos abstractos que existen independientes de todas las actividades racionales, es decir, el objeto aritmético del platonismo es verdad.» Wigner en su trabajo La irrazonable eficacia de la Matemática en las Ciencias Naturales expresó que: «Es un milagro, como ha señalado Schrödinger, que a pesar de la perturbadora complejidad del mundo, puedan descubrirse en los fenómenos ciertas regularidades.»[20]
En el presente los partidarios del platonismo matemático generalmente citan el siguiente argumento a favor de sus posiciones, argumento que busca mostrar que las teorías epistémicas son (deben ser) consistentes con la aproximación realista: El argumento de indispensabilidad de Quine y Putnam básicamente sugiere que debemos estar «ontológicamente comprometida con todas aquellas entidades que sean indispensables para nuestras mejores teorías científicas», es decir, debemos afirmar como válidas e independientes todos aquellos elementos básicos del análisis que necesitamos en nuestros razonamientos, alternativamente, somos intelectualmente deshonestos. «Los objetos y/o estructuras matemáticos son indispensables para nuestras mejores teorías científicas. Por lo tanto, debemos reconocer la existencia de esos objetos o estructuras.»
El principal problema del platonismo en la filosofía de las matemáticas es explicar cómo podemos los seres humanos reconocer las verdades y/o entidades matemáticas si éstas se encuentran en las «esferas celestiales de las ideas» (ver Símil de la línea, Teoría de las Formas). De acuerdo a Gödel, esto se logra mediante la intuición matemática que, de manera similar a un órgano sensorial, hace que podamos "percibir" (aunque sería mejor dicho "concebir") partes de ese otro mundo (véase nóesis en Platón; episteme en Platón). Tales intuiciones racionales también son defendidas por la mayor parte de los clásicos del racionalismo, así como en debates más recientes acerca de la justificación sobre el conocimiento a priori, entre otros por Laurence Bonjour.[21] Sin embargo, un tratamiento más sofisticado de este asunto sugiere que el problema es más profundo: «nuestras mejores teorías epistémicas parecen excluir cualquier conocimiento de los objetos matemáticos.»[22][23] Esto generalmente se conoce como el dilema de Benacerraf[24][25] dado que generalmente se interpreta como estableciendo que debemos abandonar nuestras teorías epistemológicas actuales o la justificación sobre el conocimiento matemático.[26][27][28]
Origen
[editar]La primera referencia que hay acerca de esta teoría se encuentra en un artículo escrito por el famoso filósofo y matemático austriaco-estadounidense Kurt Gödel, publicado en 1932 (un año después de sus famosos teoremas de la incompletitud).
El término «platonismo» la introdujo al área en 1934 el lógico matemático Paul Bernays. La intención era designar un modo de razonar que es característico sobre todo del análisis matemático y la teoría de conjuntos, aunque también del álgebra moderna y la topología: «los objetos de la teoría se conciben como elementos de una totalidad o conjunto, que se considera dada o independiente del sujeto pensante (es decir, del matemático). Una consecuencia de dicho modo de pensar es que para una propiedad cualquiera (expresable en la teoría) puede decirse que o bien la poseen todos los elementos del conjunto, o bien hay uno que no la posee.»[29]
Desarrollo
[editar]En su artículo, Gödel plantea si las matemáticas son un producto de la mente humana o si por el contrario existen una serie de realidades matemáticas objetivas. Insiste, además, en la diferencia entre estas realidades matemáticas, que abarcan todas las proposiciones verdaderas, y las matemáticas subjetivas, aquellas que sólo se pueden demostrar en la mente humana. Concluye Gödel que si las matemáticas fueran enteramente hipótesis existentes tan sólo en nuestras mentes, cualquier verdad matemática podría ser formulada y demostrada, cosa imposible. Por el contrario, si los conceptos matemáticos son preexistentes la única tarea que realiza el matemático es percibir dicha verdad objetiva y describirla.
Varios matemáticos teóricos en conjuntos siguieron este enfoque y activamente buscaron posibles axiomas que se pueden considerar como verdaderos por razones heurísticas y que decidieran la hipótesis del continuo. Se estudiaron muchos grandes axiomas cardinales, pero la hipótesis del continuo permaneció independiente. Se consideraron otros tipos de axiomas, pero ninguno de ellos hasta ahora ha logrado consenso como solución para el problema continuo.
Implicaciones filosóficas
[editar]La teoría de Gödel implica que los matemáticos tan sólo pueden hacer teorías matemáticas subjetivas lo más aproximadas posible a las verdades matemáticas objetivas, pero sin llegar a conocer éstas en su totalidad. Según esto, las matemáticas objetivas son imperecederas, no varían ni desaparecen independientemente de que alguien las conciba o no.
Por ejemplo, el teorema de Pitágoras siempre será verdadero independientemente del lugar, la época o la persona que lo utilice.
Relación con Platón
[editar]Lo que Gödel denomina como verdades objetivas, se corresponde con los objetos matemáticos pertenecientes al segmento inferior del Mundo de las Ideas de Platón. En ambos casos se trata de verdades objetivas, ingénitas, universales, imperecederas e inmutables. Para los dos filósofos se trata de un mundo al que sólo se puede acceder por medio de la inteligencia (en el caso de los objetos matemáticos, mediante el pensamiento) y que se reproduce de manera imperfecta en el mundo sensible.
Además, al lado de lo sensible y de las Especies, [Platón] admite las Cosas matemáticas como entes intermedios, diferentes, por una parte, de los objetos sensibles por ser eternas e inmóviles, y, por otra, de las Especies, por ser muchas semejantes, mientras que la Especie misma es sólo una en cada caso.[30]
A algunos les parece que los límites del cuerpo, como la superficie, la línea, el punto y la unidad, son substancias, incluso en mayor grado que el cuerpo y el sólido. Además, unos no creen que, fuera de las cosas sensibles, haya nada semejante, mientras que otros admiten las substancias eternas, más numerosas y más reales; por ejemplo, Platón considera las Especies y las Cosas matemáticas como dos clases de substancias, y como otra tercera la substancia de los cuerpos sensibles, y Espeusipo admite incluso más substancias, comenzando por el Uno, y principios de cada substancia, uno para los números y otro para las magnitudes, y todavía otro para el alma.[31]
Véase también
[editar]- Kurt Gödel
- Realismo filosófico
- Realismo científico
- Filosofía de la ciencia
- Nominalismo
- Constructivismo (matemáticas)
- Platón
Referencias
[editar]- ↑ P Maddy, citada por Luis Miguel Ángel Cano P (2003) en Frege y la nueva lógica. «El realismo, por tanto, es el punto de vista que sostiene que la matemática es la ciencia de los números, conjuntos, funciones, etc., tal y como la física es el estudio de los objetos físicos ordinarios, cuerpos astronómicos y partículas subatómicas entre otros. Esto es, la matemática trata acerca de esos objetos, y es el modo en que tales objetos son lo que hace a los enunciados de la matemática verdaderos o falsos.»
- ↑ Internet Enciclopedia of Philosophy: Mathematical Platonism «Cualquiera explicación metafísica de las matemáticas que implica que las entidades matemáticas existen, que son abstractos, y que son independientes de todas nuestras actividades racionales.»
- ↑ GÖDEL, K., Algunos teoremas básicos de los fundamentos de las matemáticas y sus implicaciones filosóficas (Conferencia Gibbs), en: RODRÍGUEZ CONSUEGRA, F. (ed.), Kurt Gödel; Ensayos inéditos, Mondadori, Barcelona, 1994, 155.
- ↑ K Gödel: “Los conceptos tienen una existencia objetiva” en My philosophical viewpoint
- ↑ Guillerma Díaz Muñoz (2000): Aproximación del realismo matemático de Gödel al realismo constructivo de Zubiri
- ↑ Recio, Gonzalo (2012). «Kurt Gödel y San Agustín: Platonismo Matemático y la Existencia de Dios». Repositorio Institucional UCA.
- ↑ Wigner, Eugene (1960). «The Unreasonable Effectiveness of Mathematics in the Natural Sciences». Communications on pure and applied mathematics, Vol. XIII, 001-14. Princeton University..
- ↑ Michael Dummett (1998): La existencia de los objetos matemáticos.Archivado el 2 de abril de 2015 en Wayback Machine. Teorema, XVII (2). pp. 5-24.
- ↑ Mark Steiner (1983): "Mi intención es argumentar a favor de la realidad de ciertas entidades matemáticas" en Mathematical Realism Noûs Vol. 17, No. 3 (Sep., 1983), pp. 363-385
- ↑ Zalta, Edward N. (2000). «Neo-logicism? An ontological reduction of mathematics to metaphysics». philpapers.org (en inglés). Consultado el 17 de febrero de 2024.
- ↑ Zalta, Edward N. (1983). «Abstract Objects: An Introduction to Axiomatic Metaphysics». philpapers.org (en inglés). Consultado el 17 de febrero de 2024.
- ↑ Zalta, Edward (2023). «Principia Logico-Metaphysica». The Metaphysics Research Lab.
- ↑ «Penrose: platonismo matemático - Encyclopaedia Herder». encyclopaedia.herdereditorial.com. Consultado el 14 de enero de 2024.
- ↑ Luke Jerzykiewicz (2007) "La gran mayoría de los realistas de hoy en día, incluyendo el propio Stewart Shapiro, sostienen que las entidades matemáticas (o estructuras) son abstractas y a-causal. 'Realismo', de hecho, viene a ser casi sinónimo de 'platonismo'. en Platonist epistemology and cognitionArchivado el 2 de abril de 2015 en Wayback Machine. p 1
- ↑ Para una visión general de esta posición, ver Penelope Maddy (1992) Realism in Mathematics
- ↑ Haim Gaifman: On Ontology and Realism in MathematicsArchivado el 21 de abril de 2014 en Wayback Machine.
- ↑ De acuerdo a Davis y Hersh (ver la Experiencia matemática “el matemático profesional típico es un platonista durante la semana y un formalista en el Domingo” (ver Realismo platónico), lo que generalmente se interpreta como significando que la mayoría de los matemático se comportan como si aceptaran que los objetos matemáticos y sus relaciones fueran objetivos, independientes de nuestra voluntad o subjetividad, pero si se les demanda una justificación de su posición, adoptan el formalismo (ver más abajo)
- ↑ «The Fregean Argument for Object Platonism». Consultado el 4 de abril de 2017.
- ↑ Rosario Barbosa, Pedro (18 de mayo de 2004). El Platonismo de Gottlob Frege y El Mundo 3 de Karl Popper. Consultado el 15 de marzo de 2024.
- ↑ Wigner, Eugene (2004). La irrazonable eficacia de la matemática en las ciencias naturales. (traducción: P. Crespo). p. 3.
- ↑ L Bonjour: In Defense of Pure Reason. (London: Cambridge University Press, 1998) Entrada en Wikipedia inglesa acerca de Bonjour
- ↑ Paul Benacerraf (1973) Mathematical Truth
- ↑ IEP; The Indispensability Argument in the Philosophy of Mathematics
- ↑ W. D. Hart (1991): Benacerraf's Dilemma
- ↑ Bob Hale and Crispin Wright Benacerraf's Dilemma RevisitedArchivado el 21 de abril de 2014 en Wayback Machine.
- ↑ Eleonora Cresto (2002): "Benacerraf nos ofrece allí un dilema, moldeado sobre la dicotomía entre platonismo y constructivismo: el primero nos permite entender como es que los enunciados matemáticos son verdaderos, pero no como es que los conocemos, el segundo explica el conocimiento matemático, pero no la verdad." en Comentarios a "La filosofía de la matemática del segundo Wittgenstein: El problema de la objetividad de la prueba matemática
- ↑ Rui Vieira (2010): "Sin embargo, en un importante artículo, "Mathematical Truth", en el Journal of Philosophy, Vol. 70 (1973), el filósofo Paul Benacerraf argumentó que las explicaciones anti-platónicas de las matemáticas deprivan los enunciados matemáticos de su verdad objetiva en el sentido cotidiano popular, es decir, de la idea de que las verdades matemáticas son verdaderas piense alguien en ellas o no. La verdad objetiva es una propiedad de las matemáticas que para la mayoría de nosotros es obvia, pero explicaciones anti-platónicas hacen las matemáticas subjetivas (aunque el argumento de Benacerraf se dirige al convencionalismo y al formalismo, no creo que las tentativas del intuicionismo se libren nada mejor". en Mathematical Knowledge: A Dilemma.
- ↑ GREGORY LAVERS (2009): "El sentido común respecto a la verdad y la forma sintáctica de los enunciados matemáticos nos lleva a concluir que los enunciados matemáticos se refieren a objetos abstractos. Al mismo tiempo, ese sentido común, en relación a la epistemología, parece implicar que los enunciados matemáticos no pueden referirse a objetos abstractos" (en BENACERRAF’S DILEMMA AND INFORMAL MATHEMATICS) y "Según Benacerraf, cualquier explicación de la verdad matemática debe satisfacer dos requisitos básicos: erigirse sobre la base de una semántica y de una epistemología paralelas a las usuales en el discurso no matemático. La semántica usual es necesaria para que los términos de los enunciados matemáticos se refieran a entidades reales, si tales enunciados han de ser verdaderos, como suponemos en nuestro usos lingüísticos habituales. La epistemología se necesita para que la verdad de los enunciados matemáticos presuponga algún conocimiento de las entidades referidas por los términos enunciados, como suponemos en nuestro discurso habitual.... prosigue Benacerraf, en general las explicaciones disponibles de la verdad matemática no logran satisfacer ambos requisitos, sino más bien alguno de ellas a expensas del otro.". Francisco Rodriguez C: Lo que es y no es la verdad matemática
- ↑ José Ferreirós (1999) Matemáticas y platonismo(s)
- ↑ Aristóteles. Metafísica, Libro I, Capítulo 6, 987b 15.
- ↑ Aristóteles. Metafísica, Libro I, Capítulo 6, 1028b 15-24.
Bibliografía
[editar]- Gödel, vida y paradoja - Goldstein, Rebecca. Antoni Bosch Editor, S.A. 2006
- El cambio de la filosofía - Schlick, Moritz.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.