Está en la página 1de 23

Filosofía de las matemáticas

La filosofía de las matemáticas es un área de la filosofía teórica, que trata


de comprender y explicar los requisitos, el objeto, el método y la naturaleza1 de
las matemáticas. Como área de estudio puede ser aproximada desde dos
direcciones: el punto de vista de los filósofos y el de los matemáticos. Desde el
punto de vista filosófico, el objetivo principal es dilucidar una variedad de
aspectos problemáticos en la relación entre las matemáticas y la filosofía.
Desde el punto de vista matemático, el interés principal es proveer al
conocimiento matemático de fundamentos firmes. Es importante mantener
presente que aunque estos puntos de vista pueden implicar diferentes
esquemas e intereses, no son opuestos, sino más bien complementarios:
«Cuando los matemáticos profesionales se ocupan de los fundamentos de su
disciplina, se dice que se dedican a la investigación fundamental (o
trabajo fundacional o de fundamentos.- ver Metamatemática). Cuando los
filósofos profesionales investigan cuestiones filosóficas relativas a las
matemáticas, se dice que contribuyen a la filosofía de las matemáticas. Por
supuesto, la distinción entre la filosofía de las matemáticas y los fundamentos
de las matemáticas es vaga, y a la mayor interacción que haya entre los filósofos
y los matemáticos que trabajan en cuestiones relativas a la naturaleza de las
matemáticas, mejor.».2
Principia Mathematica, una de las
De acuerdo a Jeremy Avigad (profesor de ciencias matemáticas y de obras más importantes sobre
filosofía de las matemáticas.
filosofía en la Universidad Carnegie Mellon3 ) “El conocimiento matemático
ha sido considerado por mucho tiempo como un paradigma del
conocimiento humano con verdades que son a la vez necesarias y ciertas,
por lo que dar una explicación del conocimiento matemático es una parte importante de la epistemología. Los
objetos matemáticos, tales como los números y los conjuntos, son ejemplos arquetípicos de abstracciones,
dado que el tratamiento de tales objetos en nuestro discurso es como si fueran independientes del tiempo y el
espacio, encontrar un lugar para los objetos de este tipo en un marco más amplio del pensamiento es una
tarea central de la ontología, o metafísica. El rigor y la precisión del lenguaje matemático depende del hecho
de que está basado en un vocabulario limitado y gramática muy estructuradas, y las explicaciones semánticas
del discurso matemático a menudo sirven como punto de partida de la filosofía del lenguaje. Aunque el
pensamiento matemático ha demostrado un alto grado de estabilidad a través de la historia, su práctica
también ha evolucionado con el tiempo, y algunos desarrollos han provocado controversia y debate; clarificar
los objetivos básicos de esta práctica y los métodos apropiados es, por lo tanto, una tarea metodológica
y fundacional importante, situando la filosofía de las matemáticas dentro de la filosofía general de la ciencia.
De acuerdo a Bertrand Russell, las matemáticas son un estudio que, cuando se parte de sus porciones más
familiares, puede llevarse a cabo en cualquiera de dos direcciones opuestas (una busca la expansión del
conocimiento, la otra darle fundamentos: Nota del traductor). Pero se debe entender que la distinción es una,
no en la materia objeto, pero en el estado de la mente del investigador...(...)... así como necesitamos dos tipos
de instrumentos, el telescopio y el microscopio, para la ampliación de nuestras capacidades visuales, igual
necesitamos dos tipos de instrumentos para la ampliación de nuestras capacidades lógicas, una para hacernos
avanzar a las matemáticas superiores, y el otro que nos lleve hacia atrás, hacia los fundamentos lógicos de las
cosas que estamos inclinados a tomar por sentado en las matemáticas. Veremos que mediante el análisis de
las nociones matemáticas ordinarias se adquiere una nueva perspectiva, nuevos poderes, y los medios de
llegar a nuevos temas matemáticos completos, mediante la adopción de nuevas líneas de avance, siguiendo
nuestro viaje hacia atrás.4

Como ya se ha sugerido, estas aproximaciones no son conflictivas. En las palabras de Imre Lakatos: «Al discutir los
esfuerzos modernos para establecer los fundamentos para el conocimiento matemático uno tiende a olvidarse que
esos son solo un capítulo en el gran esfuerzo para superar el escepticismo a través de establecer los fundamentos
para el conocimiento en general. El objeto de mi contribución es mostrar la filosofía matemática
moderna como profundamente empotrada en la epistemología general y como solo siendo
entendible en ese contexto». (énfasis de Lakatos5 ).

Introducción
Desde la antigüedad la filosofía ha tenido interés en, por lo menos, ciertos aspectos de la matemática.6 En las
palabras de Miguel de Guzmán: "Pero hay otros aspectos interesantes de la matemática que atraen de modo natural
al filósofo. La dinámica interna del pensamiento matemático, la lógica de su estructura, simple, tersa, sobria, clara,
hacen de ella un modelo de reflexión fiable que suscita el consenso de todos. Los filósofos interesados en aclarar los
misterios del conocimiento humano han visto en el pensamiento matemático un campo ideal de trabajo donde
poner a prueba sus hipótesis y teorías.".7 Mario Bunge va más lejos y llega a sugerir que las matemáticas son no
sólo el fundamento del quehacer científico sino también del filosófico.8

Por mucho de ese tiempo la opinión general era la que Carl Friedrich Gauss resumió: «La matemática es la reina de
las ciencias y la aritmética es la reina de las matemáticas. Ella a menudo se digna a prestar un servicio a la
astronomía y a otras ciencias naturales, pero en todas las relaciones, tiene derecho a la primera fila».9 Esta
preeminencia se debía a una percepción que, últimamente, emana de Platón: "En las matemáticas se halla el origen
y fundamento de la teoría platónica de las formas o ideas. En esta la idealización de los entes matemáticos se
transforma en la idealización de los entes físicos y psíquicos. La verdad matemática, por su invariabilidad en el
tiempo, era el modelo a seguir en todo conocimiento intelectual. El método deductivo, que partiendo de axiomas y
definiciones llegaba a la demostración de teoremas, era el modelo prestigioso de razonamiento para todo saber. En
el diálogo "Menón" Sócrates, a través de preguntas y respuestas, hace que un esclavo alcance por su propio
razonamiento una verdad matemática; así, de una manera popular, expone Platón que las matemáticas están en el
alma humana, ya que en esta se halla presente el logos que gobierna el mundo material mediante las proporciones
aritméticas y geométricas. Sólo se requiere la introspección para volvernos conscientes de ese saber interno.".10

Esa posición es generalmente conocida como realismo; platonismo o realismo platónico y "de manera muy
esquemática, puede sintetizarse en la creencia de que los objetos matemáticos son reales y su existencia es un hecho
objetivo e independiente de nuestro conocimiento de los mismos.... existen fuera del espacio y del tiempo de la
experiencia física y cualquier pregunta significativa sobre ellos tiene una respuesta definida. Así el matemático es,
en este sentido, como un científico empírico que no puede inventar ni construir sino solo descubrir algo que ya
existe.11 Acorde con el físico Paul Davies: "Los científicos no usan las matemáticas simplemente como una forma
conveniente de organizar los datos. Creen que las relaciones matemáticas reflejan aspectos reales del mundo
físico."12

Sin embargo, hacia fines del siglo XIX esta situación comenzó a cambiar, proceso que eventualmente culminó, a
fines del siglo XIX y comienzo del XX, en la llamada crisis de los fundamentos:13 14 15 16 17 18 "La imagen
tradicional de las matemáticas (formal e infalible) fue cuestionada a raíz de la llamada "crisis de los fundamentos de
las matemáticas", que sucedió en el siglo XIX. Dicha "crisis" se originó principalmente por dos descubrimientos:
primero el de las geometrías no euclidianas y, segundo, el de la teoría de los conjuntos."19

Esa situación ha sido resumida de la siguiente manera20

"Hasta bien entrado el siglo XIX, la geometría era universalmente considerada la rama más firme del
conocimiento.... La Geometría era, simplemente, el estudio de las propiedades del espacio. Estas se
manifestaban como verdades objetivas, universalmente válidas para la mente humana.
Durante el siglo XIX sucedieron “varios desastres que iban a cambiar completamente esta situación. El
primero fue el descubrimiento de geometrías no euclídeas, al que inmediatamente siguió otro desastre
mayor: el desarrollo del análisis por caminos contrarios a la intuición geométrica (curvas que llenan el
espacio, funciones continuas no diferenciables, etc.) lo que puso de manifiesto la gran vulnerabilidad del
único fundamento que hasta entonces tenían las Matemáticas: la intuición geométrica. Esto era una
auténtica catástrofe puesto que en algún sentido implicaba la pérdida de la certeza, no solo en la Matemática
sino en todo el conocimiento humano.
Se pensó entonces buscar otra “base segura” para fundamentar las Matemáticas, y así Dedekind y
Weierstrass mostraron como era posible construir el análisis -el continuo- a partir de la Aritmética. Parecía
que todo volvía a estar en orden, pues nadie dudaba de la certeza proporcionada por nuestra intuición de
contar y así los números enteros serían la nueva base segura para todo el edificio matemático... (ver
programa de Hilbert).
Pero el intento de fundamentar rigurosamente la Matemática iba a ser llevado un paso más lejos por Frege,
quien comenzó un ambicioso programa para basar las Matemáticas en la Lógica -a través de la Aritmética.
Este fue el punto de partida de la escuela logicista que más tarde seria continuada por Russell y
Whitehead. La idea logicista consistía en demostrar que la Matemática clásica era parte de la lógica, de
modo que una vez culminado su programa podría asegurarse que la Matemática estaba libre de
contradicción al menos en la misma medida que la propia lógica.
Sin embargo, ya en ese momento se habían hecho descubrimientos que iban a sacudir completamente este
optimismo dejando de nuevo a la Matemática sin fundamentos seguros. En efecto, la construcción del
continuo a partir de la Aritmética se basaba en la Teoría de Conjuntos de Cantor (ver hipótesis del continuo),
que también había sido utilizada por Frege en sus fundamentación de la Aritmética. Pero la teoría de Cantor,
y en particular su hipótesis básica sobre la existencia de conjuntos encerrada en su definición: “un conjunto
es cualquier colección de objetos distintos de nuestra intuición o nuestro pensamiento”, que puede ser
traducida por “cualquier condición determina un conjunto”, iba a revelarse inconsistente."

Esa crisis dio origen a varias tentativas de resolución, lo que, a su vez, dio origen a tres corrientes principales: las
escuelas intuicionista, logicista y formalista21 (esa es la visión general o común, algunos incluyen otras escuelas,
tales como el fenomenalismo de Husserl22 ). Argumentablemente esas tentativas fueron infructuosas23 lo que dio
origen a otras escuelas, tanto derivadas de las anteriores24 como de otras percepciones básicas -por ejemplo, del
empirismo. Sin embargo, y argumentablemente, la situación todavía no se ha resuelto del todo.25 26 27

Problemas
Al respecto de todo lo anterior hay algunas interrogantes fundamentales y sistemáticas tales como:

1. el modo de ser de los objetos matemáticos: acaso estos existen "realmente" e independientemente de
cualquier empleo específico, y si es así, ¿en qué sentido? Y ¿qué significa referirse a un objeto matemático?
¿Cuál es el carácter de los teoremas matemáticos? ¿Cuál es la relación entre la lógica y las matemáticas? -
Aquí se trata de cuestiones ontológicas.
2. el origen del conocimiento matemático: ¿Cuáles son la fuente y la esencia de la verdad matemática? ¿Cuáles
son las condiciones de la ciencia matemática? ¿Cuáles son, en lo fundamental, sus métodos de investigación?
¿Qué papel, en relación a lo anterior, la naturaleza del ser humano? - Aquí se trata de cuestiones
epistemológica.
3. la relación entre las matemáticas y la realidad: ¿Cuál es la relación entre el mundo abstracto de las
matemáticas y el universo material? Tienen las matemáticas sus raíces en la experiencia, y si es así, ¿cómo?
¿Cómo es que las matemáticas ”calzan tan bien con los objetos de la realidad" (Albert Einstein28 )? ¿De qué
manera los conceptos tales como número, punto, infinito etc., adquieren un significado que trasciende el
ámbito estrictamente matemático? William Lane Craig argumentó que la eficacia de las matemáticas en la
naturaleza se explica mejor apelando a la existencia de un Dios.29

El punto de partida es casi siempre la concepción de que las proposiciones matemáticas son ciertas por principio,
de manera atemporal y exacta y que su veracidad no depende ni de evidencias empíricas ni de puntos de vista
personales. La tarea consiste tanto en determinar las condiciones de la posibilidad de adquirir ese conocimiento,
como en cuestionar críticamente este punto de partida.

Corrientes

Artístico
La visión que sostiene que las matemáticas son la combinación estética de suposiciones, y luego también afirma que
las matemáticas son un arte, fue compartida por el matemático británico G. H. Hardy30 y también
metafóricamente por el francés Henri Poincaré.31 Para Hardy, en su libro Apología de un matemático, la
definición de matemáticas se parecía más a la combinación estética de conceptos.32

Platonismo

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,33 34 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.

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 Kurt Gödel.

