Filosofa de las matemticas
La losofa de las matemticas es un rea de la losofa
terica, que trata de comprender y explicar los requisitos,
el objeto, el mtodo y la naturaleza[1] de las matemticas.
Como rea de estudio puede ser aproximada desde dos
direcciones: el punto de vista de los lsofos y el de los
matemticos. Desde el punto de vista losco, el objeti-
vo principal es dilucidar una variedad de aspectos proble-
mticos en la relacin entre las matemticas y la losofa.
Desde el punto de vista matemtico, el inters principal
es proveer al conocimiento matemtico de fundaciones
rmes. Es importante mantener presente que aunque es-
tos puntos de vistas pueden implicar diferentes esquemas
e intereses, no son opuestos, sino ms bien complemen-
tarios: Cuando los matemticos profesionales se ocupan
de los fundamentos de su disciplina, se dice que se dedi-
can a la investigacin fundamental (o trabajo funda-
cional o de fundamentos.- ver Metamatemtica). Cuando
los lsofos profesionales investigan cuestiones los-
cas relativas a las matemticas, se dice que contribuyen a
la losofa de las matemticas. Por supuesto, la distincin
entre la losofa de las matemticas y los fundamentos de
las matemticas es vaga, y a la mayor interaccin que ha-
ya entre los lsofos y los matemticos que trabajan en
cuestiones relativas a la naturaleza de las matemticas,
mejor..[2]
De acuerdo a Jeremy Avigad (profesor de cien-
cias matemticas y de losofa en la Universidad
Carnegie Mellon[3] ) El conocimiento matemtico
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 explicacin del conocimiento matemtico
es una parte importante de la epistemologa. Los
objetos matemticos, tales como los nmeros y los
conjuntos, son ejemplos arquetpicos de abstraccio-
nes, 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 ms amplio del
pensamiento es una tarea central de la ontologa, o
metafsica. El rigor y la precisin del lenguaje mate-
mtico depende del hecho de que est basado en un
vocabulario limitado y gramtica muy estructurado,
y las explicaciones semnticas del discurso matem-
tico a menudo sirven como punto de partida de la
losofa del lenguaje. Aunque el pensamiento mate-
mtico ha demostrado un alto grado de estabilidad a
travs de la historia, su prctica tambin ha evolucio-
nado con el tiempo, y algunos desarrollos han pro-
1
vocado controversia y debate; claricar los objetivos
bsicos de esta prctica y los mtodos apropiados es,
por lo tanto, una tarea metodolgica y fundacional
importante, situando la losofa de las matemticas
dentro de la losofa general de la ciencia.
De acuerdo a Bertrand Russell, las matemticas son
un estudio que, cuando se parte de sus porciones ms
familiares, puede llevarse a cabo en cualquiera de
dos direcciones opuestas (una busca la expansin del
conocimiento, la otra darle fundamentos. nota del
traductor). Pero se debe entender que la distincin
es una, no en la materia objeto, pero en el estado
de la mente del investigador...(...)... as como nece-
sitamos dos tipos de instrumentos, el telescopio y el
microscopio, para la ampliacin de nuestras capaci-
dades visuales, igual necesitamos dos tipos de instru-
mentos para la ampliacin de nuestras capacidades
lgicas, una para hacernos avanzar a las matemti-
cas superiores, y el otro que nos lleve hacia atrs,
hacia los fundamentos lgicos de las cosas que esta-
mos inclinados a tomar por sentado en las matemti-
cas. Veremos que mediante el anlisis de las nocio-
nes matemticas ordinarias se adquiere una nueva
perspectiva, nuevos poderes, y los medios de llegar
a nuevos temas matemticos completos, mediante
la adopcin de nuevas lneas de avance, siguiendo
nuestro viaje hacia atrs.[4]
Como ya se ha sugerido, estas aproximaciones no son
conictivas. En las palabras de Imre Lakatos: Al discu-
tir los esfuerzos modernos para establecer las fundaciones
para el conocimiento matemtico uno tiende a olvidarse
que esos son solo un captulo en el gran esfuerzo para
superar el escepticismo a travs de establecer las funda-
ciones para el conocimiento en general. El objeto de mi
contribucin es mostrar la losofa matemtica mo-
derna como profundamente empotrada en la episte-
mologa general y como solo siendo entendible en ese
contexto. (nfasis de Lakatos.[5] )
Dada la vastedad y complejidad del tema, lo que sigue
ofrece una visin muy supercial.
1 Introduccin
Desde la antigedad la losofa ha tenido inters en, por
lo menos, ciertos aspectos de la matemtica.[6] En las pa-
labras de Miguel de Guzmn: Pero hay otros aspectos
2 1 INTRODUCCIN
interesantes de la matemtica que atraen de modo natural Esa situacin ha sido resumida de la siguiente manera[19]
al lsofo. La dinmica interna del pensamiento matem-
tico, la lgica de su estructura, simple, tersa, sobria, clara, Hasta bien entrado el siglo XIX, la geometra
hacen de ella un modelo de reexin able que suscita el
consenso de todos. Los lsofos interesados en aclarar los
misterios del conocimiento humano han visto en el pen-
samiento matemtico un campo ideal de trabajo donde
poner a prueba sus hiptesis y teoras..[7] Mario Bunge
va ms lejos y llega a sugerir que las matemticas son no
slo el fundamento del quehacer cientco sin tambin
del losco.[8]
Por mucho de ese tiempo la opinin general era la que
Carl Friedrich Gauss resumi: La matemtica es la rei-
na de las ciencias y la aritmtica es la reina de las mate-
mticas. Ella a menudo se digna a prestar un servicio a la
astronoma y a otras ciencias naturales, pero en todas las
relaciones, tiene derecho a la primera la.[9] Esta pre-
eminencia se deba a una percepcin que, ltimamente,
emana de Platn: En las matemticas se halla el origen y
fundamento de la teora platnica de las formas o ideas.
En esta la idealizacin de los entes matemticos se trans-
forma en la idealizacin de los entes fsicos y psquicos.
La verdad matemtica, por su invariabilidad en el tiem-
po, era el modelo a seguir en todo conocimiento intelec-
tual. El mtodo deductivo, que partiendo de axiomas y
denicines llegaba a la demostracin de teoremas, era el
modelo prestigioso de razonamiento para todo saber. En
el dilogo Menn Scrates, a travs de preguntas y res-
puestas, hace que un esclavo alcance por su propio razo-
namiento una verdad matemtica; as, de una manera po-
pular, expone Platn que las matemticas estn en el alma
humana, ya que en esta se halla presente el logos que go-
bierna el mundo material mediante las proporciones arit-
mticas y geomtricas. Slo se requiere la introspeccin
para volvernos conscientes de ese saber interno..[10]
Esa posicin es generalmente conocida como realismo;
platonismo o realismo platnico y de manera muy es-
quemtica, puede sintetizarse en la creencia de que los
objetos matemticos son reales y su existencia es un he-
cho objetivo e independiente de nuestro conocimiento de
los mismos.... existen fuera del espacio y del tiempo de
la experiencia fsica y cualquier pregunta signicativa so-
bre ellos tiene una respuesta denida. As el matemtico
es, en este sentido, como un cientco emprico que no
puede inventar ni construir sino solo descubrir algo que
ya existe.[11]
Sin embargo, hacia nes del siglo XIX esta situacin co-
menz a cambiar, proceso que eventualmente culmin,
a nes del siglo XIX y comienzo del XX, en la llamada
crisis de los fundamentos:[12][13][14][15][16][17] La ima-
gen tradicional de las matemticas (formal e infalible) fue
cuestionada a raz de la llamada crisis de los fundamen-
tos de las matemticas, que sucedi en el siglo XIX. Di-
cha crisis se origin principalmente por dos descubri-
mientos: primero el de las geometras no euclidianas y,
segundo, el de la teora de los conjuntos.[18]
era universalmente considerada la rama ms
rme del conocimiento.... La Geometra era,
simplemente, el estudio de las propiedades del
espacio. Estas se manifestaban como verdades
objetivas, universalmente vlidas para la men-
te humana.
Durante el siglo XIX sucedieron varios desas-
tres que iban a cambiar completamente esta si-
tuacin. El primero fue el descubrimiento de
geometras no eucldeas, al que inmediatamen-
te sigui otro desastre mayor: el desarrollo del
anlisis por caminos contrarios a la intuicin
geomtrica (curvas que llenan el espacio, fun-
ciones continuas no diferenciables, etc) lo que
puso de maniesto la gran vulnerabilidad del
nico fundamento que hasta entonces tenan
las Matemticas: la intuicin geomtrica. Esto
era una autntica catstrofe puesto que en al-
gn sentido implicaba la prdida de la certeza,
no solo en la Matemtica sino en todo el cono-
cimiento humano.
Se pens entonces buscar otra base segu-
ra para fundamentar las Matemticas, y as
Dedekind y Weierstrass mostraron como era
posible construir el anlisis -el continuo- a par-
tir de la Aritmtica. Pareca que todo volva a
estar en orden, pues nadie dudaba de la certeza
proporcionada por nuestra intuicin de contar
y as los nmeros enteros seran la nueva base
segura para todo el edicio matemtico... (ver
programa de Hilbert).
Pero el intento de fundamentar rigurosamen-
te la Matemtica iba a ser llevado un paso
ms lejos por Frege, quien comenz un am-
bicioso programa para basar las Matemticas
en la Lgica -a travs de la Aritmtica. Este
fue el punto de partida de la escuela logicis-
ta que ms tarde seria continuada por Russell
y Whitehead. La idea logicista consista en de-
mostrar que la Matemtica clsica era parte de
la lgica, de modo que una vez culminado su
programa podra asegurarse que la Matemti-
ca estaba libre de contradiccin al menos en la
misma medida que la propia lgica.
Sin embargo, ya en ese momento se haban
hecho unos descubrimientos que iban a sacu-
dir completamente este optimismo dejando de
nuevo a la Matemtica sin fundamentos segu-
ros. En efecto, la construccin del continuo a
partir de la Aritmtica se basaba en la Teora
 3

