A qué se dedica la filosofía de las matemáticas

-

Al principio de su introducción al Manual de Oxford de Filosofía de la Lógica y la Matemática, el filósofo estadounidense Stewart Shapiro escribió:

Desde un principio, la filosofía occidental ha tenido una fascinación por las matemáticas ... Hasta hace muy poco, casi todos los filósofos tenían conocimiento muy actualizado de matemáticas y le ponían seria atención dentro de su filosofía.
From the beginning, Western philosophy has had a fascination with mathematics... Until very recently, just about every philosopher was aware of the state of mathematics and took it seriously for philosophical attention. (Stewart Shapiro 2005: 3)

Lo que dice Shapiro puede ser cierto, pero no es claro qué moraleja debemos extraer de ello. Podemos concluir, por ejemplo, que durante mucho tiempo, la gente haciendo filosofía de las matemáticas no eran especialistas en filosofía de las matemáticas sino filósofos generales que también pensaban y escribían sobre matemáticas. Russell, Carnap, Wittgenstein, etc. encajan claramente en esta descripción. Aun cuando todos escribieron extensamente y dejaron una huella muy profunda en la filosofía de las matemáticas del siglo XX, su ambición era mas grande y sistemática, era generar un sistema filosófico omniabarcante y dentro de este proyecto les parecía muy importante encajar a las matemáticas. Si bien es cierto que, por ejemplo, el tema al que le dedica más páginas Wittgenstein  en sus escritos es las matemáticas, sabemos que sus intereses eran más ambiciosos.

No es de sorprender, por lo tanto, que dos páginas mas adelante, Shapiro continúe:

Para cualquier campo de estudio X, los propósitos principales de la filosofía de X son interpretar X e iluminar el lugar de X en nuestra empresa intelectual general. El filósofo de las matemáticas encuentra inmediatamente fuertes problemas, típicamente relacionados con las matemáticas en su totalidad. La mayoría de estas preguntas provienen de la filosofía general: cuestiones de ontología, epistemología y lógica.
For any field of study X, the main purposes of the philosophy of X are to interpret X and to illuminate the place of X in the overall intellectual enterprise. The philosopher of mathematics immediately encounters sweeping issues, typically concerning all of mathematics. Most of these questions come from general philosophy: matters of ontology, epistemology, and logic. (Stewart Shapiro 2005: 5)

Como los filósofos que fundaron la tradición clásica en la filosofía de la ciencia del siglo XX eran filósofos generalistas, no es de sorprender que su objetivo dentro de la filosofía de las matemáticas era acomodar el quehacer y conocimiento matemático dentro de sus sistemas filosóficos, es decir, esencialmente, acomodar el conocimiento matemático dentro de su teoría epistemológica del conocimiento humano en general, acomodar los supuestos hechos matemáticos que nos revela dicho conocimiento dentro de una caracterización metafísica de la realidad en su totalidad, acomodar la prueba matemática dentro de una teoría lógica general del razonamiento, etc.

Consideremos por ejemplo, el dilema de Benacerraff, tal vez el problema dominante dentro de la filosofía de las matemáticas de la segunda mitad del siglo XX. Según este dilema, las preguntas de qué son los números y cómo accedemos epistémicamente a ellos no pueden responderse más que juntas (es más, es probable que no sean más que una y la misma pregunta). Pero esto no es sino la aplicación a los números de un principio mas general ampliamente reconocido en la filosofía occidental : las preguntas de qué es x y cómo accedemos epistémicamente a x no pueden responderse más que juntas (es más, es probable que no sean más que una y la misma pregunta). Hacerlo de otra manera es una petición de principio

Por ello, actualmente co-existen dos tradiciones de filosofía de las matemáticas del siglo XX:
  • La tradicional, que busca responder las preguntas que los filósofos tendrían sobre la matemática:
    • ¿Cómo encaja la matemática en nuestra metafísica/epistemología/lógica etc.?
    • Temas: existencia, verdad, objetividad, fundamentos, conocimiento, prueba, etc.
  • La nueva, también conocida como "filosofía de la práctica matemática" que buscar responder las preguntas filosóficas que los matemáticos tendrían sobre la matemática misma
    • ¿Porqué se hace matemáticas cómo, de hecho, se hace?
    • Temas: Elegancia, entendimiento, diagramas, cálculos, belleza, pureza, etc.

Comentarios

Publicar un comentario

Entradas más populares de este blog

Condiciones de Verdad

-
Imagen
El objetivo central de las teorías de las condiciones de verdad es explicar la relación entre dos conceptos filosóficos fundamentales de la filosofía del lenguaje: significado y verdad. No hay nada controversial en decir que algunos enunciados son verdaderos y otros falsas y que la diferencia depende no sólo de cómo son las cosas según lo dice el enunciado, pero también de qué es lo que dice el enunciado, es decir, de su significado.Es claro que, por ejemplo, el enunciado “Marichuy Martínez nació en Tuxpan” es verdadero pero podría haber sido falso, o bien porque los hechos relevantes pudieron haber sido distintos o porque el enunciado mismo pudo haber significado algo distinto;   Marichuy Martínez pudo haber nacido en otro lado, así como el nombre “Marichuy Martínez” pudo haber referido a otra persona, y el nombre “Tuxpán” a otro lugar. Si yo me hubiera llamado “Marichuy Martínez” y la capital de Uruguay se llamará “Tuxpan” entonces el enunciado “Marichuy Martínez nació en Tu...
Leer más

Lógica Paraconsistente

-
Imagen
El reto filosófico de construir una lógica paraconsistente es mostrar que es genuinamente lógica y es genuinamente paraconsistente, es decir que en ella  realmente no es cierto que de todo conjunto de premisas inconsistentes se sigue / tiene como consecuencia lógica cualquier cosa. En otras palabras, para que una lógica sea paraconsistente, deben cumplirse dos condiciones: debe existir por lo menos un conjunto G de premisas y una proposición  p  tales que  G  sea inconsistente y  p  no se siga de  G .    El reto, en mas detalle, es que los casos de premisas inconsistentes de las que no se sigue cualquier cosa sean casos de premisas genuinamente inconsistentes – no inconsistentes en un sentido técnico ad-hoc – y el que no se siga todo también sea un ‘no se sigue’ genuinamente lógico – y no un ‘no se sigue’ técnico ad-hoc. Es decir, el conjunto  G  debe ser genuinamente inconsistente y la proposición  p  ...
Leer más

¿Qué es una Categoría Ontológica?

-
Imagen
En ontología, cuando nos preguntamos qué entidades existen realmente, no nos interesa la realidad de esta o aquella entidad particular – con notorias excepciones, como la de Dios (Rovira 1991) – sino la de categorías enteras de entidades. No nos interesa si existe esta silla o aquel taburete, sino si existen los objetos materiales ordinarios (Cumpa & Brewster 2018). Nos interesa la pregunta sobre si es un hecho ya el que habrá una batalla naval mañana, no porque dicho hecho particular tenga algo en especial (como lo tendría, por ejemplo, para el general que debe planear su estrategia de defensa), sino por lo que nos dice sobre el estatus ontológico de los hechos futuros (Mijangos 2003). Cuando Boolos se pregunta si existe el cardinal Kappa, no le interesa tanto este cardinal en particular, sino si es suficiente tener una prueba de existencia dentro de ZFC para aceptar la existencia de cualquier conjunto (Hart 2007). Esto significa que las preguntas ontologicas sobre lo que es real ...
Leer más