sus representantes fueron Gödel,35 36 Wigner y Erdös. Entre los filósofos que
han adoptado la posición se cuentan Quine, Dummett37 y Mark Steiner.38 El
realismo39 40 41 es quizás la posición más difundida entre los matemáticos.42

Alrededor de los 1900 tuvo mucha influencia en esa posición el argumento de Frege,43 que 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 Schroedinger, que a pesar
de la perturbadora complejidad del mundo, puedan descubrirse en los fenómenos ciertas regularidades.»44

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, como seres finitos, reconocer los objetos matemáticos y las verdades si éstas se encuentran en las
«esferas celestiales de las ideas». De acuerdo a Gödel, esto se logra mediante la intuición matemática que, de
manera similar a un órgano sensorial, hace que los seres humanos percibamos partes de ese otro mundo. 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 y el conocimiento a priori, entre otros por Laurence Bonjour.45 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.»46 47 Esto
generalmente se conoce como el dilema de Benacerraf48 49 dado que generalmente se interpreta como
estableciendo que debemos abandonar nuestras teorías epistemologías o la certeza matemática.50 51 52

Matematicismo

La hipótesis del universo matemático de Max Tegmark (o matematicismo) va más allá del platonismo al afirmar
que no sólo existen todos los objetos matemáticos, sino que no existe nada más. El único postulado de Tegmark es:
Todas las estructuras que existen matemáticamente también existen físicamente. Es decir, en el sentido de que "en
esos [mundos] lo suficientemente complejos como para contener subestructuras autoconscientes [ellos] se
percibirán subjetivamente a sí mismos como existiendo en un mundo 'real' físicamente".53 54

Aristotelismo

En filosofía de las matemáticas, el realismo aristotélico sostiene que las


matemáticas estudian propiedades como la simetría, la continuidad y el orden
que pueden realizarse literalmente en el mundo físico. Por ejemplo, el número
4 se realiza en la relación entre un montón de loros y el universal "ser un loro"
que divide el montón en tantos loros.55

Aristóteles considera que los objetos matemáticos son, a diferencia de Platón,


abstracciones de objetos y realidades materiales dependientes del mundo físico
y no podían tener realidad aparte de las cosas empíricas. No son o existen per
se, sino en los objetos individuales como seres en potencia. Las matemáticas
carecen de universalidad.56 En la Metafísica, limita a negarse que los objetos
matemáticos sean sustancias, mientras que en las Categorías los llama
sustancias segundas, ya que la categoría de cantidad es posterior a la de
sustancia.57 Las entidades matemáticas son todos los objetos potenciales del Aristóteles.
intelecto que dan una idea de la belleza y un placer intelectual.58

Aristóteles criticó las ideas platónicas afirmando que el verdadero ser se encuentra no en lo universal, sino en lo
individual.59 Este es el origen y la base de un realismo filosófico moderado, que sostiene que los conceptos
universales son realidades en la mente y aunque carecen de existencia independiente, tienen su fundamento en las
cosas existentes.60 Los defensores más conocidos son Alberto Magno y Tomás de Aquino.61 62 La escuela "Sydney
School" adoptó una noción realista neoaristotélica de las matemáticas frente el platonismo y el nominalismo.63 64
También se ha considerado a Nicolai Hartmann65 y Penelope Maddy66 como aristotélicos en sus filosofías sobre
las matemáticas. La aritmética euclidiana desarrollada por John Penn Mayberry en su libro The Foundations of
Mathematics in the Theory of Sets también cae en la tradición realista aristotélica.67

Formalismo

El formalismo matemático entiende las matemáticas como un juego (en el sentido de Wittgenstein68 ) basado en
un cierto conjunto de reglas para manipular cadenas de caracteres: "..el programa del formalismo matemático
consiste en construir la Matemática como un sistema lógico-formal puro, cuya condición fundamental es la
ausencia de contradicción, prescindiendo de todo tipo de contenido; se trata, pues, de un sistema formal vacío. Este
sistema formal estaría integrado por uno o más conjuntos de elementos fundamentales, por relaciones definidas
entre los elementos de estos conjuntos y por proposiciones reguladoras de estas relaciones (proposiciones que
comprenden los axiomas y las demás proposiciones de ellos deducidas: los teoremas).69 Por ejemplo, en el juego
de geometría euclidiana se obtiene el teorema de Pitágoras combinando ciertas cadenas (los axiomas) según
determinadas reglas (las del razonamiento lógico).70 71
David Hilbert es generalmente considerado fundador del formalismo
moderno.72 Su interés era la construcción axiomática consistente y completa
de la totalidad de las matemáticas,73 seleccionando como punto de partida los
números naturales y asumiendo que mediante el uso de axiomas se obvía la
necesidad de definir los objetos básicos (op. cit) con el fin de lograr un sistema
completo y consistente (ver Programa de Hilbert).

En esta visión los enunciados matemáticos pierden el carácter de verdades;


dejan de ser, en última instancia, proposiciones "sobre algo". Lo que importa
son las relaciones que se establecen entre ellos: "Hilbert sostiene que la
verdadera importancia en la construcción de los saberes matemáticos no es el
resultado numérico, sino la ley de cómo estructurar las relaciones entre los
objetos matemáticos.... Las reglas que enlazan funcionalmente los objetos con
su sistema de referencia formarán parte de un Sistema Formalizado
Matemático; en donde, se entiende como formalización a un conjunto de leyes
descubiertas en el seno de su misma estructura, la que mantiene su
consistencia en las demostraciones."74
David Hilbert.
Otro matemático que fue inspirado por el formalismo fue Haskell Curry,
generalmente considerado el fundador de la lógica combinatoria.

A pesar de que esta propuesta fue de corta duración, debido al teorema de incompletitud de Gödel, que demostró
que cualquier sistema de axiomas que incluya los números naturales es ya sea incompleto o contradictorio, llegó, de
facto, a constituir la posición más aceptada entre los matemáticos hasta el último cuarto del siglo XX: "Los años
setenta vieron decaer la tendencia formalista, representada por el grupo Bourbaki, seudónimo de varias
generaciones de matemáticos franceses,"75

Deductivismo

En filosofía de las matemáticas, el deductivismo, o a veces si-entoncismo (del inglés if-thenism), es una variante del
formalismo que propone que el trabajo del matemático consiste en derivar proposiciones a partir de la asunción de
que ciertas otras son correctas (si A, entonces B).76 Tradicionalmente se ha asumido que esas proposiciones
básicas (o axiomas) son o deberían ser indudablemente correctas. Pero eso no es ni necesariamente correcto ni
necesario. No es necesario porque la matemática no necesita fundaciones indudables,77 y no es necesariamente
correcto porque, de hecho, la matemática trabaja perfectamente (especialmente en el área de las matemáticas
aplicadas) sobre la base que los axiomas son presumiblemente correctos y presumiblemente coherentes y que las
inferencias que siguen de esos presumibles axiomas son presumiblemente posibles (en el sentido que se puede
crear un modelo matemático a partir de ellas).78

Los deductivistas requieren que toda y cada prueba matemática sea una deducción. Ellos reconocen que no todas
tales pruebas son estrictamente válidas (véase Validez (epistemología) y Validez (lógica)) pero consideran que toda
prueba informal debe ser completable como deducción para ser considerada válida.79

Por ejemplo, el deductivismo considera que el teorema de Pitágoras no es verdadero sin más, sino solo en relación a
ciertos supuestos. Si a las cadenas se les asignan significados, de tal manera que los axiomas sean verdaderos y
reglas de inferencia sean válidas, entonces se obtienen «conclusiones ciertas», tales como el teorema de Pitágoras.
En este sentido, el formalismo no sigue siendo obligatoriamente un juego simbólico sin sentido. El matemático
puede confiar, en cambio, que existe una interpretación de las cadenas de caracteres sugerida por ejemplo por la
física o por otras ciencias naturales, tal que las reglas conduzcan a «afirmaciones verdaderas». Por lo tanto un
matemático deductivista se puede mantener al margen tanto de la responsabilidad por la interpretación como de
las dificultades ontológicas de los filósofos.
En 1967, Hilary Putnam80 revivió una idea de Bertrand Russell —el «si-entoncismo» (if-thenism81 )— e introdujo
el deductivismo82 como una respuesta a algunos problemas con el logicismo en Principia Mathematica.83
Putnam propone considerar las matemáticas como el estudio de las consecuencias de los axiomas, usando teoría de
modelos. En consecuencia interpreta las proposiciones matemáticas como refiriéndose a un posible modelo para
esas proposiciones. A diferencia de la sugerencia logicista de Russell y otros, el deductivismo basa y transforma la
matemática en una lógica con un sentido mucho más amplio que el sentido logicista. La lógica deductivista incluye,
por ejemplo, la teoría de conjuntos necesaria para estudiar las consecuencias que siguen de axiomas.84 El
logicismo podría ser solo una versión del deductivismo, usando una concepción más restrictiva de la lógica
matemática.79

Según Putnam, si bien la condición de veracidad (o corrección) de esas verdades se satisface (o demuestra)
mostrando que constituyen un modelo de ese conjunto de axiomas (es decir, constituyen un caso ejemplar de tales
axiomas), el de los axiomas solo puede ser asumido,85 y por lo tanto el todo está expuesto a error. «Las
matemáticas pueden estar erradas, y no sólo en el sentido de que las pruebas podrían ser falaces o que los axiomas
podrían no ser (si reflexionamos más profundamente) realmente evidentes. Las matemáticas (o, más bien, una
teoría matemática) podría estar equivocado en el sentido de que los axiomas "evidentes" podrían ser falsos, y los
axiomas que son verdaderos pueden no ser "evidentes" en absoluto. Pero esto no hace que la búsqueda de la verdad
matemática sea imposible más de lo que lo ha hecho en la ciencia empírica, ni tampoco significa que no debemos
confiar en nuestra intuición cuando no tenemos nada mejor para continuar.»82

Convencionalismo

El matemático francés Henri Poincaré fue uno de los primeros en articular una visión convencionalista.86 El uso
de Poincaré de geometrías no euclidianas en su trabajo sobre ecuaciones diferenciales lo convenció de que la
geometría euclidiana no debería considerarse una verdad a priori. Sostuvo que los axiomas en geometría deberían
elegirse por los resultados que producen, no por su aparente coherencia con las intuiciones humanas sobre el
mundo físico.

Intuicionismo

El intuicionismo matemático87 rechaza tanto la sugerencia logicista como la formalista, proponiendo que el
conocimiento matemático se basa en la aprehensión -que antecede cualquier lenguaje o lógica- de algunos
conceptos matemáticos básicos.88 89 Este intuicionismo se origina en la propuesta de L. E. J. Brouwer90 que el
saber matemático se basa en la intuición primordial91 92 de los números naturales ( 1, 2, 3... ). Cada uno de
esos números puede, a partir de la intuición básica del 1, ser "construido" agregando 1 al anterior. (Nótese que esto
introduce un elemento temporal - ver D. Pareja. op. ci).

A partir de lo anterior, el resto de la matemática puede (y debe) ser construida de forma explícita y rigurosa, lo que
requiere un método claro y preciso93 - Solo entidades cuya existencia (positiva o negativa) haya sido demostrada de
tal manera, o por medio de tal método, tienen validez matemática.94 Parafraseando el dicho platonista, se podría
decir que, desde el punto de vista intuicionista, las verdades matemáticas no se descubren, se crean.95

Entre otras consecuencias de lo anterior se encuentra la restricción del principio del tercero excluido:96 97 saber
que una proposición es falsa implica, para los intuicionistas, poder demostrar esa falsedad.98 99 (ver, por ejemplo,
Lógica intuicionista). Sigue que, en un momento dado (por ejemplo, el presente) es perfectamente posible que haya
proposiciones acerca de las cuales no tenemos certeza acerca de si son correctas o no. (nótese que esto introduce,
nuevamente, un elemento temporal en la "verdad" matemática). (Lo anterior no es un rechazo absoluto del
principio. Los intuicionistas lo utilizan en situaciones específicas -por ejemplo, en el caso de conjuntos bien
definidos y finitos. Ver Aritmética de Heyting)95 )
Otras diferencias con lo que se puede considerar matemáticas clásicas se encuentran en la concepción del infinito y
la del continuo. Para los intuicionistas un (cualquier) ente es válido si y solo si puede ser construido por medio de
un procedimiento especificado y con un número finito de pasos o operaciones (este procedimiento puede ser un
algoritmo o algún otro que siga una regla: por ejemplo: arrojar un dado veinte mil veces a fin de generar cualquier
número). Pero ¿cuál procedimiento específico y finito puede generar el infinito? Cualquier procedimiento que
escojamos solo nos dará algún número concreto. Consecuentemente, el infinito intuicionista es solo potencial, a
diferencia del "infinito oficial" que lo concibe como "una totalidad completa y acabada.".100 Si bien esta diferencia
es más bien metafísica (op. cit), argumentablemente sin consecuencias mayores para la práctica matemática, es la
introducción a la diferencia sobre la concepción del continuo, que si tiene tales consecuencias. (op. cit, esp p 108).