de Conjuntos de Cantor (ver hiptesis del con-
tinuo), que tambin haba sido utilizada por
Frege en sus fundamentacin de la Aritmti-
ca. Pero la teora de Cantor, y en particular
su hiptesis bsica sobre la existencia de con-
juntos encerrada en su denicin: un conjun-
to es cualquier coleccin de objetos distintos
de nuestra intuicin o nuestro pensamiento,
que puede ser traducida por cualquier condi-
cin determina un conjunto, iba a revelarse
inconsistente.
de manera atemporal y exacta y que su veracidad no de-
pende ni de evidencias empricas ni de puntos de vista
personales. La tarea consiste tanto en determinar las con-
diciones de la posibilidad de adquirir ese conocimiento,
como en cuestionar crticamente este punto de partida.
3 Corrientes
3.1 Platonismo

Esa crisis dio origen a varias tentativas de resolucin, lo El realismo[28][29][30] es, quizs, la posicin ms amplia-
que, a su vez, dio origen a tres corrientes principales: mente difundida entre los matemticos.[31] En las pala-
las escuelas intuicionista, logicista y formalista[20] (esa bras de P Maddy: El realismo, por tanto, es el punto de
es la visin general o comn, algunos incluyen otras es- vista que sostiene que la matemtica es la ciencia de los
cuelas, tales como el fenomenalismo de Husserl[21] ). Ar- nmeros, conjuntos, funciones, etc., tal y como la fsica es
gumentablemente esas tentativas fueron infructuosas[22] el estudio de los objetos fsicos ordinarios, cuerpos astro-
lo que dio origen a otras escuelas, tanto derivadas de nmicos y partculas subatmicas entre otros. Esto es, la
las anteriores[23] como de otras percepciones bsicas - matemtica trata acerca de esos objetos, y es el modo en
por ejemplo, del empirismo. Sin embargo, y argumen- que tales objetos son lo que hace a los enunciados de la
tablemente, la situacin todava no se ha resuelto del matemtica verdaderos o falsos..[32] En otras palabras,
todo[24][25][26] tanto los objetos matemticos (nmeros, guras geo-
mtricas, etc) como las leyes matemticas no se inventan,
sino que se descubren. Con esto se explica al carcter
objetivo, interpersonal, de las matemticas. Este realis-
2 Problemas mo ontolgico es incompatible con todas las variedades
de la losofa materialista. Es representado, entre otros
Al respecto de todo lo anterior hay algunas interrogantes matemticos, por Kurt Gdel,[33][34] Eugene Paul Wig-
fundamentales y sistemticas tales como: ner y Paul Erds. Entre los lsofos que han adoptado la
posicin se cuentan Willard Van Orman Quine; Michael
1. el modo de ser de los objetos matemticos: acaso Dummett[35] , Mark Steiner.[36]
estos existen realmente e independientemente de
cualquier empleo especco, y si es as, en qu sen- Alrededor de los 1900 tuvo mucha [37]
inuencia en esa posi-
tido? Y qu signica referirse a un objeto matem- cin el El argumento de Frege, que se puede resumir
tico? Cul es el carcter de los teoremas matem- as: Trminos singulares que se reeren a nmeros natu-
ticos? Cul es la relacin entre la lgica y las mate- rales aparecen en enunciados verdaderos simples. Solo es
mticas? - Aqu se trata de cuestiones ontolgicas. posible para los enunciados simples con trminos singu-
lares como componentes ser verdaderos si los objetos a
2. el origen del conocimiento matemtico: Cules son los que se reeren los trminos singulares existen. Por lo
la fuente y la esencia de la verdad matemtica? tanto: los nmeros naturales existen. Pero, si los nmeros
Cules son las condiciones de la ciencia matem- naturales existen, son objetos abstractos que son indepen-
tica? Cules son, en lo fundamental, sus mtodos dientes de todas las actividades racionales. Por lo tanto:
de investigacin? Qu papel, en relacin a lo ante- los nmeros naturales son objetos abstractos que existen
rior, la naturaleza del ser humano? - Aqu se trata de independientes de todas las actividades racionales, es de-
cuestiones epistemolgica. cir, el objeto aritmtico del platonismo es verdad.
La forma clsica del realismo es el platonismo, que ha
3. la relacin entre las matemticas y la realidad: Cul
es la relacin entre el mundo abstracto de las ma- sido denido como " cualquiera explicacin metafsica
temticas y el universo material? Tienen las ma- de las matemticas que implica que las entidades mate-
temticas sus races en la experiencia, y si es as,mticas existen, que son abstractos, y que son indepen-
cmo? Cmo es que las matemticas calzan tan dientes de todas nuestras actividades racionales.,[38] es
bien con los objetos de la realidad (Albert Eins- decir, que los objetos y teoremas matemticos existen en
tein[27] )? De qu manera los conceptos tales como forma aislada del mundo material e independientemen-
nmero, punto, innito etc., adquieren un signica- te del espacio y del tiempo, junto con otras ideas tales
do que trasciende el mbito estrictamente matem- como las de lo bueno, "lo bello", o lo divino. El tr-
tico? mino platonismo fue introducido al rea, en1934, por el
lgico matemtico Paul Bernays. La intencin era desig-
El punto de partida es casi siempre la concepcin de que nar un modo de razonar que es caracterstico sobre todo
las proposiciones matemticas son ciertas por principio, del anlisis matemtico y la teora de conjuntos, aunque
4 3 CORRIENTES

