Formalismo (filosofía de las matemáticas)

Considera que las matemáticas no necesariamente representan la realidad, sino que son más parecidas a un juego.

En la filosofía de las matemáticas , el formalismo es la visión que sostiene que los enunciados de las matemáticas y la lógica pueden considerarse enunciados sobre las consecuencias de la manipulación de cadenas (secuencias alfanuméricas de símbolos, generalmente como ecuaciones) utilizando reglas de manipulación establecidas . Una idea central del formalismo "es que las matemáticas no son un cuerpo de proposiciones que representan un sector abstracto de la realidad, sino que son mucho más parecidas a un juego, sin mayor compromiso con una ontología de objetos o propiedades que el parchís o el ajedrez ". [1] Según el formalismo, las verdades expresadas en la lógica y las matemáticas no se refieren a números, conjuntos o triángulos ni a ningún otro tema coextensivo; de hecho, no se refieren "a" nada en absoluto. Más bien, los enunciados matemáticos son formas sintácticas cuyas formas y ubicaciones no tienen significado a menos que se les dé una interpretación (o semántica ). A diferencia del realismo matemático , el logicismo o el intuicionismo , los contornos del formalismo están menos definidos debido a enfoques amplios que pueden categorizarse como formalistas.

Junto con el realismo y el intuicionismo, el formalismo es una de las principales teorías de la filosofía de las matemáticas que se desarrolló a finales del siglo XIX y principios del XX. Entre los formalistas, David Hilbert fue su defensor más destacado. [2]

Formalismo temprano

Los primeros formalistas matemáticos intentaron "bloquear, evitar o eludir (de alguna manera) cualquier compromiso ontológico con un reino problemático de objetos abstractos". [1] Los matemáticos alemanes Eduard Heine y Carl Johannes Thomae son considerados los primeros defensores del formalismo matemático. [1] El formalismo de Heine y Thomae se puede encontrar en las críticas de Gottlob Frege en Los fundamentos de la aritmética .

Según Alan Weir, el formalismo de Heine y Thomae que Frege ataca puede ser "descrito como formalismo de términos o formalismo de juegos". [1] El formalismo de términos es la opinión de que las expresiones matemáticas se refieren a símbolos, no a números. Heine expresó esta opinión de la siguiente manera: "Cuando se trata de definición, adopto una posición puramente formal, en el sentido de que llamo números a ciertos signos tangibles, de modo que la existencia de estos números no está en cuestión". [3]

Thomae se caracteriza por ser un formalista de juegos que afirmaba que “para el formalista, la aritmética es un juego con signos que se llaman vacíos. Esto significa que no tienen otro contenido (en el juego de cálculo) que el que les asigna su comportamiento con respecto a ciertas reglas de combinación (reglas del juego)”. [4]

Frege ofrece tres críticas al formalismo de Heine y Thomae: "que [el formalismo] no puede explicar la aplicación de las matemáticas; que confunde la teoría formal con la metateoría; [y] que no puede dar una explicación coherente del concepto de una secuencia infinita". [5] La crítica de Frege al formalismo de Heine es que su formalismo no puede explicar las secuencias infinitas. Dummett sostiene que las explicaciones más desarrolladas del formalismo que la de Heine podrían evitar las objeciones de Frege al afirmar que se ocupan de símbolos abstractos en lugar de objetos concretos. [6] Frege se opone a la comparación del formalismo con el de un juego, como el ajedrez. [7] Frege sostiene que el formalismo de Thomae no distingue entre juego y teoría.

El formalismo de Hilbert

David Hilbert

Una figura importante del formalismo fue David Hilbert , cuyo programa pretendía ser una axiomatización completa y consistente de todas las matemáticas. [8] Hilbert pretendía mostrar la consistencia de los sistemas matemáticos a partir del supuesto de que la "aritmética finitaria" (un subsistema de la aritmética habitual de los números enteros positivos , elegido para ser filosóficamente incontrovertible) era consistente (es decir, no se pueden derivar contradicciones del sistema).

La forma en que Hilbert intentó demostrar que un sistema axiomático era consistente fue formalizándolo mediante un lenguaje particular. [9] Para formalizar un sistema axiomático, primero se debe elegir un lenguaje en el que se puedan expresar y realizar operaciones dentro de ese sistema. Este lenguaje debe incluir cinco componentes:

  • Debe incluir variables como x, que puede representar algún número.
  • Debe tener cuantificadores como el símbolo de la existencia de un objeto.
  • Debe incluir la igualdad.
  • Debe incluir conectores como ↔ para "si y sólo si".
  • Debe incluir ciertos términos indefinidos llamados parámetros. En geometría, estos términos indefinidos pueden ser algo así como un punto o una línea, para los cuales todavía elegimos símbolos.

Al adoptar este lenguaje, Hilbert pensó que podríamos demostrar todos los teoremas dentro de cualquier sistema axiomático usando nada más que los axiomas mismos y el lenguaje formal elegido.