El concepto intuicionista del continuo101 rechaza la concepción axiomática clásica (de Cantor y Zermelo, etc ver
Hipótesis del continuo, etc), basada en la teoría de conjuntos y sugiere utilizar una especie de "principio de
elección" (choice principles102 que Brouwer llama "secuencias de elecciones libres"), basado en la intuición que,
entre dos puntos (o números) cualquiera, un matemático puede elegir libremente otro punto o número, y así
indefinidamente: “El continuo lineal no puede ser agotado por la interpolación de nuevas unidades. Y no puede por
lo tanto ser pensado como una mera colección de unidades.”.103 (al respecto de todo esto, ver: "El Error de
Cantor"104 ).

La introducción de secuencias de elecciones tiene varias consecuencias105 difíciles de aceptar para la matemática
no intuicionista.106 Como ejemplos, la demostración intuicionista del teorema de la barra (bar theorema107 ) y el
teorema del abanico (fan theoreme108 ).

Aparte de Arend Heyting, otros matemáticos y lógicos de nota influidos por esta visión incluyen: Hermann Weyl,
quien promovió una visión constructivista de la matemáticas. La aplicación del intuicionismo a la topología por
Alfred Tarski; los trabajos matemáticos de Andréi Kolmogórov y los de Andréi Márkov y los desarrollos de una
lógica intuicionista por Saul Kripke.109

Entre los filósofos que continúan esta tradición encontramos Michael Dummett.110

Logicismo

En filosofía de las matemáticas, el logicismo es la doctrina que sostiene que la


matemática es en algún sentido importante reducible a la lógica,111 o en otras
palabras que las matemáticas son básicamente una extensión de la lógica. Los
logicistas sostienen que las matemáticas se pueden conocer a priori, pero
sugieren que nuestro conocimiento de las matemáticas es solo parte de nuestro
conocimiento de la lógica en general, y por lo tanto es analítico y no requiere
ninguna facultad especial de intuición matemática. Desde este punto de vista,
la lógica es el fundamento adecuado de las matemáticas y todas las
afirmaciones matemáticas son verdades lógicas necesarias.

Rudolf Carnap (1931) presenta la tesis logicista en dos partes:112

1. Los conceptos matemáticos se pueden derivar de conceptos lógicos a


través de definiciones explícitas
2. Los teoremas de las matemáticas se pueden derivar de axiomas lógicos a
través de deducciones puramente lógicas
Bertrand Russell y Alfred North Whitehead fueron partidarios de esta línea de Bertrand Russell.
pensamiento inaugurada por Gottlob Frege. El logicismo fue clave en el
desarrollo de la filosofía analítica en el siglo XX, aunque a veces se alega que los
teoremas de incompletitud de Gödel socavan el propósito del proyecto.

Constructivismo
En filosofía de las matemáticas, el constructivismo o escuela constructivista requiere para la prueba de la existencia
de un objeto matemático, que este pueda ser encontrado o «construido». Para esta escuela no es suficiente la
prueba por contradicción clásica (reducción al absurdo) que consiste en suponer que un objeto X no existe y
partiendo de esta premisa derivar una contradicción. Según los constructivistas tal procedimiento no permite
encontrar el objeto estudiado y en consecuencia su existencia no está realmente probada. La posición opuesta se
denomina platonismo matemático.

Se confunde frecuentemente el constructivismo con el intuicionismo cuando en realidad este último no es sino un
tipo de constructivismo. Para el intuicionismo, las bases fundamentales de las matemáticas se encuentran en lo que
denominan la intuición matemática, haciendo en consecuencia de esta una actividad instrínsecamente subjetiva. El
constructivismo no adopta en general dicha postura y es completamente compatible con la concepción objetiva de
las matemáticas.

Erret Bishop propuso el constructivismo a partir de las sugerencias de Brouwer y Márkov,113 pero modificando
algunas percepciones de los autores mencionados de tal manera que la propuesta constructivista resulta más
restrictiva que las sugerencias de Brouwer y Márkov pero, al mismo tiempo, logra que todos sus teoremas resulten
compatibles tanto con esas sugerencias como con las de la matemática clásica, cosa que no ocurre con las otras
dos.114 Bishop logra esta flexibilidad a través de no definir lo que llama "rutinas finitas" (algoritmos) que
constituyen el proceso de demostración. Si bien esto parece introducir una cierta falta de precisión, fuerza a quienes
practican esta aproximación a utilizar estrictamente la lógica intuicionista. Parece ser que utilizar tal lógica equivale
a practicar matemática algorítmica formal. Si eso fuera el caso, la aproximación intuicionista podría ser
implementada en relación a cualquier objeto matemático, no solo esa clase especial de «objetos constructivos».115

El constructivismo critica el formalismo llevado hasta el extremo por el grupo de matemáticos llamado Nicolas
Bourbaki, admite la sucesión de los números naturales, mas no el conjunto de los naturales, cuestionan la lógica en
que se fundamenta la matemática de Bourbaki y proclama la tercera opción respecto del principio del tercero
excluido (a más de p y ~p, cabe otra salida).116

Finitismo

En filosofía de las matemáticas, el finitismo es una forma extrema de


constructivismo, de acuerdo a la cual un objeto matemático no existe a menos
que sea construido partiendo de los números naturales en un número de pasos
finitos. En contraste, la mayoría de constructivistas admiten un conjunto de
pasos infinito numerable. El defensor más famoso del finitismo fue Leopold
Kronecker, que dijo: "Dios creó los números naturales; el resto es obra del
hombre."117 Aunque la mayoría de los constructivistas modernos tienen un
punto de vista más laxo, se puede buscar el origen del constructivismo en el
trabajo de Kronecker sobre el finitismo.

Reuben Goodstein es otro exponente del finitismo. Parte de su trabajo


implicaba construir el análisis partiendo de fundamentos finitistas. Aunque lo
negase, gran parte de los escritos matemáticos de Ludwig Wittgenstein tiene
una gran afinidad con el finitismo.

Incluso más estricto que el finitismo es el ultrafinitismo (también conocido


como ultraintuicionismo), asociado principalmente con Alexander Esenin- Leopold Kronecker.
Volpin. Rechaza no solo los infinitos, sino también las cantidades finitas que no
pueden construirse de manera factible con los recursos disponibles. Otra
variante del finitismo es la aritmética euclidiana, un sistema desarrollado por John Penn Mayberry en su libro The
Foundations of Mathematics in the Theory of Sets.118 El sistema de Mayberry es aristotélico en general de
inspiración y, a pesar de su fuerte rechazo a cualquier papel del operacionalismo o la viabilidad en los fundamentos
de las matemáticas, llega a conclusiones algo similares, como, por ejemplo, que la superexponenciación no es una
función finitaria legítima.
Estructuralismo

En filosofía de las matemáticas, el estructuralismo considera las matemáticas principalmente como una ciencia que
se ocupa de las estructuras generales, es decir, las relaciones de los elementos dentro de un sistema.

Según Stewart Shapiro, «El estructuralismo matemático es similar, en algunos aspectos, al punto de vista
funcionalista en, por ejemplo, la filosofía de la mente. Una definición funcional es, en efecto, estructural, ya que,
también se centra en las relaciones que los elementos definidos tienen el uno al otro. La diferencia es que las
estructuras matemáticas son más abstractos, y autónomas, en el sentido de que no hay restricciones sobre el tipo de
cosas que pueden ejemplificar.»119 120

Para ilustrar lo anterior, considérese un «sistema ejemplo» tal como la administración de un club deportivo.121 Los
distintos cargos (presidente, auditor, tesorero, etc.) son independientes de las personas que asumen esas tareas.
Considerando sólo el esquema de los cargos (y por tanto «omitiendo» las personas reales que trabajan en ellos), se
obtiene la estructura general de una asociación. El club en sí, con las personas que han tomado posesión de los
cargos, ejemplifica esta estructura.

Del mismo modo, cualquier sistema cuyos elementos tengan un sucesor único ejemplifica la estructura de los
números naturales. Lo mismo se aplica a otros objetos matemáticos. Puesto que el estructuralismo no considera los
objetos, tales como números, de manera separada de su totalidad o estructura, sino que más bien los considera
como "espacios en una estructura", esquiva la cuestión de la existencia de los objetos matemáticos y los explica
como errores categoriales. Así, por ejemplo, el número dos, en tanto número natural, ya no se puede considerar en
forma separada de la estructura de los números naturales, sino como el identificador del «segundo lugar en la
estructura de los números naturales»: no tiene propiedades internas ni una estructura propia. En consecuencia,
existen tanto variantes del estructuralismo que asumen la existencia de los objetos matemáticos, como otras que
rechazan su existencia122

Los problemas con esta corriente surgen principalmente de la cuestión de las propiedades y el ser de las
estructuras.123 Al igual que en el problema de los universales es aparente que las «estructuras» son algo que puede
aplicarse a muchos sistemas simultáneamente. Por ejemplo, la estructura de un equipo de fútbol es ciertamente
ejemplificado por miles de equipos. Esto plantea la cuestión de si y cómo las estructuras existen, si acaso existen
independientes de los sistemas. Otras cuestiones pendientes están relacionadas con el acceso a las estructuras y la
de ¿cómo podemos aprender acerca de ellas?

Entre los representantes actuales del estructuralismo se cuentan Stewart Shapiro,120 Michael Resnik,124 Geoffrey
Hellman125 y Paul Benacerraf.

Ficcionalismo

En filosofía de las matemáticas, el ficcionalismo considera que las proposiciones y teorías matemáticas pretenden
ser sobre objetos matemáticos abstractos, como sugiere el platonismo, pero no existen cosas tales como objetos
abstractos, y por lo tanto las teorías matemáticas no son ciertas.126

Se planteó en 1980 cuando Hartry Field publicó Science Without Numbers, que rechazó y de hecho revirtió el
argumento de indispensabilidad, donde Quine sugirió que las matemáticas eran indispensables para nuestras
mejores teorías científicas y por lo tanto se deberían aceptar como un cuerpo de verdades que hablan de entidades
independientes existentes. En cambio, Field sugirió que las matemáticas son prescindibles y por lo tanto se
deberían considerar como un cuerpo de falsedades que no hablan de nada real.127

Empirismo
El empirismo matemático128 puede trazarse a la obra Un sistema de lógica de
John Stuart Mill al afirmar que las matemáticas son "ciencia empírica de
validez más general".129 Para Mill, los conceptos matemáticos proceden del
mundo físico y las verdades de la matemática son verdades acerca del mundo
físico, aunque de un carácter más general. Las verdades matemáticas serían las
verdades más generales de todas (Dummett 1998, pp. 125-126). Mill propuso
que los principios matemáticos y las conclusiones de la ciencia deductiva (como
la geometría, aritmética, álgebra...) son inductivas. Los axiomas se basan en la
observación y en generalizaciones a partir de experiencias repetidas. Por
ejemplo, 2 + 2 y 3 + 1 son necesariamente iguales porque un grupo de 4 cosas
puede disponerse en dos grupos de 2 cosas y en un grupo de 3 cosas y otro de 1.
Mill anticipa que este punto de vista "debe esperarse la recepción más
desfavorable".130 Gottlob Frege reprendió muchas de las ideas de Mill sobre la
filosofía de las matemáticas en su obra Los fundamentos de la aritmética.131

A pesar de que la sugerencia de Mill no despertó gran interés entre John Stuart Mill.
matemáticos (P Kitcher: "el problema que muchas de sus formulaciones son
imprecisas (casi invitando las bien conocidas ironías de Frege) y, en adición,
Mill solo considera las más rudimentarias partes de la matemáticas"132 ), la idea básica fue eventualmente
retomada por dos autores: Stephan Körner133 y László Kalmár.134 Para Körner, "las teorías científicas integradas
en la matemática funcionan y están justificadas, junto con su marco de trabajo matemático como constituyentes
sincategoremáticos135 de las proposiciones empíricas ". Para Kalmar "los axiomas de cualquier rama interesante
de las matemáticas fueron originalmente extraídos, más o menos directamente, de los hechos empíricos, y las
reglas de inferencia utilizadas en ella originalmente manifestaron su validez universal en nuestra práctica del
pensamiento; III) la consistencia de la mayoría de nuestros sistemas formales es un hecho empírico, (y) aun cuando
se ha demostrado, la aceptabilidad de los métodos metamatemáticos utilizados en la prueba (por ejemplo inducción
transfinita hasta cierto ordinal constructivo) es de nuevo un hecho empírico.".136

Esta visión ha sido expandida por, entre otros, Philip Kitcher, quien busca sistematizarla;137 Carl E. Behrens, quien
sugiere que "Al rehabilitar el empirismo de John Stuart Mill y combinarlo con el conocimiento cada vez mayor de la
naturaleza de la mente humana, podemos escapar del indefinible universo platónico de la conciencia inmaterial y
abandonar la vana búsqueda por la certidumbre que ha plagado la filosofía desde los tiempos de los griegos.138

Cuasi-empirismo

El término cuasi-empirismo fue introducido por Imre Lakatos139 a fin de enfatizar un punto crucial de su
sugerencia: "Una teoría euclidiana puede ser proclamada verdadera. Una teoría cuasi-empírica puede —a lo más—
ser bien corroborada, pero es siempre conjetural. Adicionalmente, en una teoría Euclidiana los postulados
verdaderos básicos en "la cumbre" del sistema deductivo (generalmente llamados 'axiomas') demuestran, por así
decirlo, el resto del sistema; en una teoría cuasi-empírica los postulados básicos (verdaderos) son explicados por
el resto del sistema." (op cit, sección 2).

"El cuasi-empirismo postula que para entender y explicar las matemáticas no basta con analizar su estructura
lógica ni su lenguaje sino que hay que estudiar su práctica real, la manera en que efectivamente las aplican los
matemáticos, las enseñan los profesores y las aprenden los estudiantes, su historia, las revoluciones que ocurren en
ellas, los paradigmas y los programas que dominan, las comunidades de matemáticos, el tipo de retórica que se
emplea en ellas y el papel que juega el conocimiento matemático en las distintas sociedades y culturas."140

El cuasi empirismo de Lakatos: Lakatos plantea que la supuesta necesidad lógica (o verdad a priori) de las
matemáticas deriva de que nos hemos olvidado, no conocemos, o no valoramos adecuadamente el proceso de
pruebas y refutaciones informales, siempre falibles, por medio del cual se llega a las pruebas formales que
después dan lugar a las axiomatizaciones. Lakatos propone que: 1) las pruebas formales son falseables por
medio de las pruebas informales; 2) el proceder de las matemáticas no es axiomático, como plantean los
formalistas, sino basado en una sucesión de pruebas y refutaciones que sólo llegan a resultados falibles; 3) el
intento de proveer de fundamentos a las matemáticas conlleva un retroceso al infinito; 4) la historia de las
matemáticas debe ser estudiada no a través de teorías aisladas sino de series de teorías o, mejor aún, de
programas de investigación que incluyen un núcleo firme no falseable y un cinturón protector de hipótesis
auxiliares que sí son falseables, pero que son modificables;10 5) debemos preferir no el programa matemático
que esté completamente axiomatizado sino el que sea progresivo, esto es, el que permita descubrir hechos
nuevos e inesperados.140
El cuasi empirismo de Putman: Hilary Putnam parte de las tesis quineanas acerca del holismo de las teorías
y la naturalización de la epistemología, pero también, como su maestro Reichenbach, del impacto de la física
moderna en nuestra concepción de la ciencia y de la realidad. En las matemáticas, según Putnam, hay un
juego entre postulación, pruebas informales o cuasi-empíricas y revolución conceptual. Putnam reconoce que
las matemáticas no son ciencias experimentales y que son más a priori que, por ejemplo, la física, sin embargo
señala que la distinción entre lo a priori y lo a posteriori es más bien relativa: que algo sea a priori significa,
simplemente, que juega un papel fundamental en nuestra concepción del mundo o en nuestra forma de vida y
que, por tanto, no estamos dispuestos a renunciar a ello. Concretamente, la teoría de conjuntos es
indispensable para la física[cita requerida], por ello, las entidades sobre las cuales cuantifica, a saber, los
conjuntos, deben ser considerados como reales, pues no se puede aceptar el conocimiento que proporciona la
física sin aceptar dichas entidades o, mejor dicho, al aceptar el conocimiento de la física, ya se ha aceptado,
implícitamente, la teoría de conjuntos. Así, las matemáticas comparten el contenido empírico con las teorías
físicas de las que forman parte y se modifican junto con ellas.