tambin del lgebra moderna y la topologa: los objetos contenido; se trata, pues, de un sistema formal vaco. Este
de la teora se conciben como elementos de una totalidad sistema formal estara integrado por uno o ms conjuntos
o conjunto, que se considera dada o independiente del su- de elementos fundamentales, por relaciones denidas en-
jeto pensante (es decir, del matemtico). Una consecuen- tre los elementos de estos conjuntos y por proposiciones
cia de dicho modo de pensar es que para una propiedad reguladoras de estas relaciones (proposiciones que com-
cualquiera (expresable en la teora) puede decirse que o prenden los axiomas y las dems proposiciones de ellos
bien la poseen todos los elementos del conjunto, o bien deducidas: los teoremas).[49] Por ejemplo, en el juego de
hay uno que no la posee.[39] geometra euclidiana se obtiene el teorema de Pitgoras
combinando ciertas cadenas (los axiomas) segn deter-
El principal problema del platonismo en la losofa de [50][51]
las matemticas es la pregunta, cmo podemos nosotros, minadas reglas (las del razonamiento lgico).
como seres nitos, reconocer los objetos matemticos y David Hilbert es generalmente considerado fundador del
las verdades si stas se encuentran en las esferas celes- formalismo moderno.[52] Su inters era la construccin
tiales de las ideas. De acuerdo a Gdel, esto se logra me- axiomtica consistente y completa de la totalidad de las
diante la intuicin matemtica que, de manera similar a matemticas,[53] seleccionando como punto de partida los
un rgano sensorial, hace que los seres humanos perciba- nmeros naturales y asumiendo que mediante el uso de
mos partes de ese otro mundo. Tales intuiciones raciona- axiomas se obva la necesidad de denir los objetos b-
les tambin son defendidas por la mayor parte de los cl- sicos (op. cit) con el n de lograr un sistema completo y
sicos del racionalismo, as como, en debates ms recien- consistente (ver Programa de Hilbert).
tes acerca de la justicacin y el conocimiento a priori, En esta visin los enunciados matemticos pierden el ca-
entre otros por Laurence Bonjour.[40] Sin embargo, el tra- rcter de verdades; dejan de ser, en ltima instancia, pro-
tamiento ms sosticado de este asunto (por Paul Bena- posiciones sobre algo. Lo que importa son las relacio-
cerraf en su artculo Mathematical Truth, de 1973[41] ), nes que se establecen entre ellos: Hilbert sostiene que la
sugiere que el problema es ms profundo: nuestras me- verdadera importancia en la construccin de los saberes
jores teoras epistmicas parecen excluir cualquier cono- matemticos no es el resultado numrico, sino la ley de
cimiento de los objetos matemticos..[42] (Esto es gene- cmo estructurar las relaciones entre los objetos mate-
ralmente conocido como el Dilema de Benacerraf[43][44] mticos.... Las reglas que enlazan funcionalmente los ob-
dado que es generalmente interpretado como establecien- jetos con su sistema de referencia formarn parte de un
do debemos abandonar nuestras teoras epistemologas o Sistema Formalizado Matemtico; en donde, se entiende
la certeza matemtica.[45][46][47] como formalizacin a un conjunto de leyes descubiertas
En el presente los partidarios del realismo/platonismo ge- en el seno de su misma estructura, la que mantiene su
neralmente citan el siguiente argumento a favor de sus consistencia en las demostraciones.[54]
posiciones, argumento que busca mostrar que las teoras Otro matemtico que fue inspirado por el formalismo fue
epistmicas son (deben ser) consistentes con la aproxi- Haskell Curry, generalmente considerado el fundador de
macin realista: la lgica combinatoria.
El Argumento de indispensabilidad de Quine y Putnam, A pesar que esta propuesta fue de corta duracin, debi-
que, bsicamente sugiere que debemos estar ontolgi- do al teorema de incompletitud de Gdel, que demostr
camente comprometida con todas aquellas entidades que que cualquier sistema de axiomas que incluya los nme-
sean indispensables para nuestras mejores teoras cient- ros naturales es ya sea incompleto o contradictorio, lleg,
cas. (es decir, debemos armar como vlidas e inde- de facto, a constituir la posicin ms aceptada entre los
pendientes todos aquellos elementos bsicos del anlisis matemticos hasta el ltimo cuarto del siglo XX: Los
que necesitamos en nuestros razonamientos, alternativa- aos setenta vieron decaer la tendencia formalista, repre-
mente, somos intelectualmente deshonestos). Los obje- sentada por el grupo Bourbaki, seudnimo de varias ge-
tos y/o estructuras matemticos son indispensables para neraciones de matemticos franceses,[55]
nuestras mejores teoras cientcas. Por lo tanto, debe-
mos reconocer la existencia de esos objetos o estructu-
ras. 3.3 Deductivismo
En el deductivismo -una variante usual del formalismo- se
3.2 Formalismo considera que, en el ejemplo del teorema de Pitgoras, la
verdad de una proposicin matemtica es slo correc-
El formalismo matemtico entiende las matemticas co- ta en relacin a: Si a las cadenas se les asignan signica-
mo un juego (en el sentido de Wittgenstein[48] ) basado dos, de tal manera que los axiomas y reglas de inferencia
en un cierto conjunto de reglas para manipular cadenas sean verdaderas, entonces se obtienen conclusiones cier-
de caracteres: "..el programa del formalismo matemti- tas, tales como el teorema de Pitgoras. En este sentido,
co consiste en construir la Matemtica como un sistema el formalismo no sigue siendo obligatoriamente un juego
lgico-formal puro, cuya condicin fundamental es la au- simblico sin sentido. El matemtico puede conar, en
sencia de contradiccin, prescindiendo de todo tipo de cambio, que existe una interpretacin de las cadenas de
3.4 Intuicionismo 5

caracteres sugerida por ejemplo por la fsica o por otras plo, Lgica intuicionista). Sigue que, en un momento da-
ciencias naturales, tal que las reglas conduzcan a arma- do (por ejemplo, el presente) es perfectamente posible
ciones verdaderas. Por lo tanto un matemtico deduc- que haya proposiciones acerca de las cuales no tenemos
tivista puede mantenerse al margen tanto de la respon- certeza acerca de si son correctas o no. (ntese que esto
sabilidad por la interpretacin como de las dicultades introduce, nuevamente, un elemento temporal en la ver-
ontolgicas de los lsofos. dad matemtica). (Lo anterior no es un rechazo absoluto
El deductivismo fue introducido formalmente por Hilary del principio. Los intuicionistas lo utilizan en situaciones
Putnam[56] como una respuesta a algunos problemas con especcas -por ejemplo, en el caso de conjuntos bien de-
[57] nidos y nitos. Ver Aritmtica de Heyting)[67] )
el logicismo de Russell en su Principia. Putnam pro-
pone considerar las matemticas como el estudio de las Otras diferencias con lo que se puede considerar matem-
consecuencias de los axiomas, usando teora de mode- ticas clsicas se encuentran en la concepcin del innito y
los. En consecuencia, Putnam interpreta las proposicio- la del continuo. Para los intuicionistas un (cualquier) en-
nes matemticas como rerindose a un posible modelo te es valido si y solo si puede ser construido por medio
para esas proposiciones. A diferencia del logicismo es- de un procedimiento especicado y con un nmero ni-
tricto, el deductivismo basa y transforma la matemtica to de pasos o operaciones (este procedimiento puede ser
en una lgica en un sentido mucho ms amplio que el sen- un algoritmo o algn otro que siga una regla: por ejemplo:
tido logicista. La lgica deductivista incluye, por ejemplo, arrojar un dado veinte mil veces a n de generar cualquier
la teora de conjuntos necesaria para estudiar las conse- nmero). Pero cual procedimiento especco y nito pue-
cuencias que siguen de axiomas. (R. Marcuss. op. cit). de generar el innito? Cualquier procedimiento que esco-
Los deductivistas requieren que toda y cada prueba mate- jamos solo nos dar algn nmero concreto. Consecuen-
mtica sea una deduccin. Ellos reconocen que no todas temente, el innito intuicionista es solo potencial, a di-
tales pruebas son estrictamente vlidas (ver Validez (epis- ferencia del innito ocial que lo concibe como una
[72]
temologa) y Validez (lgica)), pero consideran que toda totalidad completa y acabada.. Si bien esta diferen-
prueba informal debe ser completable como deduccin a cia es ms bien metafsica (op. cit), argumentablemente
n de ser considerada vlida [58] sin consecuencias mayores para la prctica matemtica,
es la introduccin a la diferencia sobre la concepcin del
Quizs sea necesario notar que deductivismo es un con- continuo, que si tiene tales consecuencias. (op. cit, esp p
cepto amplio, consecuentemente, el logicismo seria solo 108).
una versin (usando una concepcin ms restrictiva de la [73]
lgica matemtica) del deductivismo (Hossack, op. cit). El concepto intuicionista del continuo rechaza la con-
cepcin axiomtica clsica (de Cantor y Zermelo, etc ver
Hiptesis del continuo, etc), basada en la teora de con-
juntos y sugiere utilizar una especie de principio de elec-
3.4 Intuicionismo cin (choice principles[74] que Brouwer llama secuen-
cias de elecciones libres), basado en la intuicin que,
El intuicionismo matemtico[59] rechaza tanto la sugeren- entre dos puntos (o nmeros) cualquiera, un matemti-
cia logicista como la formalista, proponiendo que el cono- co puede elegir libremente otro punto o nmero, y as
cimiento matemtico se basa en la aprehensin -que an- indenidamente: El continuo lineal no puede ser agota-
tecede cualquier lenguaje o lgica- de algunos conceptos do por la interpolacin de nuevas unidades. Y no pue-
matemticos bsicos.[60][61] Este intuicionismo se origina de por lo tanto ser pensado como una mera coleccin de
en la propuesta de L. E. J. Brouwer[62] que el saber ma- unidades..[75] (al respecto de todo esto, ver: El Error de
temtico se basa en la intuicin primordial[63][64] de los Cantor[76] ).
nmeros naturales ( 1, 2, 3... ). Cada uno de esos nmeros
La introduccin de secuencias de elecciones tiene varias
puede, a partir de la intuicin bsica del 1, ser construi-
consecuencias[77] difciles de aceptar para la matemtica
do agregando 1 al anterior. (Ntese que esto introduce
no intuicionista.[78] Como ejemplos, la demostracin in-
un elemento temporal - ver D. Pareja. op. ci).
tuicionista del teorema de la barra (bar theorema[79] ) y el
A partir de lo anterior, el resto de la matemtica puede (y teorema del abanico (fan theoreme[80] ).
debe) ser construida de forma explcita y rigurosa, lo que
Aparte de Arend Heyting, otros matemticos y lgicos de
requiere un mtodo claro y preciso[65] - Solo entidades cu-
nota inuidos por esta visin incluyen: Hermann Weyl,
ya existencia (positiva o negativa) haya sido demostrada
quien promovi una visin constructivista de la matem-
de tal manera, o por medio de tal mtodo, tienen validez
ticas. La aplicacin del intuicionismo a la topologa por
matemtica.[66] Parafraseando el dicho platonista, se po-
Alfred Tarski; los trabajos matemticos de Andri Kol-
dra decir que, desde el punto de vista intuicionista, las
mogrov y los de Andri Mrkov y los desarrollos de una
verdades matemticas no se descubren, se crean.[67]
lgica intuicionista por Saul Kripke.[81]
Entre otras consecuencias de lo anterior se encuentra la
Entre los lsofos que continan esta tradicin encontra-
restriccin del principio del tercero excluido:[68][69] saber
mos Michael Dummett.[82]
que una proposicin es falsa implica, para los intuicionis-
tas, poder demostrar esa falsedad.[70][71] (ver, por ejem-
6 3 CORRIENTES

3.5 Constructivismo meros naturales. Lo mismo se aplica a otros objetos ma-

temticos. Puesto que el estructuralismo no considera los
A partir de las sugerencias de Brouwer y Mrkov, Erret objetos, tales como nmeros, de manera separada de su
Bishop postul el Constructivismo.[83] Modicando algu- totalidad o estructura, sino que ms bien los considera co-
nas percepciones de los autores mencionados de tal ma- mo espacios en una estructura, esquiva la cuestin de la
nera que la propuesta constructivista resulta ms restric- existencia de los objetos matemticos y los explica como
tiva que las sugerencias de Brouwer y Mrkov pero, al errores categoriales. As, por ejemplo, el (nmero) dos,
mismo tiempo, logrando que todos sus teoremas resulten en tanto nmero natural, ya no puede ser considerado en
compatibles tanto con esas sugerencias como con las de forma separada de la estructura de los nmeros natura-
la matemtica clsica, cosa que no ocurre con las otras les, sino como el identicador del segundo lugar en la
dos.[84] estructura de los nmeros naturales": no tiene propieda-
des internas ni una estructura propia. En consecuencia,
Bishop logra esta exibilidad a travs de no denir lo
existen tanto variantes del estructuralismo que asumen la
que llama rutinas nitas (algoritmos) que constituyen
existencia de los objetos matemticos, como otras que
el proceso de demostracin. Si bien esto parece introdu-
rechazan su existencia[88]
cir una cierta falta de precisin, fuerza a quienes practi-
can esta aproximacin a utilizar estrictamente la lgica Los problemas con esta corriente surgen principalmen-
te de la cuestin de las propiedades y el ser de las
intuicionista. Parece ser que utilizar tal lgica equivale a
practicar matemtica algortmica formal. Si eso fuera el estructuras.[89] Al igual que en el problema de los univer-
caso, la aproximacin intuicionista podra ser implemen- sales es aparente que las estructuras son algo que puede
tada en relacin a cualquier objeto matemtico, no solo aplicarse a muchos sistemas simultneamente. Por ejem-
esa clase especial de objetos constructivos.[85] plo, la estructura de un equipo de ftbol es ciertamente
ejemplicado por miles de equipos. Esto plantea la cues-
tin de si y cmo las estructuras existen, si acaso existen
3.6 Finitismo independientes de los sistemas. Otras cuestiones pendien-
tes estn relacionadas con el acceso a las estructuras y la
El nitismo es una forma extrema del constructivismo, de de cmo podemos aprender acerca de ellas?
acuerdo a la cual un objeto matemtico no existe a menos Entre los representantes actuales del estructuralismo se
que sea construido partiendo de los nmeros naturales en cuentan Stewart Shapiro;[90] Michael Resnik;[91] Georey
un nmero de pasos nitos. Hellman[92] y el ya mencionado Paul Benacerraf.

3.7 Estructuralismo 3.8 Empirismo

El estructuralismo considera las matemticas principal-
mente como una ciencia que se ocupa de las estructuras
generales, es decir, las relaciones de los elementos dentro
de un sistema. El estructuralismo matemtico es simi-
lar, en algunos aspectos, al punto de vista funcionalista
en, por ejemplo, la losofa de la mente. Una denicin
funcional es, en efecto, estructural, ya que, tambin se
centra en las relaciones que los elementos denidos tie-
nen el uno al otro. La diferencia es que las estructuras
matemticas son ms abstractos, y autnomas, en el sen-
tido de que no hay restricciones sobre el tipo de cosas que
pueden ejemplicar (vase Shapiro [1997, captulo 3, do las bien conocidas ironas de Frege) y, en adicin,
6]).[86]
Para ilustrar lo anterior, considrese un sistema ejemplo
- tal como la administracin de un club deportivo.[87] Los
distintos cargos (presidente, auditor, tesorero, etc.) son
independientes de las personas que asumen esas tareas.
Considerando slo el esquema de los cargos (y por tanto
omitiendo las personas reales que trabajan en ellos), se
obtiene la estructura general de una asociacin. El club
en s, con las personas que han tomado posesin de los
cargos, ejemplica esta estructura.
Del mismo modo, cualquier sistema cuyos elementos ten-
gan un sucesor nico ejemplica la estructura de los n-
El empirismo matemtico[93] puede trazarse a la obra de
John Stuart Mill,[94] para quien los conceptos matemti-
cos proceden del mundo fsico y las verdades de la mate-
mtica son verdades acerca del mundo fsico, aunque de
un carcter ms general. Las verdades matemticas seran
las verdades ms generales de todas (Dummett 1998, pp.
125-126).
A pesar que la sugerencia de Mill no despert gran inte-
rs entre matemticos (P Kitcher: el problema que mu-
chas de sus formulaciones son imprecisas (casi invitan-
Mill solo considera las ms rudimentarias partes de la
matemticas[95] ), la idea bsica fue eventualmente reto-
mada por dos autores: Stephan Krner[96] y Lszl Kal-
mr.[97] Para Krner, las teoras cientcas integradas
en la matemtica funcionan y estn justicadas, junto
con su marco de trabajo matemtico como constituyen-
tes sincategoremticos[98] de las proposiciones empricas
". Para Kalmar los axiomas de cualquier rama intere-
sante de las matemticas fueron originalmente extrados,
ms o menos directamente, de los hechos empricos, y las
reglas de inferencia utilizadas en ella originalmente mani-
festaron su validez universal en nuestra prctica del pen-
samiento; III) la consistencia de la mayora de nuestros