La conclusión de Gödel en sus teoremas de incompletitud fue que no se puede probar la consistencia dentro de ningún sistema axiomático consistente lo suficientemente rico como para incluir la aritmética clásica. Por un lado, se debe utilizar únicamente el lenguaje formal elegido para formalizar este sistema axiomático; por otro lado, es imposible probar la consistencia de este lenguaje en sí mismo. [9] Hilbert se sintió frustrado originalmente por el trabajo de Gödel porque destrozaba el objetivo de su vida de formalizar completamente todo en la teoría de números. [10] Sin embargo, Gödel no sintió que contradijera todo lo relacionado con el punto de vista formalista de Hilbert . [11] Después de que Gödel publicara su trabajo, se hizo evidente que la teoría de la prueba todavía tenía alguna utilidad, la única diferencia es que no podía usarse para probar la consistencia de toda la teoría de números como Hilbert había esperado. [10]

Hilbert fue inicialmente un deductivista, [ cita requerida ] pero consideró que ciertos métodos metamatemáticos producían resultados intrínsecamente significativos y era realista con respecto a la aritmética finitaria. Más tarde, sostuvo la opinión de que no existía ninguna otra matemática significativa, independientemente de la interpretación.

Desarrollos futuros

Otros formalistas, como Rudolf Carnap , consideraban que las matemáticas eran la investigación de sistemas de axiomas formales . [12]

Haskell Curry define las matemáticas como "la ciencia de los sistemas formales". [13] El formalismo de Curry es diferente al de los formalistas de términos, los formalistas de juegos o el formalismo de Hilbert. Para Curry, el formalismo matemático trata de la estructura formal de las matemáticas y no de un sistema formal. [13] Stewart Shapiro describe el formalismo de Curry como un sistema que parte de la "tesis histórica de que a medida que una rama de las matemáticas se desarrolla, se vuelve cada vez más rigurosa en su metodología, siendo el resultado final la codificación de la rama en sistemas deductivos formales". [14]

Críticas al formalismo

Kurt Gödel señaló uno de los puntos débiles del formalismo al abordar la cuestión de la consistencia en los sistemas axiomáticos.

Bertrand Russell ha argumentado que el formalismo no logra explicar lo que se entiende por la aplicación lingüística de los números en afirmaciones como "hay tres hombres en la habitación". [15]

Véase también

Referencias

  1. ^ abcd Weir, Alan (2015), "Formalismo en la filosofía de las matemáticas", en Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (edición de primavera de 2015), Metaphysics Research Lab, Stanford University , consultado el 25 de mayo de 2019
  2. ^ Simons, Peter (2009). "Formalismo". Filosofía de las matemáticas. Elsevier. pág. 292. ISBN 9780080930589.
  3. ^ Simons, Peter (2009). Filosofía de las matemáticas. Elsevier. pág. 293. ISBN 9780080930589.
  4. ^ Frege, Gottlob (1903). Los fundamentos de la aritmética: una investigación lógico-matemática sobre el concepto de número . Chicago: Northwestern University Press. pág. 183.
  5. ^ Dummett, Michael (1991). Frege: Filosofía de las matemáticas. Cambridge: Harvard University Press. pág. 252. ISBN 9780674319356.
  6. ^ Dummett, Michael (1991). Frege: Filosofía de las matemáticas. Cambridge: Harvard University Press. pág. 253. ISBN 9780674319356.
  7. ^ Frege, Gottlob; Ebert, Philip A.; Cook, Roy T. (1893). Leyes básicas de la aritmética: derivadas mediante escritura conceptual. Oxford: Oxford University Press (publicado en 2013). pp. § 93. ISBN 9780199281749.
  8. ^ Zach, Richard (2019), "El programa de Hilbert", en Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (edición de verano de 2019), Metaphysics Research Lab, Stanford University , consultado el 25 de mayo de 2019
  9. ^ ab Snapper, Ernst (septiembre de 1979). "Las tres crisis en las matemáticas: logicismo, intuicionismo y formalismo" (PDF) . Revista de Matemáticas . 52 (4): 207–216. doi :10.1080/0025570X.1979.11976784.
  10. ^ de Reid, Constance; Weyl, Hermann (1970). Hilbert. Springer-Verlag. pág. 198. ISBN 9783662286159.
  11. ^ Gödel, Kurt (1986). Feferman, Solomon (ed.). Kurt Gödel: Obras completas: Volumen I: Publicaciones 1929-1936. Vol. 1. Oxford: Oxford University Press. pág. 195. ISBN 9780195039641.
  12. ^ Carnap, Rudolf (1937). Sintaxis lógica del lenguaje. Routledge. pp. 325–328. ISBN. 9781317830597.
  13. ^ ab Curry, Haskell B. (1951). Esquemas de una filosofía formalista de las matemáticas. Elsevier. pág. 56. ISBN 9780444533685.
  14. ^ Shapiro, Stewart (2005). "Formalismo". The Oxford Companion to Philosophy . Honderich, Ted (2.ª ed.). Oxford: Oxford University Press. ISBN 9780191532658.OCLC 62563098  .
  15. ^ Bertrand Russell Mi desarrollo filosófico, 1959, cap. X.
  • Medios relacionados con Formalismo (deductivo) en Wikimedia Commons
Obtenido de "https://es.wikipedia.org/w/index.php?title=Formalismo_(filosofía_de_las_matemáticas)&oldid=1179438241"