Psicologismo

El psicologismo en la filosofía de las matemáticas es la posición en la que los conceptos y / o verdades matemáticos
se basan en hechos (o leyes) psicológicos o se derivan de ellos o se explican por ellos. John Stuart Mill parece haber
sido un defensor de un tipo de psicologismo lógico, al igual que muchos lógicos alemanes del siglo XIX como
Christoph Sigwart y Johann Eduard Erdmann, así como una serie de psicólogos, por ejemplo, Gustave Le Bon.141

Gottlob Frege criticó el psicologismo en sus Los fundamentos de la aritmética y en muchas de sus obras y ensayos,
incluida su revisión de la Filosofía de la aritmética de Husserl. Edmund Husserl, en el primer volumen de sus
Investigaciones lógicas, llamado "Prolegómenos a la lógica pura", criticó a fondo el psicologismo y buscó
distanciarse de él. El psicologismo también fue criticado por Charles Sanders Peirce y Maurice Merleau-Ponty. No
obstante, modernas revisiones han acusado a las críticas de Frege y Husserl de cometer peticiones de principio,
además de criticar las opiniones de ambos sobre la naturaleza de las leyes lógicas, especialmente que sean
necesarias y únicas, ya examinados en los artículos de Quine, quien pidió un famoso regreso al psicologismo.141

Véase también
Filosofía analítica
Filosofía de la ciencia
Fundamentos de la matemática
Historia de la matemática
Principia mathematica
Logicomix