sistemas formales es un hecho emprico, (y) an cuando
se ha demostrado, la aceptabilidad de los mtodos me-
tamatemticos utilizados en la prueba (por ejemplo in-
duccin transnita hasta cierto ordinal constructivo) es
de nuevo un hecho emprico..[99]
Esta visin ha sido expandida por, entre otros, Philip
Kitcher, quien busca sistematizarla;[100] 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 es-
capar del indenible universo platnico de la conciencia
inmaterial y abandonar la vana bsqueda por la certidum-
bre que ha plagado la losofa desde los tiempos de los
griegos.[101]
3.9 Cuasi-empirismo
El trmino cuasi-empirismo fue introducido por Imre La-
katos[102] a n de enfatizar un punto crucial de su suge-
rencia: Una teora euclidiana puede ser proclamada ver-
dadera. Una teora cuasi-emprica puede a lo ms ser considerados como reales, pues no se puede aceptar el
ser bien corroborada, pero es siempre conjetural. Adicio-
nalmente, en una teora Euclidiana los postulados verda-
deros bsicos en la cumbre del sistema deductivo (ge-
neralmente llamados 'axiomas) demuestran, por as de-
cirlo, el resto del sistema; en una teora cuasi-emprica
los postulados bsicos (verdaderos) son explicados por
el resto del sistema. (op cit, seccin 2).
El cuasi-empirismo postula que para entender y expli-
car las matemticas no basta con analizar su estructura
lgica ni su lenguaje sino que hay que estudiar su prc-
tica real, la manera en que efectivamente las aplican los
matemticos, las ensean 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 matemticos, el tipo de retrica que
se emplea en ellas y el papel que juega el conocimiento
matemtico en las distintas sociedades y culturas..[103]
El cuasi empirismo de Lakatos: Lakatos plantea que
la supuesta necesidad lgica (o verdad a priori) de las
matemticas deriva de que nos hemos olvidado, no co-
nocemos, o no valoramos adecuadamente el proceso de
pruebas y refutaciones informales, siempre falibles, por
medio del cual se llega a las pruebas formales que des-
pus 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 matemti-
cas no es axiomtico, como plantean los formalistas, sino
basado en una sucesin de pruebas y refutaciones que s-
lo llegan a resultados falibles; 3) el intento de proveer de
fundamentos a las matemticas conlleva un retroceso al
innito; 4) la historia de las matemticas debe ser estudia-
da no a travs de teoras aisladas sino de series de teoras
o, mejor an, de programas de investigacin que inclu-
yen un ncleo rme no falseable y un cinturn protector
de hiptesis auxiliares que s son falseables, pero que son
7
modicables;10 5) debemos preferir no el programa ma-
temtico que est completamente axiomatizado sino el
que sea progresivo, esto es, el que permita descubrir he-
chos nuevos e inesperados.[103]
El cuasi empirismo de Putman: Hilary Putnam parte
de las tesis quineanas acerca del holismo de las teoras y
la naturalizacin de la epistemologa, pero tambin, como
su maestro Reichenbach, del impacto de la fsica moderna
en nuestra concepcin de la ciencia y de la realidad. En las
matemticas, segn Putnam, hay un juego entre postula-
cin, pruebas informales o cuasi-empricas y revolucin
conceptual. Putnam reconoce que las matemticas no son
ciencias experimentales y que son ms a priori que, por
ejemplo, la fsica, sin embargo seala que la distincin en-
tre lo a priori y lo a posteriori es ms bien relativa: que al-
go sea a priori signica, simplemente, que juega un papel
fundamental en nuestra concepcin del mundo o en nues-
tra forma de vida y que, por tanto, no estamos dispuestos
a renunciar a ello. Concretamente, la teora de conjun-
tos es indispensable para la fsica, por ello, las entidades
sobre las cuales cuantica, a saber, los conjuntos, deben
conocimiento que proporciona la fsica sin aceptar dichas
entidades o, mejor dicho, al aceptar el conocimiento de
la fsica, ya se ha aceptado, implcitamente, la teora de
conjuntos. As, las matemticas comparten el contenido
emprico con las teoras fsicas de las que forman parte y
se modican junto con ellas.
4 Vase tambin
Fundamentos de la matemtica
Historia de la matemtica
Principia mathematica
Logicomix
5 Notas y referencias
[1] Natura es la traduccin latina de la palabra griega physis
(), que en su signicado original haca referencia a
la forma innata en la que crecen espontneamente plantas
y animales. (ver D. Harper Physical). En Idioma alemn
el trmino naturaleza proviene de naturist, que signica
el curso de los animales, carcter natural."(ver D. Harper:
Nature
[2] Horsten, Leon, Philosophy of Mathematics, The Stanford
Encyclopedia of Philosophy (Summer 2012 Edition), Ed-
ward N. Zalta (ed.)
[3] Jeremy Avigad. Consultado el 4 de abril de 2017.
[4] Bertrand Russell: Introduction to Mathematical Philosophy
chap 1
8 5
[5] I Lakatos: Innite regress and foundations of mathema-
tics en Mathematics, science and epistemology Cambridge
U Press, 1978, p. 4
[6] Por ejemplo: Ivn Pedro Guevara V (2008): La loso-
fa ha considerado siempre la matemtica como uno de
los objetos principales de sus investigaciones,.. " en LA
FILOSOFIA DE LA MATEMATICA: LA RAZON DE
SER DEL NUMERO.- Diego Fusaro: Siempre hay una
relacin inseparable entre la matemtica y la losofa..
en IL RAPPORTO FILOSOFIA - MATEMATICA (en
italiano en el original)
[7] M de Guzmn: Filosofa y matemticas
[8] Adianez Fernndez Bermdez: Una visin de la ciencia y
su relacin con la tica, en Mario Bunge
[9] R Gauss: frases clebres de o sobre Carl Friedrich Gauss.
[10] El sentido de las matemticas en la losofa de Pla-
tn. Consultado el 4 de abril de 2017.
[11] Jos Luis Gmez Pardo: Observaciones sobre la natura-
leza de la Matemtica, en Luis Puelles et al (Wenceslao J.
Gonzlez edt) (1988): Aspectos Metodolgicos de la In-
vestigacin Cientca: Un Enfoque Multidisciplinar p 127
[12] JAVIER DE LORENZO: La matemtica: de sus funda-
mentos y crisis"- Tecnos, Madrid
[13] SIGLO XX: CRISIS EN LOS FUNDAMENTOS.
Consultado el 4 de abril de 2017.
[14] JOS M. FERREIRS: The Crisis in the Foundations of
Mathematics (en Princeton Companion to Mathematics
Proof)
[15] A Timeline for the Foundational Crisis and the Vienna
Circle. Consultado el 4 de abril de 2017.
[16] Herman Weyl On the New Foundational Crisis in Mathe-
matics
[17] Mario O. Gonzlez (1950): [http://www.filosofia.org/
hem/dep/rcf/n06p025.htm La crisis actual de los funda-
mentos de la Matemtica]
[18] Eduardo Harada O (2005): El cuasi empirismo en la lo-
sofa de las matemticas
[19] Jos Luis Gmez Pardo: Observaciones sobre la natura-
leza de la Matemtica, en Luis Puelles et al (Wenceslao
J. Gonzlez edt) (1988): Aspectos Metodolgicos de la
Investigacin Cientca: Un Enfoque Multidisciplinar p
125- 156:
[20] Encyclopedia Britanica:
[21] Por ejemplo: Ulrich Majer (2004): Husserl Between Fre-
ges Logicism And Hilberts Formalism
[22] Ernst Snapper (1979); The Three Crisis in Mathematics:
Logicism, formalism and Intuitionism
[23] Lindstrm, S.; Palmgren, E.; Segerberg, K.; Stoltenberg-
Hansen, V. (Eds.) (2009): Logicism, Intuitionism, and
Formalism: What Has Become of Them?
NOTAS Y REFERENCIAS
[24] Ferran Mir Sabat (2006): Las discusiones posteriores so-
bre la losofa matemtica (la metamatemtica) ilustrarn
las distintas concepciones de la disciplina. Durante los aos
20s se desarrollar un profundo debate sobre las bases de
las matemticas que, a pesar de su cierre aparente, sigue
vigente en nuestros das. en LA POLEMICA INTUICIO-
NISMO FORMALISMO EN LOS AOS 20. Cuaderno
de Materiales. Num. 23 (2011). ISSN 1139-4382. Pgi-
nas 557-574.
[25] Por ejemplo: Edward Nelson (2006): Warning Signs of a
Possible Collapse of Contemporary Mathematics
[26] Por ejemplo: Alex Levine: Conjoining Mathematical Em-
piricism with Mathematical Realism: Maddys Account of
Set Perception Revisited en Synthese.- Vol. 145, No. 3
(Jul., 2005), pp. 425-448
[27] Vase: Guillermo Mattei Irrazonable ecacia de la mate-
mtica - ver tambin Eugene Paul Wigner: The Unreaso-
nable Eectiveness of Mathematics in the Natural Scien-
ces
[28] Luke Jerzykiewicz (2007) La gran mayora de los realis-
tas de hoy en da, incluyendo el propio Stewart Shapiro,
sostienen que las entidades matemticas (o estructuras)
son abstractas y a-causal. 'Realismo', de hecho, viene a ser
casi sinnimo de 'platonismo'. en Platonist epistemology
and cognition p 1
[29] Para una visin general de esta posicin, ver Penelope
Maddy (1992) Realism in Mathematics
[30] Haim Gaifman: On Ontology and Realism in Mathematics
[31] De acuerdo a Davis y Hersh (ver la Experiencia mate-
mtica el matemtico profesional tpico es un platonis-
ta durante la semana y un formalista en el Domingo (ver
Realismo platnico), lo que generalmente se interpreta co-
mo signicando que la mayora de los matemtico se com-
portan como si aceptaran que los objetos matemticos y
sus relaciones fueran objetivos, independientes de nuestra
voluntad o subjetividad, pero si se les demanda una jus-
ticacin de su posicin, adoptan el formalismo (ver ms
abajo)
[32] P Maddy, citada por Luis Miguel ngel Cano P (2003) en
Frege y la nueva lgica.
[33] K Gdel: Los conceptos tienen una existencia objetiva
en My philosophical viewpoint
[34] Guillerma Daz Muoz (2000): Aproximacin del realis-
mo matemtico de Gdel al realismo constructivo de Zu-
biri
[35] Michael Dummett (1998): La existencia de los objetos
matemticos. Teorema, XVII (2). pp. 5-24.
[36] Mark Steiner (1983): Mi intencin es argumentar a fa-
vor de la realidad de ciertas entidades matemticas en
Mathematical Realism Nos Vol. 17, No. 3 (Sep., 1983),
pp. 363-385
[37] The Fregean Argument for Object Platonism. Consul-
tado el 4 de abril de 2017.

[38] Internet Enciclopedia of Philosophy: Mathematical Plato-
nism
[39] Jos Ferreirs (1999) Matemticas y platonismo(s)
[40] L Bonjour: In Defense of Pure Reason. (London:
Cambridge University Press, 1998) Entrada en Wikipe-
dia inglesa acerca de Bonjour
[41] P Benacerraf: The Truth
[42] IEP; The Indispensability Argument in the Philosophy of
Mathematics
[43] W. D. Hart (1991): Benacerrafs Dilemma
[44] Bob Hale and Crispin Wright Benacerrafs Dilemma Re-
visited
[45] Eleonora Cresto (2002): Benacerraf nos ofrece all un
dilema, moldeado sobre la dicotoma entre platonismo y
constructivismo: el primero nos permite entender como es
que los enunciados matemticos son verdaderos, pero no
como es que los conocemos, el segundo explica el conoci-
miento matemtico, pero no la verdad. en Comentarios a
La losofa de la matemtica del segundo Wittgenstein:
El problema de la objetividad de la prueba matemtica
[46] Rui Vieira (2010): Sin embargo, en un importante ar-
tculo, Mathematical Truth, en el Journal of Philosophy,
Vol. 70 (1973), el lsofo Paul Benacerraf argument que
las explicaciones anti-platnicas de las matemticas de-
privan los enunciados matemticos de su verdad objeti-
va en el sentido cotidiano popular, es decir, de la idea de
que las verdades matemticas son verdaderas piense al-
guien en ellas o no. La verdad objetiva es una propiedad
de las matemticas que para la mayora de nosotros es ob-
via, pero explicaciones anti-platnicas hacen las matem-
ticas subjetivas (aunque el argumento de Benacerraf se
dirige al convencionalismo y al formalismo, no creo que
las tentativas del intuicionismo se libren nada mejor. en
Mathematical Knowledge: A Dilemma.
[47] GREGORY LAVERS (2009): El sentido comn respec-
to a la verdad y la forma sintctica de los enunciados mate-
mticos nos lleva a concluir que los enunciados matem-
ticos se reeren a objetos abstractos. Al mismo tiempo,
ese sentido comn, en relacin a la epistemologa, pare-
ce implicar que los enunciados matemticos no pueden
referirse a objetos abstractos (en BENACERRAFS DI-
LEMMA AND INFORMAL MATHEMATICS) y Se-
gn Benacerraf, cualquier explicacin de la verdad ma-
temtica debe satisfacer dos requisitos bsicos: erigirse
sobre la base de una semntica y de una epistemologa
paralelas a las usuales en el discurso no matemtico. La
semntica usual es necesaria para que los trminos de los
enunciados matemticos se reeran a entidades reales, si
tales enunciados han de ser verdaderos, como suponemos
en nuestro usos lingsticos habituales. La epistemologa
se necesita para que la verdad de los enunciados matem-
ticos presuponga algn conocimiento de las entidades re-
feridas por los trminos enunciados, como suponemos en
nuestro discurso habitual.... prosigue Benacerraf, en gene-
ral las explicaciones disponibles de la verdad matemtica
no logran satisfacer ambos requisitos, sino ms bien al-
guno de ellas a expensas del otro.. Francisco Rodriguez
C: Lo que es y no es la verdad matemtica
9
[48] Para una profundizacin, ver, por ejemplo Douglas Pat-
terson: Introduccin en New Essays on Tarski and Phi-
losophy; P. M. S Hacker: On Carnaps Elimination of
Metaphysics en Wittgenstein: Connections and Contro-
versies, etc
[49] Formalismo, I. Filosofa.
[50] Para una introduccin general, ver ngel Ruiz Z 26.3 El
formalismo (en Historia y losofa de las matemticas)
[51] Jean-Paul Collette (1993): Historia de las matemticas,
volumen 2, Volume 2 p 577 y sig
[52] Diego Pareja H (2008): el concepto moderno de forma-
lismo que incluye las tcnicas del razonamiento nitista
debemos atribuirlo a Hilbert y a sus discpulos. en 5. 8
David Hilbert y el formalismo. Razonamientos nistas
son aquellos razonamientos absolutamente seguros y li-
bres de cualquier clase de sospecha (ibid)
[53] Ferran Mir S (2006): La conocida intervencin de David
Hilbert (1862-1943) en el Congreso Internacional de Pa-
ris de 1900, en la que planteo los 23 problemas matem-
ticos a resolver durante el siglo XX, iba mucho ms all
de la mera relacin de dichos problemas. La conviccin
claramente expresada por Hilbert de que todo problema
ha de tener su solucin basada en la pura razn [6, Pags.
125 y ss.]: En las matemticas no existe el ignorabimus.
Un ao antes, Hilbert haba publicado su Grundlagen der
Geometrie, en el que estableca los axiomas a partir de
los cuales poda desarrollarse, mediante pura deduccin,
toda la disciplina en todas sus variantes, tanto euclideas
como no euclideas. Mediante este ideal axiomtico poda
construir un raciocinio sobre objetos que no necesitaba
denir; al contrario de Euclides que haba precisado de
una denicin (intuitiva) de los objetos bsicos (punto, l-
nea, plano, etc.). El hecho de prescindir de las deniciones
de los objetos bsicos, hace que se le haya reprochado la
reduccin de las matemticas al estudio de las simples re-
laciones entre objetos abstractos: un puro juego con sm-
bolos. La combinacin del ideal axiomtico con la convic-
cin de que todo problema debe tener solucin, conducir
en los aos sucesivos a la idea de completud del sistema
axiomtico. En los primeros aos del siglo XX, esta idea
es todava vaga [13, Pg. 151], pero esta claro que Hilbert
considera que desde un reducido grupo de axiomas pue-
den derivarse la totalidad de los teoremas aceptados en las
matemticas ordinarias. Tambin esta presente la idea de
simplicidad: el conjunto de axiomas ha de ser lo ms re-
ducido posible y deben ser independientes unos de otros.
en LA POLEMICA INTUICIONISMO FORMALISMO
EN LOS AOS 20.
[54] Pedro Angulo L (2010): EPISTEMOLOGA DE LA
MATEMTICA. CASO: FORMALISMO
[55] Aroca, Jos Manuel El progreso de la matemtica en los
ltimos 25 aos
[56] H Putnam (1967): The Thesis that Mathematics is Logic.
[57] Russell Marcus (2006): Pluribus Putnams Unum p 6
[58] Keith Hossack (1991): Access to Mathematical Objects.-
Crtica: Revista Hispanoamericana de Filosofa.- Vol
XXIII, N 68 (Agosto 1991) 157- 181
10
[59] Iemho, Rosalie, Intuitionism in the Philosophy of
Mathematics, The Stanford Encyclopedia of Philo-
sophy (Fall 2012 Edition), Edward N. Zalta (ed.),
forthcoming URL = <http://plato.stanford.edu/archives/
fall2012/entries/intuitionism/>
[60] van Atten, Mark: Sobre la base de su losofa de la men-
te, en la que Kant y Schopenhauer fueron las principales
inuencias, Brouwer caracteriza principalmente las mate-
mticas como la libre actividad del pensamiento exacto,
una actividad que se basa en la intuicin pura del tiempo
(interior). Ningn reino independiente de los objetos y el
lenguaje juegan algn papel fundamental. De este modo
se esforz por evitar la Escila del platonismo (con sus pro-
blemas epistemolgico) y el Caribdis del formalismo (con
su pobreza de contenido). Dado que, en vista de Brouwer,
no hay factor determinante de la verdad matemtica fue-
ra de la actividad de pensar, una proposicin slo se hace
realidad cuando el sujeto ha experimentado su verdad (por
haber llevado a cabo una construccin mental apropiado),
de manera similar, una proposicin slo es falsa cuando el
sujeto ha experimentado su falsedad (por darse cuenta de
que una construccin mental apropiado no es posible). Por
lo tanto Brouwer puede armar que no hay verdades sin
experiencia (Brouwer, 1975, p.488). en 3. Brief Charac-
terization of Brouwers Intuitionism en Luitzen Egbertus
Jan Brouwer
[61] Carlos Torres A: El intuicionismo fue la respuesta de
Brouwer al logicismo de Russell, a la matemtica no cons-
tructiva y a las paradojas, y se apoya en tres tesis radicales:
i) los objetos matemticos se construyen directamente en
la intuicin pura, siendo por ello previos al lenguaje y a
la lgica; ii) las leyes que rigen el comportamiento de di-
chos objetos derivan de su construccin, no de la lgica,
como pretenden Frege, Russell y los logicistas 33 y iii) en
la matemtica no es admisible ninguna teora que rebase
el marco de lo dable en la intuicin, como sostienen Hil-
bert y los cantorianos. en KANT VISTO DESDE LAS
MATEMTICAS revista unam vol.6/num 1 (2005) sec-
cin El intuicionismo de Brouwer, pp 15-19
[62] L. E. J. Brouwer (1913): INTUITIONISM AND FOR-
MALISM Bull. Amer. Math. Soc. 20 (2): 8196. MR
1559427.
[63] DIEGO PAREJA HEREDIA: Para los intuicionistas las
bases de las matemticas estaban en la explicacin del ori-
gen, o la esencia de los nmeros naturales 1, 2, 3,... Para la
losofa intuicionista, todo ser humano tiene una intuicin
congnita en relacin con los nmeros naturales. Esto sig-
nica en primer lugar que tenemos una certeza inmediata
de lo que signicamos con el nmero 1, y en segundo lu-
gar, que el proceso mental que origin el numero 1 puede
repetirse. La repeticin de este proceso, induce la creacin
del nmero 2, una nueva repeticin y aparece el nmero
3. En esta forma, el ser humano puede construir cualquier
segmento inicial 1, 2, 3,..., n, donde n es un natural arbitra-
rio. Esta construccin mental de un nmero natural tras de
otro, nunca podra darse, si no tuviramos dentro de no-
sotros, una preconcepcin del tiempo. Cuando armamos
2 va despus de 1, el trmino despus tiene una conno- [73] Esta concepcin se basa, de acuerdo a Angela Patricia Va-
tacin de tiempo, y en ese aspecto Brouwer se adhiere al
lsofo Immanuel Kant (1724-1804) para quien la men-
te humana tiene una apreciacin inmediata de la nocin
5 NOTAS Y REFERENCIAS
de tiempo. Kant us la palabra intuicin para aprecia-
cin inmediata, y es de all de donde proviene el trmino
intuicionismo. " en 5.7 Brouwer, Heyting y el Intui-
cionismo.
[64] La intuicin a la que se hace referencia tiene un senti-
do ms bien especializado: Miguel Espinoza: Se supone
que un conocimiento intuitivo no ocurre en etapas, no es
gradual como una inferencia, como el conocimiento que
presupone el lenguaje, como la aplicacin de un algorit-
mo. Digo se supone porque la inmidiatez podra ser una
ilusin. Que la conciencia sea incapaz de seguir los dife-
rentes pasos del cerebro no signica que biolgicamen-
te haya tambin inmediatez. La rapidez de un ordenador
no implica intuicin. A veces en matemticas se entiende
tambin por intuicin las operaciones de calculo o lo que
llega a entenderse fcilmente. En la intuicin, lo aprehen-
dido y la operacin de la mente forman un solo proceso,
tienen una sola forma, por eso no se plantea el problema
de la verdad-adecuacion. Para preguntarnos si lo que pen-
samos corresponde o no a algo externo al pensamiento, es
necesario que el intelecto y la cosa estn separados. Esto
no ocurre en la intuicin. Es entonces la falta de distincin
sujeto-objeto, la inmediatez atribuida a la intuicin que ha
dado a los intuicionistas la conanza en este modo de co-
nocimiento. Toda inferencia debe estar basada nalmente
en verdades intuitivas, en Intuicionismo y objetividad p
101-102
[65] J. BARRIO GUTIRREZ: Intuicionismo matemtico.
Una de las corrientes matemticas de ms fecundidad en
el momento actual es el llamado Intuicionismo matemti-
co. En oposicin al formalismo de Hilbert (v.), fue crea-
do por L. Brouwer (v.) sobre la base de anteriores ideas
defendidas por L. Kronecker. La tesis fundamental de
este i(ntuicionismo) es la armacin de que la Matem-
tica (v.) est constituida exclusivamente por un conjun-
to de entes construidos intuitivamente por el matemti-
co, sobre los que se seguirn construyendo otros median-
te un sistema operacional claro, preciso y fecundo. en
INTUICIONISMO
[66] De acuerdo a Brouwer un ente solo existe si puede ser
construido a partir de la intuicin primordial.- Brouwer,
citado por Espinoza en Intuicionismo y objetividad p 110.
[67] Dick de Jongh: Intuicionismo
[68] Ferran Mir Sabat (2006): LA POLEMICA INTUICIO-
NISMO FORMALISMO EN LOS AOS 20. El Princi-
pio de Tercio Excluso.
[69] A. N. Kolmogorov: On the principle of excluded midd-
le, pp. 414437.
[70] ver Jorge Alberto Molina (2008): Negacin y Doble Ne-
gacin en el Intuicionismo de Brouwer
[71] SEP: 2.2 Intuitionism
[72] Ver Miguel Espinoza (2003): Intuicionismo y Objetividad
(Thmata, Nro 30) p 111 112 y 103-106
lencia Salas; Angela Patricia Franco Urin en el uso de
la nocin del tiempo como base primordial de su elabo-
racin del continuo. El tiempo es el nico elemento a