Referencias
curso de los animales, carácter natural."(ver D.
1. Natura es la traducción latina de la palabra griega Harper: Nature (http://www.etymonline.com/index.ph
physis (φύσις), que en su significado original hacía p?term=nature)
referencia a la forma innata en la que crecen
2. Horsten, Leon, Philosophy of Mathematics (http://plat
espontáneamente plantas y animales. (ver D. Harper
Physical (http://www.etymonline.com/index.php?term o.stanford.edu/archives/sum2012/entries/philosophy-
=physical)). En Idioma alemán el término mathematics/), The Stanford Encyclopedia of
"naturaleza" proviene de naturist, que significa "el
Philosophy (Summer 2012 Edition), Edward N. Zalta estadounidense). Consultado el 21 de agosto de
(ed.) 2020.
3. «Jeremy Avigad» (http://www.andrew.cmu.edu/user/a 13. JAVIER DE LORENZO: "La matemática: de sus
vigad/). Consultado el 4 de abril de 2017. fundamentos y crisis"- Tecnos, Madrid
4. Bertrand Russell: Introduction to Mathematical 14. «SIGLO XX: CRISIS EN LOS FUNDAMENTOS» (htt
Philosophy (http://people.umass.edu/klement/russell- p://catedu.es/matematicas_mundo/HISTORIA/histori
imp.html) chap 1 a_XX_Fundamentos.htm). Consultado el 4 de abril
5. I Lakatos: “Infinite regress and foundations of de 2017.
mathematics” en Mathematics, science and 15. JOSÉ M. FERREIRÓS: The Crisis in the
epistemology Cambridge U Press, 1978, p. 4 Foundations of Mathematics (http://personal.us.es/jo
6. Por ejemplo: Iván Pedro Guevara V (2008): "La sef/pcmCrisis.pdf) (en Princeton Companion to
filosofía ha considerado siempre la matemática Mathematics Proof)
como uno de los objetos principales de sus 16. «A Timeline for the Foundational Crisis and the
investigaciones,.. " en LA FILOSOFIA DE LA Vienna Circle» (https://web.archive.org/web/2016030
MATEMATICA: LA RAZON DE SER DEL NUMERO 4141442/http://www.jamieyorkpress.com/wp-content/
(http://www.tuobra.unam.mx/vistaObra.html?obra=25 uploads/2012/04/Timeline-for-the-Foundational-Crisis
14).- Diego Fusaro: "Siempre hay una relación -and-the-Vienna-Circle1.pdf). Archivado desde el
inseparable entre la matemática y la filosofía.." en IL original (http://www.jamieyorkpress.com/wp-content/
RAPPORTO FILOSOFIA - MATEMATICA (http://ww uploads/2012/04/Timeline-for-the-Foundational-Crisis
w.filosofico.net/filos52.htm) (en italiano en el original) -and-the-Vienna-Circle1.pdf) el 4 de marzo de 2016.
7. M de Guzmán: Filosofía y matemáticas (http://www. Consultado el 4 de abril de 2017.
mat.ucm.es/catedramdeguzman/old/05edumat/reme 17. Herman Weyl On the New Foundational Crisis in
diosfracasouniv/laboratorio99/tercera%20parte/encicl Mathematics (http://philpapers.org/rec/WEYOTN)
anayahtm/02matyfil.htm) Archivado (https://web.archi 18. Mario O. González (1950):
ve.org/web/20150402121308/http://www.mat.ucm.es/ [http://www.filosofia.org/hem/dep/rcf/n06p025.htm La
catedramdeguzman/old/05edumat/remediosfracasou crisis actual de los fundamentos de la Matemática]
niv/laboratorio99/tercera%20parte/enciclanayahtm/0 19. Eduardo Harada O (2005): El cuasi empirismo en la
2matyfil.htm) el 2 de abril de 2015 en la Wayback filosofía de las matemáticas (http://redalyc.uaemex.
Machine.
mx/pdf/294/29405903.pdf)
8. Adianez Fernández Bermúdez: Una visión de la 20. José Luis Gómez Pardo: “Observaciones sobre la
ciencia y su relación con la ética, en Mario Bunge (ht naturaleza de la Matemática”, en Luis Puelles et al
tp://www.eumed.net/libros-gratis/2011e/1067/vision_c (Wenceslao J. González edt) (1988): Aspectos
iencia.html) Metodológicos de la Investigación Científica: Un
9. R Gauss: frases célebres de o sobre Carl Friedrich Enfoque Multidisciplinar (http://books.google.es/book
Gauss. s?id=z-J62MTB5XYC&printsec=frontcover&source=g
10. ««El sentido de las matemáticas en la filosofía de bs_ge_summary_r&cad=0#v=onepage&q&f=false) p
Platón»» (https://web.archive.org/web/201305110624 125- 156:
34/http://www.gobiernodecanarias.org/educacion/3/U 21. Encyclopedia Britanica: [1] (http://www.britannica.co
srn/fundoro/web_fcohc/002_proyectos/bachillerato/fil m/EBchecked/topic/369237/philosophy-of-mathemati
osofia/platon_01.html). Archivado desde el original (h cs/259818/Logicism-intuitionism-and-formalism)
ttp://www.gobiernodecanarias.org/educacion/3/Usrn/f 22. Por ejemplo: Ulrich Majer (2004): Husserl Between
undoro/web_fcohc/002_proyectos/bachillerato/filosofi Frege’s Logicism And Hilbert’s Formalism (https://we
a/platon_01.html) el 11 de mayo de 2013. b.archive.org/web/20100704201935/http://thebalticye
Consultado el 4 de abril de 2017. arbook.org/journals/baltic/article/view/128)
11. José Luis Gómez Pardo: “Observaciones sobre la 23. Ernst Snapper (1979); The Three Crisis in
naturaleza de la Matemática”, en Luis Puelles et al Mathematics: Logicism, formalism and Intuitionism (h
(Wenceslao J. González edt) (1988): Aspectos ttp://www2.gsu.edu/~matgtc/three%20crises%20in%
Metodológicos de la Investigación Científica: Un 20mathematics.pdf) Archivado (https://web.archive.o
Enfoque Multidisciplinar (http://books.google.es/book rg/web/20120815055019/http://www2.gsu.edu/~matg
s?id=z-J62MTB5XYC&printsec=frontcover&source=g tc/three%20crises%20in%20mathematics.pdf) el 15
bs_ge_summary_r&cad=0#v=onepage&q&f=false) p de agosto de 2012 en la Wayback Machine.
127
24. Lindström, S.; Palmgren, E.; Segerberg, K.;
12. Davies, Paul. «Is nature mathematical?» (https://ww Stoltenberg-Hansen, V. (Eds.) (2009): Logicism,
w.newscientist.com/article/mg13318134-400-is-natur Intuitionism, and Formalism: What Has Become of
e-mathematical/). New Scientist (en inglés Them? (http://www.springer.com/mathematics/book/9
78-1-4020-8925-1)
25. Ferran Mir Sabaté (2006): Las discusiones estudio de los objetos físicos ordinarios, cuerpos
posteriores sobre la filosofía matemática (la astronómicos y partículas subatómicas entre otros.
metamatemática) ilustrarán las distintas Esto es, la matemática trata acerca de esos objetos,
concepciones de la disciplina. Durante los años 20s y es el modo en que tales objetos son lo que hace a
se desarrollará un profundo debate sobre las bases los enunciados de la matemática verdaderos o
de las matemáticas que, a pesar de su cierre falsos.»
aparente, sigue vigente en nuestros días. en LA 34. Internet Enciclopedia of Philosophy: Mathematical
POLEMICA INTUICIONISMO FORMALISMO EN Platonism (http://www.iep.utm.edu/mathplat/)
LOS AÑOS 20. (http://www.filosofia.net/materiales/p «Cualquiera explicación metafísica de las
df23/CDM35.pdf) Cuaderno de Materiales. Num. 23 matemáticas que implica que las entidades
(2011). ISSN 1139-4382. Pàginas 557-574. matemáticas existen, que son abstractos, y que son
26. Por ejemplo: Edward Nelson (2006): Warning Signs independientes de todas nuestras actividades
of a Possible Collapse of Contemporary Mathematics racionales.»
(https://web.math.princeton.edu/~nelson/papers/war 35. K Gödel: “Los conceptos tienen una existencia
n.pdf) objetiva” en My philosophical viewpoint (https://web.a
27. Por ejemplo: Alex Levine: Conjoining Mathematical rchive.org/web/20120911135341/http://cs.nyu.edu/ka
Empiricism with Mathematical Realism: Maddy's ndathi/goedel_viewpoint.html)
Account of Set Perception Revisited (http://www.jstor. 36. Guillerma Díaz Muñoz (2000): Aproximación del
org/stable/20118604) en Synthese.- Vol. 145, No. 3 realismo matemático de Gödel al realismo
(Jul., 2005), pp. 425-448 constructivo de Zubiri (http://www.zubiri.org/general/x
28. Véase: Guillermo Mattei Irrazonable eficacia de la zreview/2000/pdf/guillerma2000.pdf)
matemática (http://www.fcen.uba.ar/fotovideo/EXm/N 37. Michael Dummett (1998): La existencia de los
otasEXm45/exm45mate.pdf) - ver también Eugene objetos matemáticos. (http://sammelpunkt.philo.at:80
Paul Wigner: The Unreasonable Effectiveness of 80/1269/)Archivado (https://web.archive.org/web/201
Mathematics in the Natural Sciences (http://www.dart 50402162819/http://sammelpunkt.philo.at:8080/126
mouth.edu/~matc/MathDrama/reading/Wigner.html) 9/) el 2 de abril de 2015 en la Wayback Machine.
29. Teorema, XVII (2). pp. 5-24.
A. Si Dios no A. If God did not 38. Mark Steiner (1983): "Mi intención es argumentar a
existiera, la exist, the favor de la realidad de ciertas entidades
aplicabilidad de applicability of matemáticas" en Mathematical Realism (http://www.j
las matemáticas mathematics stor.org/stable/2215255) Noûs Vol. 17, No. 3 (Sep.,
sería solo una would be just a 1983), pp. 363-385
feliz happy
coincidencia. coincidence. 39. Luke Jerzykiewicz (2007) "La gran mayoría de los
B. La B. The realistas de hoy en día, incluyendo el propio Stewart
aplicabilidad de applicability of Shapiro, sostienen que las entidades matemáticas (o
las matemáticas mathematics is estructuras) son abstractas y a-causal. 'Realismo',
no es solo una not just a happy de hecho, viene a ser casi sinónimo de 'platonismo'.
feliz coincidence. en Platonist epistemology and cognition (http://www.
coincidencia. C. Therefore,
C. Por lo tanto, God exists. petemandik.com/blog/wp-content/uploads/pms_wips-
Dios existe. 014-jerzykiewicz.pdf)Archivado (https://web.archive.o
William Lane Craig rg/web/20150402141021/http://www.petemandik.co
m/blog/wp-content/uploads/pms_wips-014-jerzykiewi
Véase en: Argumento teleológico cz.pdf) el 2 de abril de 2015 en la Wayback Machine.
30. https://www.goodreads.com/work/quotes/1486751-a- p1
mathematician-s-apology 40. Para una visión general de esta posición, ver
31. https://www.brainyquote.com/quotes/henri_poincare_208086 Penelope Maddy (1992) Realism in Mathematics (htt
p://books.google.es/books/about/Realism_in_Mathe
32. S, F. (January 1941). «A Mathematician's Apology». matics.html?id=5-8LVP00OJcC&redir_esc=y)
Nature 147 (3714): 3-5. doi:10.1038/147003a0 (https://dx.d
oi.org/10.1038%2F147003a0).
41. Haim Gaifman: On Ontology and Realism in
Mathematics (http://www.columbia.edu/~hg17/On%2
33. P Maddy, citada por Luis Miguel Ángel Cano P 0Ontology%20and%20Realism%20in%20Mathemati
(2003) en Frege y la nueva lógica. (https://web.archiv cs-12-04-final.pdf)Archivado (https://web.archive.org/
e.org/web/20100209055147/http://www.tuobra.unam. web/20140421110113/http://www.columbia.edu/~hg1
mx/publicadas/040315180338-Frege.html) «El 7/On%20Ontology%20and%20Realism%20in%20M
realismo, por tanto, es el punto de vista que sostiene athematics-12-04-final.pdf) el 21 de abril de 2014 en
que la matemática es la ciencia de los números, la Wayback Machine.
conjuntos, funciones, etc., tal y como la física es el
42. De acuerdo a Davis y Hersh (ver la Experiencia Philosophy, Vol. 70 (1973), el filósofo Paul
matemática “el matemático profesional típico es un Benacerraf argumentó que las explicaciones anti-
platonista durante la semana y un formalista en el platónicas de las matemáticas deprivan los
Domingo” (ver Realismo platónico), lo que enunciados matemáticos de su verdad objetiva en el
generalmente se interpreta como significando que la sentido cotidiano popular, es decir, de la idea de que
mayoría de los matemático se comportan como si las verdades matemáticas son verdaderas piense
aceptaran que los objetos matemáticos y sus alguien en ellas o no. La verdad objetiva es una
relaciones fueran objetivos, independientes de propiedad de las matemáticas que para la mayoría
nuestra voluntad o subjetividad, pero si se les de nosotros es obvia, pero explicaciones anti-
demanda una justificación de su posición, adoptan el platónicas hacen las matemáticas subjetivas
formalismo (ver más abajo) (aunque el argumento de Benacerraf se dirige al
43. «The Fregean Argument for Object Platonism» (htt convencionalismo y al formalismo, no creo que las
p://www.iep.utm.edu/mathplat/#SH2a). Consultado el tentativas del intuicionismo se libren nada mejor". en
4 de abril de 2017. Mathematical Knowledge: A Dilemma (http://philosop
hynow.org/issues/81/Mathematical_Knowledge_A_Di
44. Wigner, Eugene (2004). La irrazonable eficacia de la lemma).
matemática en las ciencias naturales (https://www.u-
cursos.cl/escverano/2006/3/269/1/material_docente/ 52. GREGORY LAVERS (2009): "El sentido común
bajar%3Fid_material%3D118053). (traducción: P. respecto a la verdad y la forma sintáctica de los
Crespo). p. 3. enunciados matemáticos nos lleva a concluir que los
enunciados matemáticos se refieren a objetos
45. L Bonjour: In Defense of Pure Reason. (London: abstractos. Al mismo tiempo, ese sentido común, en
Cambridge University Press, 1998) Entrada en relación a la epistemología, parece implicar que los
Wikipedia inglesa acerca de Bonjour enunciados matemáticos no pueden referirse a
46. Paul Benacerraf (1973) Mathematical Truth (http://tha objetos abstractos" (en BENACERRAF’S DILEMMA
tmarcusfamily.org/philosophy/Course_Websites/Rea AND INFORMAL MATHEMATICS (http://philosophy.c
dings/Benacerraf%20-%20Mathematical%20Truth.pd oncordia.ca/facultyandstaff/faculty/documents/benac
f) erraf.pdf)) y "Según Benacerraf, cualquier
47. IEP; The Indispensability Argument in the Philosophy explicación de la verdad matemática debe satisfacer
of Mathematics (http://www.iep.utm.edu/indimath/) dos requisitos básicos: erigirse sobre la base de una
48. W. D. Hart (1991): Benacerraf's Dilemma (http://ww semántica y de una epistemología paralelas a las
w.jstor.org/stable/40104655) usuales en el discurso no matemático. La semántica
49. Bob Hale and Crispin Wright Benacerraf's Dilemma usual es necesaria para que los términos de los
Revisited (http://www.st-andrews.ac.uk/arche/papers/ enunciados matemáticos se refieran a entidades
Benacerraf's%20Dilemma.pdf)Archivado (https://we reales, si tales enunciados han de ser verdaderos,
b.archive.org/web/20140421104937/http://www.st-an como suponemos en nuestro usos lingüísticos
drews.ac.uk/arche/papers/Benacerraf's%20Dilemma. habituales. La epistemología se necesita para que la
pdf) el 21 de abril de 2014 en la Wayback Machine. verdad de los enunciados matemáticos presuponga
algún conocimiento de las entidades referidas por
50. Eleonora Cresto (2002): "Benacerraf nos ofrece allí los términos enunciados, como suponemos en
un dilema, moldeado sobre la dicotomía entre nuestro discurso habitual.... prosigue Benacerraf, en
platonismo y constructivismo: el primero nos permite general las explicaciones disponibles de la verdad
entender como es que los enunciados matemáticos matemática no logran satisfacer ambos requisitos,
son verdaderos, pero no como es que los sino más bien alguno de ellas a expensas del otro.".
conocemos, el segundo explica el conocimiento Francisco Rodriguez C: Lo que es y no es la verdad
matemático, pero no la verdad." en Comentarios a matemática (http://dspace.usc.es/bitstream/10347/12
"La filosofía de la matemática del segundo 56/3/pg_01-06_ag23-2.pdf)
Wittgenstein: El problema de la objetividad de la
prueba matemática (https://docs.google.com/viewer? 53. Tegmark, Max (February 2008). «The Mathematical
a=v&q=cache:kZavPPuv150J:www.accionfilosofica.c Universe». Foundations of Physics 38 (2): 101-150.
Bibcode:2008FoPh...38..101T (http://adsabs.harvard.edu/abs/2
om/misc/1117326643jrnDoc.doc+dilema+de+Benace
008FoPh...38..101T). arXiv:0704.0646 (https://arxiv.org/abs/070
rraf&hl=en&gl=es&pid=bl&srcid=ADGEESifJuQfnBm
4.0646). doi:10.1007/s10701-007-9186-9 (https://dx.doi.org/10.
NMsNqCuhyMC0w7rlGAS4VVvBTcYr_WZqMJP4nc
1007%2Fs10701-007-9186-9).
6LZELczqQuXIJPhCL_1R9rfOhi6-zeZSKIQy4em5N
Yd7X_9T9mSt3xOBtBrQrfX75wemrKacu7Al5BjBxCn 54. Tegmark, Max (November 1998). «Is "the Theory of
HuIW&sig=AHIEtbSPyWUNtbI7noFlobowxHsJuxto3 Everything" Merely the Ultimate Ensemble Theory?».
Q) Annals of Physics 270 (1): 1-51.
Bibcode:1998AnPhy.270....1T (http://adsabs.harvard.edu/abs/1
51. Rui Vieira (2010): "Sin embargo, en un importante
998AnPhy.270....1T). arXiv:gr-qc/9704009 (https://arxiv.org/abs/
artículo, "Mathematical Truth", en el Journal of
gr-qc/9704009). doi:10.1006/aphy.1998.5855 (https://dx.doi.org/
10.1006%2Faphy.1998.5855). Parámetro desconocido 1Qya55bssVQC&pg=PA276&lpg=PA276&dq=Neoari
|s2cid= ignorado (ayuda) stotelianism+Mathematics&source=bl&ots=xLmcrsEs
55. Franklin, James (2014), "An Aristotelian Realist Sw&sig=ACfU3U1-GOeTCr277TtqfOBWdPs5cMmAr
Philosophy of Mathematics (https://archive.today/201 g&hl=es&sa=X&ved=2ahUKEwilts2z__3nAhUSTBoK
40223115523/http://us.macmillan.com/anaristotelianr HciYCxoQ6AEwAnoECAkQAQ#v=snippet&q=aristot
ealistphilosophyofmathematics/JamesFranklin)", elian&f=false) (en inglés). Walter de Gruyter.
Palgrave Macmillan, Basingstoke; Franklin, James ISBN 978-3-11-025418-1. Consultado el 3 de marzo de
(2011), "Aristotelianism in the philosophy of 2020.
mathematics (http://www.maths.unsw.edu.au/~jim/stu 66. Park, Woosuk (12 de julio de 2018). Philosophy's
dianeoaristotelica.pdf)," Studia Neoaristotelica 8, 3- Loss of Logic to Mathematics: An Inadequately
15. Understood Take-Over (https://books.google.es/book
56. Martí Sánchez, Miguel; Martí Sánchez, Miguel s?id=nPBjDwAAQBAJ&pg=PA225&lpg=PA225&dq=
(2017-6). «La filosofía de las matemáticas de Neoaristotelianism+Mathematics&source=bl&ots=98
Aristóteles» (http://www.scielo.org.mx/scielo.php?scri 4ot2E2C7&sig=ACfU3U1OjM1fqvIRcXAXPS4jomaIf5
pt=sci_arttext&pid=S0188-66492017000100043). ATWw&hl=es&sa=X&ved=2ahUKEwilts2z__3nAhUS
Tópicos (México) (52): 43-66. ISSN 0188-6649 (https://iss TBoKHciYCxoQ6AEwB3oECAgQAQ#v=snippet&q=
n.org/resource/issn/0188-6649). doi:10.21555/top.v0i52.784 (ht aristotelianism&f=false) (en inglés). Springer. p. 166.
tps://dx.doi.org/10.21555%2Ftop.v0i52.784). Consultado el ISBN 978-3-319-95147-8. Consultado el 3 de marzo de
15 de julio de 2019. 2020.
57. Copleston, Frederick. HISTORIA DE LA FILOSOFIA 67. Tait, W. & Mayberry, J.. (2002). The Foundations of
I (http://cienciayreligion.org/articulos/pdfs/copleston.p Mathematics in the Theory of Sets. (https://www.rese
df). LIBER. p. 269. archgate.net/publication/274912600_The_Foundatio
ns_of_Mathematics_in_the_Theory_of_Sets) The
58. Humphreys, Justin. «Aristotle» (https://www.iep.utm.
Bulletin of Symbolic Logic. 8. 424. 10.2307/3062207.
edu/aristotl/). Internet Encyclopedia of Philosophy.
68. Para una profundización, ver, por ejemplo Douglas
59. «El problema de los universales» (http://www.filosofi
Patterson: "Introducción" en New Essays on Tarski
a.net/materiales/sofiafilia/hf/soff_em_12.html).
and Philosophy (http://www.oxfordscholarship.com/vi
www.filosofia.net. Seminario de Filosofía INBAD,
ew/10.1093/acprof:oso/9780199296309.001.0001/ac
Servicio de Publicaciones del MEC, Madrid, 1985.
prof-9780199296309-chapter-1?rskey=AdapBo&resu
Consultado el 17 de octubre de 2019.
lt=6&q=Vienna%20Circle); P. M. S Hacker: "On
60. García Buitrago, Néstor. SI YO FUERA MAESTRO Carnap's Elimination of Metaphysics" en
(https://web.archive.org/web/20120309202437/http Wittgenstein: Connections and Controversies (http://
s://www.abramoscomillas.org/numeradas%20pdf/Libr www.oxfordscholarship.com/view/10.1093/01992456
oPag.%20401.pdf). p. 401. 9X.001.0001/acprof-9780199245697-chapter-12?rsk
61. «Nominalismo, Realismo, Conceptualismo - ey=8hszxc&result=4&q=Vienna%20Circle), etc
Enciclopedia Católica» (https://ec.aciprensa.com/wik 69. «Formalismo, I. Filosofía» (http://www.canalsocial.ne
i/Nominalismo,_Realismo,_Conceptualismo#Realism t/ger/ficha_GER.asp?id=5736&cat=filosofia).
o_exagerado). ec.aciprensa.com. Consultado el 19
70. Para una introducción general, ver Ángel Ruiz Z 26.3
de agosto de 2019.
El formalismo (https://web.archive.org/web/20090414
62. «Realismo - Encyclopaedia Herder» (https://encyclop 021153/http://www.cimm.ucr.ac.cr/aruiz/libros/Histori
aedia.herdereditorial.com/wiki/Realismo). a%20y%20Filosofia/Parte7/Cap26/Parte03_26.htm)
encyclopaedia.herdereditorial.com. Consultado el 4 (en Historia y filosofía de las matemáticas (http://ww
de noviembre de 2019. w.angelruizz.com/))
63. «Aristotle | Internet Encyclopedia of Philosophy» (htt 71. Jean-Paul Collette (1993): Historia de las
ps://www.iep.utm.edu/aristotl/). www.iep.utm.edu. matemáticas, volumen 2, Volume 2 (http://books.goo
Consultado el 3 de marzo de 2020. gle.es/books?id=ZHg3e7n7iagC&dq=formalismo+ma
64. Franklin, James (2011). Studia Neoaristotelica, ed. tematico&source=gbs_navlinks_s) p 577 y sig
An Aristotelian Realist Philosophy of Mathematics (ht 72. Diego Pareja H (2008): "el concepto moderno de
tps://www.researchgate.net/publication/273986913_ formalismo que incluye las técnicas del
Aristotelianism_in_the_Philosophy_of_Mathematics). razonamiento finitista debemos atribuirlo a Hilbert y a
UNSW Sydney: Palgrave Macmillan UK. ISBN 978-1- sus discípulos." en 5. 8 – David Hilbert y el
349-48618-2. doi:10.5840/studneoar2011811 (https://dx.doi.org/ formalismo. (http://www.matematicasyfilosofiaenelaul
10.5840%2Fstudneoar2011811). Consultado el 3 de a.info/Epistemologia%202009/David%20HIlbert%20
marzo de 2020. y%20el%20Formalismo.pdf) Razonamientos finistas
65. Poli, Roberto; Scognamiglio, Carlo; Tremblay, son aquellos "razonamientos absolutamente seguros
Frederic (27 de octubre de 2011). The Philosophy of y libres de cualquier clase de sospecha" (ibid)
Nicolai Hartmann (https://books.google.es/books?id=
73. Ferran Mir S (2006): "La conocida intervención de 77. H Putnam: "no creo que haya una crisis en las
David Hilbert (1862-1943) en el Congreso fundaciones de las matemáticas. En realidad, no
Internacional de Paris de 1900, en la que planteo los creo que la matemática ya sea tiene o necesita
23 problemas matemáticos a resolver durante el "fundaciones" en "Mathematics without foundations"
siglo XX, iba mucho más allá de la mera relación de 78. H Putnam: "Porque nuestra convicción intuitiva que
dichos problemas. La convicción claramente ciertos tipos de estructuras finitas podrían (énfasis
expresada por Hilbert de que todo problema ha de de Putnam) existir juegan un papel esencial en la
tener su solución basada en la pura razón [6, Pags. aplicación de las matemáticas. Es una parte, y una
125 y ss.]: "En las matemáticas no existe el parte importante, de la pintura matemática total que
ignorabimus". Un año antes, Hilbert había publicado ciertos conjuntos de axiomas son asumidos como
su Grundlagen der Geometrie, en el que establecía representando estructuras presumiblemente
los axiomas a partir de los cuales podía posibles. .... Así hay cuestiones que que
desarrollarse, mediante pura deducción, toda la permanecen irreduciblemente un asunto de la
disciplina en todas sus variantes, tanto euclideas filosofía de las matemáticas por sobre la "filosofía de
como no euclideas. Mediante este ideal axiomático la lógica": el asunto de iluminar y clarificar nuestra
podía construir un raciocinio sobre objetos que no aceptación de estructuras matemáticas como
necesitaba definir; al contrario de Euclides que había "presumiblemente posibles", o de conjuntos de
precisado de una definición (intuitiva) de los objetos axiomas matemáticos como "presumiblemente
básicos (punto, línea, plano, etc.). El hecho de consistentes..." The Thesis that Mathematics is
prescindir de las definiciones de los objetos básicos, Logic, conclusión (p 41-42)
hace que se le haya reprochado la reducción de las 79. Keith Hossack (1991): Access to Mathematical
matemáticas al estudio de las simples relaciones Objects (http://files.meetup.com/1148978/mathobject
entre objetos abstractos: un puro juego con s1.pdf).-Crítica: Revista Hispanoamericana de
símbolos. La combinación del ideal axiomático con la Filosofía.- Vol XXIII, N 68 (Agosto 1991) 157- 181
convicción de que todo problema debe tener
solución, conducirá en los años sucesivos a la idea 80. Hilary Putnam (1967: A) The Thesis that
de completud del sistema axiomático. En los Mathematics is Logic. (http://books.google.es/books?
primeros años del siglo XX, esta idea es todavía id=GKYQizoRIU8C&pg=PA12&lpg=PA12&dq=Putna
vaga [13, P·g. 151], pero esta claro que Hilbert m+%2B+%22The+Thesis+that+Mathematics+is+Log
considera que desde un reducido grupo de axiomas ic.”&source=bl&ots=BHCIzfZIdc&sig=FNGNX7E1N3t
pueden derivarse la totalidad de los teoremas 1CmqTigO2oW20lPE&hl=en&sa=X&ei=YBTFUPDgA
aceptados en las matemáticas ordinarias. También vSq0AXT64DIAg&ved=0CC8Q6AEwAQ#v=onepage
esta presente la idea de simplicidad: el conjunto de &q=Putnam%20%2B%20%22The%20Thesis%20tha
axiomas ha de ser lo más reducido posible y deben t%20Mathematics%20is%20Logic.”&f=false) y B)
ser independientes unos de otros." en LA Mathematics without foundations (http://thatmarcusfa
POLEMICA INTUICIONISMO FORMALISMO EN mily.org/philosophy/Course_Websites/Math_S08/Rea
LOS AÑOS 20. (https://web.archive.org/web/201207 dings/Putnam_MWF.pdf). El énfasis en la fecha es
31191214/http://personal.telefonica.terra.es/web/mir/f relevante. La posición de Putnam experimento
erran/PTE20.pdf) cambios. Ver Russell Marcus (2006): E Pluribus
Putnams Unum (http://www.thatmarcusfamily.org/phil
74. Pedro Angulo L (2010): EPISTEMOLOGÍA DE LA osophy/Papers/Putnams.pdf)
MATEMÁTICA. CASO: FORMALISMO (http://www.xi
ng.com/net/mathe/didactica-536990/formalismo-mat 81. Hilary Putnam (1967): Philosophical Papers: Volume
ematico-y-epistemologia-parte-1-34552535) 1, Mathematics, Matter and Method (http://books.goo
gle.es/books?id=GKYQizoRIU8C&printsec=frontcove
75. Aroca, José Manuel El progreso de la matemática en r#v=onepage&q&f=false) “The Thesis that
los últimos 25 años (http://www.investigacionycienci Mathematics is logic” p 20 “(3) ‘If-thenism’ as a
a.es/investigacion-y-ciencia/numeros/2001/10/el-pro philosophy of mathematics”
greso-de-la-matemtica-en-los-ltimos-25-aos-6688)
82. Hilary Putnam (1967): The Thesis that Mathematics
76. Ian J. Dove: En su forma más simple el deductivismo
is Logic. (http://books.google.es/books?id=GKYQizo
es la visión que la matemática consiste enteramente RIU8C&pg=PA12&lpg=PA12&dq=Putnam+%2B+%2
de la derivación de teoremas a partir de axiomas. Es 2The+Thesis+that+Mathematics+is+Logic.”&source=
esa visión las únicas verdades en matemáticas son bl&ots=BHCIzfZIdc&sig=FNGNX7E1N3t1CmqTigO2
verdades condicionales de la forma Si (axioma); oW20lPE&hl=en&sa=X&ei=YBTFUPDgAvSq0AXT64
Entonces (teoremas)." en Certainty and Error in DIAg&ved=0CC8Q6AEwAQ#v=onepage&q=Putna
Mathematics: Deductivism and the Claims of m%20%2B%20%22The%20Thesis%20that%20Math
Mathematical Fallibilism (http://scholarship.rice.edu/b ematics%20is%20Logic.”&f=false)
itstream/handle/1911/18625/3122466.PDF?sequenc
e=1), p 5 83. Russell Marcus (2006): Pluribus Putnams Unum (htt
p://www.thatmarcusfamily.org/philosophy/Papers/Put
nams.pdfE) (enlace roto disponible en Internet Archive; 89. Carlos Torres A: "El intuicionismo fue la respuesta de
véase el historial (https://web.archive.org/web/*/http://www.that Brouwer al logicismo de Russell, a la matemática no
marcusfamily.org/philosophy/Papers/Putnams.pdfE), la constructiva y a las paradojas, y se apoya en tres
primera versión (https://web.archive.org/web/1/http://www.that tesis radicales: i) los objetos matemáticos se
marcusfamily.org/philosophy/Papers/Putnams.pdfE) y la última construyen directamente en la intuición pura, siendo
(https://web.archive.org/web/2/http://www.thatmarcusfamily.or por ello previos al lenguaje y a la lógica; ii) las leyes
g/philosophy/Papers/Putnams.pdfE)). p 6 que rigen el comportamiento de dichos objetos
84. Russell Marcus (2006): E Pluribus Putnams Unum (h derivan de su construcción, no de la lógica, como
ttp://www.thatmarcusfamily.org/philosophy/Papers/Pu pretenden Frege, Russell y los logicistas 33 y iii) en
tnams.pdf) p 6 la matemática no es admisible ninguna teoría que
85. Ian J. Dove: "A través de evitar el asunto de la rebase el marco de lo dable en la intuición, como
verdad de los axiomas y teoremas, el deductivismo sostienen Hilbert y los cantorianos." en KANT VISTO
es capaz de evitar el problema de la epistemología DESDE LAS MATEMÁTICAS (http://www.revista.una
de las matemáticas y lo reemplaza con el de la m.mx/vol.6/num1/art06/ene_art6.pdf) revista unam
epistemología de la lógica... el deductivismo es anti- vol.6/num 1 (2005) sección “ El intuicionismo de
realista o, por lo menos, neutral en relación a la Brouwer”, pp 15-19
existencia de objetos abstractos. " en Certainty and 90. L. E. J. Brouwer (1913): INTUITIONISM AND
Error in Mathematics: Deductivism and the Claims of FORMALISM (https://web.archive.org/web/20130320
Mathematical Fallibilism (http://scholarship.rice.edu/b 054331/http://www.math.uga.edu/~schang/math/form
itstream/handle/1911/18625/3122466.PDF?sequenc al.pdf) Bull. Amer. Math. Soc. 20 (2): 81–96. MR
e=1), p 5 1559427.
86. Heinzmann, Gerhard; Stump, David (2017). Zalta, 91. DIEGO PAREJA HEREDIA: "Para los intuicionistas
Edward N., ed. Henri Poincaré (https://plato.stanford. las bases de las matemáticas estaban en la
edu/archives/win2017/entries/poincare/) (Winter explicación del origen, o la esencia de los números
2017 edición). The Stanford Encyclopedia of naturales 1, 2, 3,... Para la filosofía intuicionista, todo
Philosophy. Consultado el 26 de agosto de 2020. ser humano tiene una intuición congénita en relación
87. Iemhoff, Rosalie, Intuitionism in the Philosophy of con los números naturales. Esto significa en primer
Mathematics (http://plato.stanford.edu/entries/intuitio lugar que tenemos una certeza inmediata de lo que
nism/), The Stanford Encyclopedia of Philosophy significamos con el número “1”, y en segundo lugar,
(Fall 2012 Edition), Edward N. Zalta (ed.), que el proceso mental que originó el numero 1
forthcoming URL = puede repetirse. La repetición de este proceso,
induce la creación del número 2, una nueva
<http://plato.stanford.edu/archives/fall2012/entries/intuitionism/>
repetición y aparece el número 3. En esta forma, el
88. van Atten, Mark: "Sobre la base de su filosofía de la ser humano puede construir cualquier segmento
mente, en la que Kant y Schopenhauer fueron las inicial 1, 2, 3,..., n, donde n es un natural arbitrario.
principales influencias, Brouwer caracteriza Esta construcción mental de un número natural tras
principalmente las matemáticas como la libre de otro, nunca podría darse, si no tuviéramos dentro
actividad del pensamiento exacto, una actividad que de nosotros, una preconcepción del tiempo. Cuando
se basa en la intuición pura del tiempo (interior). afirmamos 2 va después de 1, el término “después”
Ningún reino independiente de los objetos y el tiene una connotación de tiempo, y en ese aspecto
lenguaje juegan algún papel fundamental. De este Brouwer se adhiere al filósofo Immanuel Kant (1724-
modo se esforzó por evitar la Escila del platonismo 1804) para quien la mente humana tiene una
(con sus problemas epistemológico) y el Caribdis del apreciación inmediata de la noción de tiempo. Kant
formalismo (con su pobreza de contenido). Dado usó la palabra “intuición” para “apreciación
que, en vista de Brouwer, no hay factor determinante inmediata”, y es de allí de donde proviene el término
de la verdad matemática fuera de la actividad de “intuicionismo”. " en 5.7 – Brouwer, Heyting y el
pensar, una proposición sólo se hace realidad Intuicionismo. (http://www.matematicasyfilosofiaenel
cuando el sujeto ha experimentado su verdad (por aula.info/Epistemologia%202009/Brouwer,Heyting%
haber llevado a cabo una construcción mental
20y%20el%20Intuicionismo.pdf)
apropiado), de manera similar, una proposición sólo
es falsa cuando el sujeto ha experimentado su 92. La "intuición" a la que se hace referencia tiene un
falsedad (por darse cuenta de que una construcción sentido más bien especializado: Miguel Espinoza:
mental apropiado no es posible). Por lo tanto "Se supone que un conocimiento intuitivo no ocurre
Brouwer puede afirmar que "no hay verdades sin en etapas, no es gradual como una inferencia, como
experiencia" (Brouwer, 1975, p.488)." en 3. Brief el conocimiento que presupone el lenguaje, como la
Characterization of Brouwer's Intuitionism" en aplicación de un algoritmo. Digo "se supone" porque
Luitzen Egbertus Jan Brouwer (http://plato.stanford.e la inmidiatez podría ser una ilusión. Que la
du/entries/brouwer/#Bri) conciencia sea incapaz de seguir los diferentes
pasos del cerebro no significa que biológicamente a/30/07%20espinoza.pdf) (Thémata, Nro 30) p 111
haya también inmediatez. La rapidez de un -112 y 103-106
ordenador no implica intuición. A veces en 101. Esta concepción se basa, de acuerdo a Angela
matemáticas se entiende también por intuición las Patricia Valencia Salas; Angela Patricia Franco Urián
operaciones de calculo o lo que llega a entenderse en "el uso de la noción del tiempo como base
fácilmente. En la intuición, lo aprehendido y la primordial de su elaboración del continuo. El tiempo
operación de la mente forman un solo proceso, es el único elemento “a priori” del continuo. Este se
tienen una sola forma, por eso no se plantea el basa en lo que Brouwer denomina “intuición
problema de la verdad-adecuacion. Para primordial o primigenia”, que consiste en la
preguntarnos si lo que pensamos corresponde o no capacidad de conciencia de la relación entre antes-
a algo externo al pensamiento, es necesario que el después, pasado-presente, como unidad de lo
intelecto y la cosa estén separados. Esto no ocurre continuo y lo discreto, la posibilidad de pensar a la
en la intuición. Es entonces la falta de distinción vez en singularidades unidas por un "entre" que
sujeto-objeto, la inmediatez atribuida a la intuición nunca se agota por inserción de nuevas
que ha dado a los intuicionistas la confianza en este singularidades, por tanto es imposible tomar alguno
modo de conocimiento. Toda inferencia debe estar de ellos como autosuficiente construir el otro a partir
basada finalmente en verdades intuitivas", en de ahí. Zalamea (2001) menciona que uno de los
Intuicionismo y objetividad (http://institucional.us.es/r rasgos que caracteriza la idea de un continuo
evistas/themata/30/07%20espinoza.pdf) p 101-102 sintético es la Genericidad, que refiere a lo no
93. J. BARRIO GUTIÉRREZ: "Intuicionismo matemático. particularizante, a la iniciación de un gran espacio de
Una de las corrientes matemáticas de más posibilidades no actualizadas ni determinadas y esto
fecundidad en el momento actual es el llamado se observa en Brouwer tomando como base su
Intuicionismo matemático. En oposición al Intuición Primigenia." en SOBRE UNA
formalismo de Hilbert (v.), fue creado por L. Brouwer CONSTRUCCIÒN ALTERNATIVA AL CONTINUO
(v.) sobre la base de anteriores ideas defendidas por DE CANTOR: EL CONTINUO INTUICIONISTA (htt
L. Kronecker. La tesis fundamental de este p://matematicas.uis.edu.co/ccm2011/HTML/ARCHIV
i(ntuicionismo) es la afirmación de que la Matemática OS%20MEMORIAS/EDUCACION/AngelaValencia.p
(v.) está constituida exclusivamente por un conjunto df) Archivado (https://web.archive.org/web/20160305
de entes construidos intuitivamente por el 051450/http://matematicas.uis.edu.co/ccm2011/HTM
matemático, sobre los que se seguirán construyendo L/ARCHIVOS%20MEMORIAS/EDUCACION/Angela
otros mediante un sistema operacional claro, preciso Valencia.pdf) el 5 de marzo de 2016 en la Wayback
y fecundo." en INTUICIONISMO (http://mercaba.org/ Machine.
Rialp/I/intuicionismo.htm) 102. ver: Abraham Adolf Fraenkel, Yehoshua Bar-Hillel,
94. De acuerdo a Brouwer "un ente solo existe si puede Azriel Lévy (1973): Foundations of set theory (http://b
ser construido a partir de la intuición primordial".- ooks.google.es/books?id=ah2bwOwc06MC&printsec
Brouwer, citado por Espinoza en Intuicionismo y =frontcover#v=onepage&q&f=false) p 259
objetividad (http://institucional.us.es/revistas/themat 103. L. E. J. Brouwer, citado por D. P HEREDIA 5.7 –
a/30/07%20espinoza.pdf) p 110. Brouwer, Heyting y el Intuicionismo. (http://www.mate
95. Dick de Jongh: Intuicionismo (http://staff.science.uva. maticasyfilosofiaenelaula.info/Epistemologia%20200
nl/~dickdj/intsalamanca1.pdf) 9/Brouwer,Heyting%20y%20el%20Intuicionismo.pdf)
96. Ferran Mir Sabaté (2006): LA POLEMICA 104. Michel Bordeau: El Error de Cantor en Jorge
INTUICIONISMO FORMALISMO EN LOS AÑOS 20. Martínez Contreras, Aura Ponce de León, Luis
El Principio de Tercio Excluso (https://web.archive.or Villoro: El saber filosófico (http://books.google.es/boo
g/web/20120731191214/http://personal.telefonica.terr ks?id=PL9dBmodfS4C&printsec=frontcover#v=onep
a.es/web/mir/ferran/PTE20.pdf). age&q&f=false) esp pp 396- 405
97. A. N. Kolmogorov: "On the principle of excluded 105. Para profundizar estas, ver: Abraham Adolf
middle", pp. 414–437. Fraenkel, Yehoshua Bar-Hillel, Azriel Lévy (1973):
98. ver Jorge Alberto Molina (2008): Negación y Doble Foundations of set theory (http://books.google.es/bo
Negación en el Intuicionismo de Brouwer (http://ww oks?id=ah2bwOwc06MC&printsec=frontcover#v=one
w.oquenosfazpensar.com/adm/uploads/artigo/negaci page&q&f=false) pp 252-264: "The Primordial
on_y_doble_negacion_en_el_intuicionismo_de_brou intution of integer: Choice sequences and Brouwer's
wer/23_Negacion_y_doble_negacion.pdf) concept of set
99. SEP: 2.2 Intuitionism (http://plato.stanford.edu/entrie 106. van Atten, Mark: "Los teoremas fundamentales del
s/philosophy-mathematics/#Int) análisis intuicionista - el teorema de la barra, el
00. Ver Miguel Espinoza (2003): Intuicionismo y teorema del abanico, y el teorema de la continuidad -
Objetividad (http://institucional.us.es/revistas/themat se encuentran en "Sobre los dominios de definición
de las funciones" (Brouwer, 1927). Los dos primeros
son teoremas estructurales sobre los diferenciales, y in Benacerraf and Putnam (1964). Reprinted, pp. 41–
el tercero (que no debe confundirse con el principio 52 in Benacerraf and Putnam (1983).
de continuidad para las secuencias de elección) 113. Bishop, E. (1967): Foundations of Constructive
establece que cada función total [0,1] → ℝ es Analysis, New York: McGraw-Hill (http://books.googl
continua e incluso uniformemente continua. El e.es/books/about/Foundations_of_constructive_anal
teorema del abanico es, de hecho, un corolario del ysis.html?hl=es&id=Z7I-AAAAIAAJ) (ver Revisión del
teorema de la barra; combinado con el principio de libro (http://projecteuclid.org/DPubS?service=UI&ver
continuidad, que no es válido clásicamente, produce sion=1.0&verb=Display&handle=euclid.bams/118353
el teorema de continuidad, que tampoco es 1480) (ambos en inglés)
clásicamente válido. Los teoremas de las barras y el 114. Gustavo Fernandez D: "SEMINARIO DE LOGICA Y
abanico son, por otro lado, clásicamente válido, FILOSOFIA DE LA CIENCIA I, página 101:
aunque las pruebas clásicas y intuicionista para ellos Desarrollos posteriores de intuicionismo y
no son intercambiables. Las pruebas clásicas no son constructivismo (http://www.scribd.com/doc/4972518
“intuicionisticamente” aceptable debido a la manera 6/13/Desarrollos-posteriores-de-intuicionismo-y-cons
en que depender de PEM, las pruebas intuicionistas tructivismo)
no son clásicamente aceptables porque dependen
de la reflexión sobre la estructura de las pruebas 115. Bridges, Douglas, punto 3.3: Bishop's Constructive
mentales. En esta reflexión, Brouwer introdujo la Mathematics en Constructive Mathematics (http://plat
noción de la forma de una prueba con "análisis o.stanford.edu/archives/fall2012/entries/mathematics
completo" o "canónica", que sería adoptada más -constructive/), The Stanford Encyclopedia of
tarde por Martin-Löf y por Dummett. En una nota al Philosophy (Fall 2012 Edition), Edward N. Zalta (ed.)
pie, Brouwer menciona que tales pruebas, que él 116. Roger Apéry (1984). «Matemática constructiva».
identifica con los objetos mentales en la mente del Pensar La Matemática – Seminario de Filosofía y
sujeto, suelen ser infinitas." en 4. Brouwer's Matemática de la Ecole Normale Supériure de París.
Development of Intuitionism (http://plato.stanford.ed dirigido por J. Diedonné, M. Loi, y R. Thomm.
u/entries/brouwer/#Bro) en Luitzen Egbertus Jan Barcelona: Éditions du Seuil. ISBN 8472236145.
Brouwer (http://plato.stanford.edu/entries/brouwer/#B 117. From an 1886 lecture at the 'Berliner Naturforscher-
ri) Versammlung', according to H. M. Weber's memorial
07. Win Veldman: "Some applications of Brouwers article, as quoted and translated in Gonzalez
Thesis on Bars, en One Hundred Years of Cabillon, Julio (3 de febrero de 2000). «FOM: What
Intuitionism (1907-2007): The Cerisy Conference (htt were Kronecker's f.o.m.?» (http://www.cs.nyu.edu/pip
p://books.google.es/books?id=foM-BLI6TKgC&pg=P ermail/fom/2000-February/003820.html). Consultado
A330&lpg=PA330&dq=%22bar+theorem%22&source el 19 de julio de 2008. Gonzalez gives as the
=bl&ots=EZXnM9wIGf&sig=_qoF39q-92ToPoKIWq8 sources for the memorial article, the following:
Wy4Za1Ss&hl=en&sa=X&ei=f_7QUNJsjanQBY6Kgd Weber, H: "Leopold Kronecker", Jahresberichte der
AK&ved=0CFUQ6AEwBg#v=onepage&q=%22bar% Deutschen Mathematiker Vereinigung, vol ii (1893),
20theorem%22&f=false) pp 326 y sig (esp p 330) pp. 5-31. Cf. page 19. See also Mathematische
08. THIERRY COQUAND (2003): About Brouwer's fan Annalen vol. xliii (1893), pp. 1-25.
theorem (http://www.cairn.info/revue-internationale-d 118. Mayberry, J.P. (2001). The Foundations of
e-philosophie-2004-4-page-483.htm) Mathematics in the Theory of Sets. Cambridge
09. Para una visión mas profunda de estos desarrollos, University Press.
ver A.G. Dragalin (originator) Intuitionism (http://ww 119. Stewart Shapiro, en Mathematical Structuralism (htt
w.encyclopediaofmath.org/index.php?title=Intuitionis p://www.iep.utm.edu/m-struct/) en "Internet
m&oldid=18352). en Encyclopedia of Mathematics. Encyclopedia of Philosophy (IEP) 2010
10. ver Gustavo Fernández D: Desarrollos posteriores 120. Stewart Shapiro (1997) Philosophy of Mathematics:
de intuicionismo y constructivismo (http://www.scribd. Structure and Ontology (http://philpapers.org/rec/SH
com/doc/49725186/13/Desarrollos-posteriores-de-int APOM-4)
uicionismo-y-constructivismo) p 102 y sig 121. Stewart Shapiro, „Thinking About Mathematics“,
11. Horsten, Leon. «Philosophy of Mathematics» (http://p Oxford 2000, S. 263
lato.stanford.edu/archives/fall2008/entries/philosophy 122. Para una introducción a este aspecto, ver
-mathematics/). En Edward N. Zalta, ed. Stanford STRUCTURALISM, MATHEMATICAL (http://www.tc.
Encyclopedia of Philosophy (en inglés) (Fall 2008 umn.edu/~hellm001/Publications/StructuralismMathe
Edition). matical.pdf) Ver también Julian C. Cole (2010):
12. Carnap, Rudolf (1931), "Die logizistische Mathematical Structuralism Today (https://web.archiv
Grundlegung der Mathematik", Erkenntnis 2, 91-121. e.org/web/20100630170226/http://www.buffalostate.e
Republished, "The Logicist Foundations of du/philosophy/documents/Mathematical%20Structur
Mathematics", E. Putnam and G.J. Massey (trans.), alism%20Today.pdf)
23. Por ejemplo: Uri Nodelman - Edward N. Zalta.: ntsec=frontcover#v=onepage&q&f=false), p 4
Foundations for Mathematical Structuralism (http://m (introducción)
ally.stanford.edu/Papers/structuralism.pdf) 133. S. Körner, (1965): "An Empiricist Justification of
24. Por ejemplo: Michael D. Resnik (2004): Structuralism Mathematics", en Yehoshua Bar-Hillel (ed.), "Logic,
and the Independence of Mathematics (http://philpap Methodology and Philosophy of Science".-
ers.org/rec/RESSAT) Amsterdam: North Holland, 1965, pp. 222-227.
25. Por ejemplo: G. Hellman (1996): Structuralism (cuentas de "International Congress of Logic,
without structures (http://philpapers.org/rec/GEOSW Methodology and Philosophy of Science" 1964)
S) 134. L Kalmár (1967): "Foundations of mathematics -
26. Balaguer, Mark (2018). Zalta, Edward N., ed. The Whither now?" en I. Lakatos (ed.). "Problems in the
Stanford Encyclopedia of Philosophy (https://plato.st Philosophy of Mathematics" Amsterdam: North-
anford.edu/archives/fall2018/entries/fictionalism-mat Holland, 1967, pp. 192-193. (Proceedings of the
hematics/) (Fall 2018 edición). Metaphysics Colloquium in the Philosophy of Science, London,
Research Lab, Stanford University. Consultado el 9 1965.)
de julio de 2019. 135. En la lógica escolástica, un término
27. Quezada, Wilfredo; Quezada, Wilfredo (2017-10). sincategoremático (sincategorema) es una palabra
«Filosofía de las matemáticas, teoría de cardinales que no puede servir como el sujeto o el predicado de
grandes y sus bases cognitivas» (https://scielo.conic una proposición, y por lo tanto no puede representar
yt.cl/scielo.php?script=sci_abstract&pid=S0718-4360 a ninguna de las categorías de Aristóteles, pero se
2017000100281&lng=es&nrm=iso&tlng=es). Revista puede utilizar con otros términos para formar una
de filosofía 73: 281-297. ISSN 0718-4360 (https://issn.org/r proposición. Palabras como 'todo', 'y', 'si' son
esource/issn/0718-4360). doi:10.4067/S0718- ejemplos de tales términos. Ver Syncategorematic
43602017000100281 (https://dx.doi.org/10.4067%2FS0718-436 term
02017000100281). Consultado el 9 de julio de 2019. 136. Patrick Peccatte (1998): Quasi-empiricism and anti-
28. Para una visión general del empirismo matemático, foundationalism (http://www.cs.nyu.edu/pipermail/fo
ver David Bostock (2009): "Empiricism in the m/1998-September/002097.html)
Philosophy of Mathematics" en D. M. Gabbay; P. 137. P Kitcher (1983) The Nature of Mathematical
Thagard; J. Woods (edtrs): Philosophy of Knowledge (http://philpapers.org/rec/KITTNO)
Mathematics (http://books.google.es/books?id=mbn3 (Oxford University Press)
5b2ghgkC&printsec=frontcover#v=onepage&q&f=fals 138. C. E. Behrens (2012): Empiricism: An Environment
e) p 157- 230 for Humanist Mathematics (http://scholarship.clarem
29. J. S. Mill: "La matemática es la ciencia empírica de ont.edu/cgi/viewcontent.cgi?article=1027&context=jh
validez más general.".- citado por Mario A. Natiello m&sei-redir=1&referer=http%3A%2F%2Fwww.googl
en Los fundamentos de la matemática y los e.es%2Furl%3Fsa%3Dt%26rct%3Dj%26q%3Dmath
teoremas de Gödel (http://www.maths.lth.se/matemat ematical%2520empiricism%26source%3Dweb%26c
iklth/personal/mario/talks/godel.pdf) Archivado (http d%3D18%26ved%3D0CFsQFjAHOAo%26url%3Dhtt
s://web.archive.org/web/20101011010912/http://ww p%253A%252F%252Fscholarship.claremont.edu%2
w.maths.lth.se/matematiklth/personal/mario/talks/god 52Fcgi%252Fviewcontent.cgi%253Farticle%253D10
el.pdf) el 11 de octubre de 2010 en la Wayback 27%2526context%253Djhm%26ei%3DJze5UPH8Mc
Machine..- Véase también J. S. Mill: System of logic OR0QX83IGYAQ%26usg%3DAFQjCNHExZvTlMK6
(http://books.google.es/books?id=z4MEAAAAQAAJ& 97_UksO8ok1DxghtWg%26sig2%3DRxdEeOsDTca6
q=mathematics#v=snippet&q=mathematics&f=false) MKTbnHvRew#)
("El sistema de la lógica"), vol 2, libro III, cap XXIV, 139. I. Lakatos (1976): A Renaissance of Empiricism in
punto 4, p 162, etc the Recent Philosophy of Mathematics (http://www.e
30. «IV.3. JOHN STUART MILL» (http://bibliotecadigital.il duneg.net/generaciondeteoria/files/Lakatos%20197
ce.edu.mx/sites/ciencia/volumen3/ciencia3/161/html/ 6%20A%20renaissance%20of%20empiricism%20i
sec_29.html). bibliotecadigital.ilce.edu.mx. n%20the%20recent%20philosophy%20of%20mathe
Consultado el 18 de agosto de 2018. matics.pdf) Archivado (https://web.archive.org/web/2
31. The foundations of arithmetic; a logico-mathematical 0160822030413/http://www.eduneg.net/generaciond
enquiry into the concept of number (https://www.worl eteoria/files/Lakatos%201976%20A%20renaissanc
dcat.org/oclc/650) (2nd edición). Evanston, Illinois: e%20of%20empiricism%20in%20the%20recent%20
Northwestern University Press. 1980. philosophy%20of%20mathematics.pdf) el 22 de
ISBN 0810106051. OCLC 650 (https://www.worldcat.org/oclc/6 agosto de 2016 en la Wayback Machine.
50). 140. Eduardo Harada O (2005): El cuasi-empirismo en la
32. P Kitcher: The Nature of Mathematical Knowledge (h filosofía de las matemáticas (http://redalyc.uaemex.
ttp://books.google.es/books?id=N9hrBRxnzRAC&pri mx/pdf/294/29405903.pdf) p 18
41. Kusch, Martin (2020). Zalta, Edward N., ed. The Stanford Encyclopedia of Philosophy.
Psychologism (https://plato.stanford.edu/archives/spr Consultado el 26 de agosto de 2020.
2020/entries/psychologism/) (Spring 2020 edición).

Bibliografía
Cañón L; Camino (1993): La matemática: creación y descubrimiento (http://books.google.es/books?id=g1p8yp
QJAyUC&printsec=frontcover#v=onepage&q&f=false)
Collette; Jean-Paul (1993): Historia de las matemáticas, volumen 2 (http://books.google.es/books?id=ZHg3e7n
7iagC&dq=formalismo+matematico&source=gbs_navlinks_s)
Davis; Philip J. y Hersh; Reuben (1981): Experiencia matemática (Introducción general no técnica)
Dummett, Michael (1998), "The Philosophy of Mathematics" en Grayling, A. C. (ed.)Philosophy 2: Further
Through The Subject, Oxford University Press, 1998.
Gabbay;D. M.- Thagard; P.- Woods; J. (edts): Philosophy of Mathematics (http://books.google.es/books?id=mb
n35b2ghgkC&printsec=frontcover#v=onepage&q&f=false)
George; Alexander - Velleman; Daniel (2001) Philosophies of Mathematics (https://www.amazon.com/Philosoph
ies-Mathematics-Alexander-George/dp/0631195440)
Kline; Morris (1980): Mathematics: The Loss of Certainty (http://books.google.es/books?id=RNwnUL33epsC&s
ource=gbs_navlinks_s)
Kline; Morris: Matemáticas. La pérdida de la certidumbre. Siglo XXI España 1985 (1a Ed.), México 2000 (5a
Ed.)
Körner, Stephan (1968), Introducción a la filosofía de la matemática, Editorial Siglo XXI, 1968
Lakatos, Imre. (1978 / 1986) Pruebas y Refutaciones: La Lógica Del Descubrimiento Matemático.- Alianza
Universidad
Lakatos, Imre. "La metodología de los Programas de investigación científica". Alianza. Madrid. 1993.
Lorenzo, Javier. de: La matemática: de sus fundamentos y crisis.- Tecnos, Madrid.
Lorenzo, J. de (1992), Kant y la matemática. El uso constructivo de la razón pura, Editorial Tecnos, 1992
Maza Gómez, C. (2008), Matemáticas en la antigüedad (http://personal.us.es/cmaza/)
Macbeth; Danielle: Logic and the Foundations of Mathematics (https://web.archive.org/web/20090408230437/ht
tp://www.haverford.edu/phil/faculty/documents/LogicandFoundationsofMath.pdf)
Ruiz Zúñiga; Ángel: Matemática y Filosofía - CIMM - Universidad de Costa Rica (http://www.cimm.ucr.ac.cr/arui
z/libros/Matematica%20y%20Filosofia.pdf) (enlace roto disponible en Internet Archive; véase el historial (https://web.archiv
e.org/web/*/http://www.cimm.ucr.ac.cr/aruiz/libros/Matematica%20y%20Filosofia.pdf), la primera versión (https://web.archive.org/w
eb/1/http://www.cimm.ucr.ac.cr/aruiz/libros/Matematica%20y%20Filosofia.pdf) y la última (https://web.archive.org/web/2/http://www.
cimm.ucr.ac.cr/aruiz/libros/Matematica%20y%20Filosofia.pdf)).
Shabel, Lisa (1997), Mathematics in Kant’s Critical Philosophy. Reflections on Mathematical Practice, London:
Routledge, 2003
Shapiro; Stewart (1997). Philosophy of Mathematics: Structure and Ontology. Oxford University Press.
Shapiro, Stewart (2000). Thinking about Mathematics: The Philosophy of Mathematics. Oxford University
Press.
Shapiro; Stewart (Edtr -2005): The Oxford Handbook of Philosophy of Mathematics and Logic (http://books.goo
gle.es/books?id=hPztJzVE8j0C&printsec=frontcover#v=onepage&q&f=false)
Solís, Carlos y Sellés, Manuel (2005), Historia de la ciencia, Editorial Espasa, 2005
Zalamea, Fernando (2009), Filosofía sintética de las matemáticas contemporáneas, Editorial Universidad
Nacional de Colombia.

Enlaces externos
Logicismo (http://philpapers.org/browse/logicism-in-mathematics), en PhilPapers
Formalismo (http://philpapers.org/browse/formalism-in-mathematics), en PhilPapers
Intuitionismo y constructivismo (http://philpapers.org/browse/intuitionism-and-constructivism), en PhilPapers
Estructuralismo (http://philpapers.org/browse/mathematical-structuralism), en PhilPapers

Obtenido de «https://es.wikipedia.org/w/index.php?title=Filosofía_de_las_matemáticas&oldid=132292635»

Esta página se editó por última vez el 10 ene 2021 a las 19:15.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas adicionales. Al
usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.