priori del continuo. Este se basa en lo que Brouwer de-
nomina intuicin primordial o primigenia, que consiste
en la capacidad de conciencia de la relacin entre antes-
despus, pasado-presente, como unidad de lo continuo y
lo discreto, la posibilidad de pensar a la vez en singula-
ridades unidas por un entre que nunca se agota por in-
sercin de nuevas singularidades, por tanto es imposible
tomar alguno de ellos como autosuciente construir el otro
a partir de ah. Zalamea (2001) menciona que uno de los
rasgos que caracteriza la idea de un continuo sinttico es
la Genericidad, que reere a lo no particularizante, a la
iniciacin de un gran espacio de posibilidades no actua-
lizadas ni determinadas y esto se observa en Brouwer to-
mando como base su Intuicin Primigenia. en SOBRE
UNA CONSTRUCCIN ALTERNATIVA AL CONTI-
NUO DE CANTOR: EL CONTINUO INTUICIONISTA
[74] ver: Abraham Adolf Fraenkel, Yehoshua Bar-Hillel, Az-
riel Lvy (1973): Foundations of set theory p 259
[75] L. E. J. Brouwer, citado por D. P HEREDIA 5.7 Brou-
wer, Heyting y el Intuicionismo.
[76] Michel Bordeau: El Error de Cantor en Jorge Martnez
Contreras, Aura Ponce de Len, Luis Villoro: El saber -
losco esp pp 396- 405
[77] Para profundizar estas, ver: Abraham Adolf Fraenkel,
Yehoshua Bar-Hillel, Azriel Lvy (1973): Foundations of
set theory pp 252-264: The Primordial intution of inte-
ger: Choice sequences and Brouwers concept of set
[78] van Atten, Mark: Los teoremas fundamentales del an-
lisis intuicionista - el teorema de la barra, el teorema del
abanico, y el teorema de la continuidad - se encuentran en
Sobre los dominios de denicin de las funciones (Brou- [91] Por ejemplo: Michael D. Resnik (2004): Structuralism and
wer, 1927). Los dos primeros son teoremas estructurales
sobre los diferenciales, y el tercero (que no debe confun-
dirse con el principio de continuidad para las secuencias
de eleccin) establece que cada funcin total [0,1]
es continua e incluso uniformemente continua. El teore-
ma del abanico es, de hecho, un corolario del teorema de
la barra; combinado con el principio de continuidad, que
no es vlido clsicamente, produce el teorema de continui-
dad, que tampoco es clsicamente vlido. Los teoremas de
las barras y el abanico son, por otro lado, clsicamente v-
lido, aunque las pruebas clsicas y intuicionista para ellos
no son intercambiables. Las pruebas clsicas no son in-
tuicionisticamente aceptable debido a la manera en que
depender de PEM, las pruebas intuicionistas no son clsi-
camente aceptables porque dependen de la reexin sobre
la estructura de las pruebas mentales. En esta reexin,
Brouwer introdujo la nocin de la forma de una prueba
con anlisis completo o cannica, que sera adoptada
ms tarde por Martin-Lf y por Dummett. En una nota al
pie, Brouwer menciona que tales pruebas, que l identica
con los objetos mentales en la mente del sujeto, suelen ser
innitas. en 4. Brouwers Development of Intuitionism en
Luitzen Egbertus Jan Brouwer
[79] Win Veldman: Some applications of Brouwers Thesis on
Bars, en One Hundred Years of Intuitionism (1907-2007):
The Cerisy Conference pp 326 y sig (esp p 330)
[80] THIERRY COQUAND (2003): About Brouwers fan
theorem
11
[81] Para una visin mas profunda de estos desarrollos, ver
A.G. Dragalin (originator) Intuitionism. en Encyclopedia
of Mathematics.
[82] ver Gustavo Fernndez D: Desarrollos posteriores de in-
tuicionismo y constructivismo p 102 y sig
[83] Bishop, E. (1967): Foundations of Constructive Analysis,
New York: McGraw-Hill (ver Revisin del libro (ambos
en ingls)
[84] Gustavo Fernandez D: SEMINARIO DE LOGICA Y FI-
LOSOFIA DE LA CIENCIA I, pgina 101: Desarrollos
posteriores de intuicionismo y constructivismo
[85] Bridges, Douglas, punto 3.3: Bishops Constructive
Mathematics en Constructive Mathematics, The Stan-
ford Encyclopedia of Philosophy (Fall 2012 Edition), Ed-
ward N. Zalta (ed.)
[86] Stewart Shapiro, en Mathematical Structuralism en In-
ternet Encyclopedia of Philosophy (IEP) 2010
[87] Stewart Shapiro, Thinking About Mathematics, Oxford
2000, S. 263
[88] Para una introduccin a este aspecto, ver
STRUCTURALISM, MATHEMATICAL Ver tam-
bin Julian C. Cole (2010): Mathematical Structuralism
Today
[89] Por ejemplo: Uri Nodelman - Edward N. Zalta.:
Foundations for Mathematical Structuralism
[90] Por ejemplo: S. Shapiro (1997): Philosophy of Mathema-
tics: Structure and Ontology
the Independence of Mathematics
[92] Por ejemplo: G. Hellman (1996): Structuralism without
structures
[93] Para una visin general del empirismo matemtico, ver
David Bostock (2009): Empiricism in the Philosophy of
Mathematics en D. M. Gabbay; P. Thagard; J. Woods
(edtrs): Philosophy of Mathematics p 157- 230
[94] J. S. Mill: La matemtica es la ciencia emprica de vali-
dez ms general..- citado por Mario A. Natiello en Los
fundamentos de la matemtica y los teoremas de Gdel.-
Vase tambin J. S. Mill: System of logic (El sistema de
la lgica), vol 2, libro III, cap XXIV, punto 4, p 162, etc
[95] P Kitcher: The Nature of Mathematical Knowledge, p 4
(introduccin)
[96] S. Krner, (1965): An Empiricist Justication of Mathe-
matics, en Yehoshua Bar-Hillel (ed.), Logic, Methodo-
logy and Philosophy of Science.- Amsterdam: North Ho-
lland, 1965, pp. 222-227. (cuentas de International Con-
gress of Logic, Methodology and Philosophy of Science
1964)
[97] L Kalmr (1967): Foundations of mathematics - Whither
now?" en I. Lakatos (ed.). Problems in the Philosophy
of Mathematics Amsterdam: North-Holland, 1967, pp.
192-193. (Proceedings of the Colloquium in the Philo-
sophy of Science, London, 1965.)
 12 5 NOTAS Y REFERENCIAS

[98] En la lgica escolstica, un trmino sincategoremtico
(sincategorema) es una palabra que no puede servir co-
mo el sujeto o el predicado de una proposicin, y por lo
tanto no puede representar a ninguna de las categoras de
Aristteles, pero se puede utilizar con otros trminos para
formar una proposicin. Palabras como 'todo', 'y', 'si' son
ejemplos de tales trminos. Ver Syncategorematic term
[99] Patrick Peccatte (1998): Quasi-empiricism and anti-
foundationalism
[100] P Kitcher (1983) The Nature of Mathematical Knowledge
(Oxford University Press)
[101] C. E. Behrens (2012): Empiricism: An Environment for
Humanist Mathematics
Lorenzo, J. de (1992), Kant y la matemtica. El uso
constructivo de la razn pura, Editorial Tecnos, 1992
Maza Gmez, C. (2008), Matemticas en la antige-
dad
Macbeth; Danielle: Logic and the Foundations of
Mathematics
Ruiz Ziga; ngel: Matemtica y Filosofa -
CIMM - Universidad de Costa Rica
Shabel, Lisa (1997), Mathematics in Kants Criti-
cal Philosophy. Reections on Mathematical Practi-
ce, London: Routledge, 2003

[102] I. Lakatos (1976): A Renaissance of Empiricism in the Shapiro; Stewart (1997). Philosophy of Mathe-
Recent Philosophy of Mathematics matics: Structure and Ontology. Oxford University
Press.
[103] Eduardo Harada O (2005): El cuasi-empirismo en la lo-
sofa de las matemticas p 18 Shapiro, Stewart (2000). Thinking about Mathema-
tics: The Philosophy of Mathematics. Oxford Univer-
sity Press.
5.1 Bibliografa
Shapiro; Stewart (Edtr 2005): The Oxford Hand-
Can L; Camino (1993): La matemtica: creacin book of Philosophy of Mathematics and Logic
y descubrimiento
Sols, Carlos y Sells, Manuel (2005), Historia de la
Collette; Jean-Paul (1993): Historia de las matem- ciencia, Editorial Espasa, 2005
ticas, volumen 2
Zalamea, Fernando (2009), Filosofa sinttica de las
Davis; Philip J. y Hersh; Reuben (1981): matemticas contemporneas, Editorial Universidad
Experiencia matemtica (Introduccin general Nacional de Colombia.
no tcnica)
Dummett, Michael (1998), The Philosophy of 5.2 Enlaces externos
Mathematics en Grayling, A. C. (ed.)Philosophy
2: Further Through The Subject, Oxford University Logicismo, en PhilPapers.
Press, 1998.
Formalismo, en PhilPapers.
Gabbay;D. M.- Thagard; P.- Woods; J. (edts):
Philosophy of Mathematics Intuitionismo y constructivismo, en PhilPapers.

George; Alexander - Velleman; Daniel (2001) Estructuralismo, en PhilPapers.

Philosophies of Mathematics
Kline; Morris (1980): Mathematics: The Loss of
Certainty
Kline; Morris: Matemticas. La prdida de la certi-
dumbre. Siglo XXI Espaa 1985 (1a Ed.), Mxico
2000 (5a Ed.)
Krner, Stephan (1968), Introduccin a la losofa
de la matemtica, Editorial Siglo XXI, 1968
Lakatos, Imre. (1978 / 1986) Pruebas y Refutacio-
nes: La Lgica Del Descubrimiento Matemtico.-
Alianza Universidad
Lakatos, Imre. La metodologa de los Programas
de investigacin cientca. Alianza. Madrid. 1993.
Lorenzo, Javier. de: La matemtica: de sus funda-
mentos y crisis.- Tecnos, Madrid.
 13

6 Origen del texto y las imgenes, colaboradores y licencias

6.1 Texto
Filosofa de las matemticas Fuente: https://es.wikipedia.org/wiki/Filosof%C3%ADa_de_las_matem%C3%A1ticas?oldid=100834514
Colaboradores: Sabbut, CEM-bot, Davius, Lnegro, Technopat, Leonpolanco, Ferran Mir, Sophivorus, SuperBraulio13, Jerowiki, Grilli-
tus, Hiperfelix, KLBot2, MetroBot, Invadibot, Acratta, Elvisor, Rauletemunoz, Rotlink, Eyetheunlord, Emi.cool3, Orlansky, Olderbrown,
Glmlg, Ricmart, BenjaBot, Lectorina, Eliasgv3, MomijiRoBot, Semibot y Annimos: 11

6.2 Imgenes

6.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0