Está en la página 1de 13

Filosofa de las matemticas

La losofa de las matemticas es un rea de la losofa vocado controversia y debate; claricar los objetivos
terica, que trata de comprender y explicar los requisitos, bsicos de esta prctica y los mtodos apropiados es,
el objeto, el mtodo y la naturaleza[1] de las matemticas. por lo tanto, una tarea metodolgica y fundacional
Como rea de estudio puede ser aproximada desde dos importante, situando la losofa de las matemticas
dentro de la losofa general de la ciencia.
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- De acuerdo a Bertrand Russell, las matemticas son
mticos en la relacin entre las matemticas y la losofa. un estudio que, cuando se parte de sus porciones ms
Desde el punto de vista matemtico, el inters principal familiares, puede llevarse a cabo en cualquiera de
es proveer al conocimiento matemtico de fundaciones dos direcciones opuestas (una busca la expansin del
rmes. Es importante mantener presente que aunque es- conocimiento, la otra darle fundamentos. nota del
tos puntos de vistas pueden implicar diferentes esquemas traductor). Pero se debe entender que la distincin
e intereses, no son opuestos, sino ms bien complemen- es una, no en la materia objeto, pero en el estado
tarios: Cuando los matemticos profesionales se ocupan de la mente del investigador...(...)... as como nece-
de los fundamentos de su disciplina, se dice que se dedi- sitamos dos tipos de instrumentos, el telescopio y el
can a la investigacin fundamental (o trabajo funda- microscopio, para la ampliacin de nuestras capaci-
cional o de fundamentos.- ver Metamatemtica). Cuando dades visuales, igual necesitamos dos tipos de instru-
los lsofos profesionales investigan cuestiones los- mentos para la ampliacin de nuestras capacidades
cas relativas a las matemticas, se dice que contribuyen a lgicas, una para hacernos avanzar a las matemti-
la losofa de las matemticas. Por supuesto, la distincin cas superiores, y el otro que nos lleve hacia atrs,
entre la losofa de las matemticas y los fundamentos de hacia los fundamentos lgicos de las cosas que esta-
las matemticas es vaga, y a la mayor interaccin que ha- mos inclinados a tomar por sentado en las matemti-
ya entre los lsofos y los matemticos que trabajan en cas. Veremos que mediante el anlisis de las nocio-
cuestiones relativas a la naturaleza de las matemticas, nes matemticas ordinarias se adquiere una nueva
mejor..[2] perspectiva, nuevos poderes, y los medios de llegar
a nuevos temas matemticos completos, mediante
De acuerdo a Jeremy Avigad (profesor de cien- la adopcin de nuevas lneas de avance, siguiendo
cias matemticas y de losofa en la Universidad nuestro viaje hacia atrs.[4]
Carnegie Mellon[3] ) El conocimiento matemtico
ha sido considerado por mucho tiempo como un Como ya se ha sugerido, estas aproximaciones no son
paradigma del conocimiento humano con verdades conictivas. En las palabras de Imre Lakatos: Al discu-
que son a la vez necesarias y ciertas, por lo que tir los esfuerzos modernos para establecer las fundaciones
dar una explicacin del conocimiento matemtico para el conocimiento matemtico uno tiende a olvidarse
es una parte importante de la epistemologa. Los que esos son solo un captulo en el gran esfuerzo para
objetos matemticos, tales como los nmeros y los superar el escepticismo a travs de establecer las funda-
conjuntos, son ejemplos arquetpicos de abstraccio- ciones para el conocimiento en general. El objeto de mi
nes, dado que el tratamiento de tales objetos en contribucin es mostrar la losofa matemtica mo-
nuestro discurso es como si fueran independientes derna como profundamente empotrada en la episte-
del tiempo y el espacio, encontrar un lugar para los mologa general y como solo siendo entendible en ese
objetos de este tipo en un marco ms amplio del contexto. (nfasis de Lakatos.[5] )
pensamiento es una tarea central de la ontologa, o
Dada la vastedad y complejidad del tema, lo que sigue
metafsica. El rigor y la precisin del lenguaje mate-
ofrece una visin muy supercial.
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 1 Introduccin
losofa del lenguaje. Aunque el pensamiento mate-
mtico ha demostrado un alto grado de estabilidad a Desde la antigedad la losofa ha tenido inters en, por
travs de la historia, su prctica tambin ha evolucio- lo menos, ciertos aspectos de la matemtica.[6] En las pa-
nado con el tiempo, y algunos desarrollos han pro- labras de Miguel de Guzmn: Pero hay otros aspectos

1
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 era universalmente considerada la rama ms
consenso de todos. Los lsofos interesados en aclarar los rme del conocimiento.... La Geometra era,
misterios del conocimiento humano han visto en el pen- simplemente, el estudio de las propiedades del
samiento matemtico un campo ideal de trabajo donde espacio. Estas se manifestaban como verdades
poner a prueba sus hiptesis y teoras..[7] Mario Bunge objetivas, universalmente vlidas para la men-
va ms lejos y llega a sugerir que las matemticas son no te humana.
slo el fundamento del quehacer cientco sin tambin
del losco.[8]
Durante el siglo XIX sucedieron varios desas-
Por mucho de ese tiempo la opinin general era la que tres que iban a cambiar completamente esta si-
Carl Friedrich Gauss resumi: La matemtica es la rei- tuacin. El primero fue el descubrimiento de
na de las ciencias y la aritmtica es la reina de las mate- geometras no eucldeas, al que inmediatamen-
mticas. Ella a menudo se digna a prestar un servicio a la te sigui otro desastre mayor: el desarrollo del
astronoma y a otras ciencias naturales, pero en todas las anlisis por caminos contrarios a la intuicin
relaciones, tiene derecho a la primera la.[9] Esta pre- geomtrica (curvas que llenan el espacio, fun-
eminencia se deba a una percepcin que, ltimamente, ciones continuas no diferenciables, etc) lo que
emana de Platn: En las matemticas se halla el origen y puso de maniesto la gran vulnerabilidad del
fundamento de la teora platnica de las formas o ideas. nico fundamento que hasta entonces tenan
En esta la idealizacin de los entes matemticos se trans- las Matemticas: la intuicin geomtrica. Esto
forma en la idealizacin de los entes fsicos y psquicos. era una autntica catstrofe puesto que en al-
La verdad matemtica, por su invariabilidad en el tiem- gn sentido implicaba la prdida de la certeza,
po, era el modelo a seguir en todo conocimiento intelec- no solo en la Matemtica sino en todo el cono-
tual. El mtodo deductivo, que partiendo de axiomas y cimiento humano.
denicines llegaba a la demostracin de teoremas, era el
modelo prestigioso de razonamiento para todo saber. En
Se pens entonces buscar otra base segu-
el dilogo Menn Scrates, a travs de preguntas y res-
ra para fundamentar las Matemticas, y as
puestas, hace que un esclavo alcance por su propio razo-
Dedekind y Weierstrass mostraron como era
namiento una verdad matemtica; as, de una manera po-
posible construir el anlisis -el continuo- a par-
pular, expone Platn que las matemticas estn en el alma
tir de la Aritmtica. Pareca que todo volva a
humana, ya que en esta se halla presente el logos que go-
estar en orden, pues nadie dudaba de la certeza
bierna el mundo material mediante las proporciones arit-
proporcionada por nuestra intuicin de contar
mticas y geomtricas. Slo se requiere la introspeccin
y as los nmeros enteros seran la nueva base
para volvernos conscientes de ese saber interno..[10]
segura para todo el edicio matemtico... (ver
Esa posicin es generalmente conocida como realismo; programa de Hilbert).
platonismo o realismo platnico y de manera muy es-
quemtica, puede sintetizarse en la creencia de que los Pero el intento de fundamentar rigurosamen-
objetos matemticos son reales y su existencia es un he- te la Matemtica iba a ser llevado un paso
cho objetivo e independiente de nuestro conocimiento de ms lejos por Frege, quien comenz un am-
los mismos.... existen fuera del espacio y del tiempo de bicioso programa para basar las Matemticas
la experiencia fsica y cualquier pregunta signicativa so- en la Lgica -a travs de la Aritmtica. Este
bre ellos tiene una respuesta denida. As el matemtico fue el punto de partida de la escuela logicis-
es, en este sentido, como un cientco emprico que no ta que ms tarde seria continuada por Russell
puede inventar ni construir sino solo descubrir algo que y Whitehead. La idea logicista consista en de-
ya existe.[11] mostrar que la Matemtica clsica era parte de
Sin embargo, hacia nes del siglo XIX esta situacin co- la lgica, de modo que una vez culminado su
menz a cambiar, proceso que eventualmente culmin, programa podra asegurarse que la Matemti-
a nes del siglo XIX y comienzo del XX, en la llamada ca estaba libre de contradiccin al menos en la
crisis de los fundamentos:[12][13][14][15][16][17] La ima- misma medida que la propia lgica.
gen tradicional de las matemticas (formal e infalible) fue
cuestionada a raz de la llamada crisis de los fundamen- Sin embargo, ya en ese momento se haban
tos de las matemticas, que sucedi en el siglo XIX. Di- hecho unos descubrimientos que iban a sacu-
cha crisis se origin principalmente por dos descubri- dir completamente este optimismo dejando de
mientos: primero el de las geometras no euclidianas y, nuevo a la Matemtica sin fundamentos segu-
segundo, el de la teora de los conjuntos.[18] 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- de manera atemporal y exacta y que su veracidad no de-
tinuo), que tambin haba sido utilizada por pende ni de evidencias empricas ni de puntos de vista
Frege en sus fundamentacin de la Aritmti- personales. La tarea consiste tanto en determinar las con-
ca. Pero la teora de Cantor, y en particular diciones de la posibilidad de adquirir ese conocimiento,
su hiptesis bsica sobre la existencia de con- como en cuestionar crticamente este punto de partida.
juntos encerrada en su denicin: un conjun-
to es cualquier coleccin de objetos distintos
de nuestra intuicin o nuestro pensamiento, 3 Corrientes
que puede ser traducida por cualquier condi-
cin determina un conjunto, iba a revelarse
inconsistente. 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- El empirismo matemtico[93] puede trazarse a la obra de
mente como una ciencia que se ocupa de las estructuras John Stuart Mill,[94] para quien los conceptos matemti-
generales, es decir, las relaciones de los elementos dentro cos proceden del mundo fsico y las verdades de la mate-
de un sistema. El estructuralismo matemtico es simi-
mtica son verdades acerca del mundo fsico, aunque de
lar, en algunos aspectos, al punto de vista funcionalista un carcter ms general. Las verdades matemticas seran
en, por ejemplo, la losofa de la mente. Una denicin
las verdades ms generales de todas (Dummett 1998, pp.
funcional es, en efecto, estructural, ya que, tambin se 125-126).
centra en las relaciones que los elementos denidos tie-
nen el uno al otro. La diferencia es que las estructuras A pesar que la sugerencia de Mill no despert gran inte-
matemticas son ms abstractos, y autnomas, en el sen- rs entre matemticos (P Kitcher: el problema que mu-
tido de que no hay restricciones sobre el tipo de cosas que chas de sus formulaciones son imprecisas (casi invitan-
pueden ejemplicar (vase Shapiro [1997, captulo 3, do las bien conocidas ironas de Frege) y, en adicin,
6]).[86] Mill solo considera las ms rudimentarias partes de la
matemticas[95] ), la idea bsica fue eventualmente reto-
Para ilustrar lo anterior, considrese un sistema ejemplo mada por dos autores: Stephan Krner[96] y Lszl Kal-
- tal como la administracin de un club deportivo.[87] Los mr.[97] Para Krner, las teoras cientcas integradas
distintos cargos (presidente, auditor, tesorero, etc.) son en la matemtica funcionan y estn justicadas, junto
independientes de las personas que asumen esas tareas. con su marco de trabajo matemtico como constituyen-
Considerando slo el esquema de los cargos (y por tanto tes sincategoremticos[98] de las proposiciones empricas
omitiendo las personas reales que trabajan en ellos), se ". Para Kalmar los axiomas de cualquier rama intere-
obtiene la estructura general de una asociacin. El club sante de las matemticas fueron originalmente extrados,
en s, con las personas que han tomado posesin de los ms o menos directamente, de los hechos empricos, y las
cargos, ejemplica esta estructura. reglas de inferencia utilizadas en ella originalmente mani-
Del mismo modo, cualquier sistema cuyos elementos ten- festaron su validez universal en nuestra prctica del pen-
gan un sucesor nico ejemplica la estructura de los n- samiento; III) la consistencia de la mayora de nuestros
7

sistemas formales es un hecho emprico, (y) an cuando modicables;10 5) debemos preferir no el programa ma-
se ha demostrado, la aceptabilidad de los mtodos me- temtico que est completamente axiomatizado sino el
tamatemticos utilizados en la prueba (por ejemplo in- que sea progresivo, esto es, el que permita descubrir he-
duccin transnita hasta cierto ordinal constructivo) es chos nuevos e inesperados.[103]
de nuevo un hecho emprico..[99] El cuasi empirismo de Putman: Hilary Putnam parte
Esta visin ha sido expandida por, entre otros, Philip de las tesis quineanas acerca del holismo de las teoras y
Kitcher, quien busca sistematizarla;[100] Carl E. Behrens, la naturalizacin de la epistemologa, pero tambin, como
quien sugiere que Al rehabilitar el empirismo de John su maestro Reichenbach, del impacto de la fsica moderna
Stuart Mill y combinarlo con el conocimiento cada vez en nuestra concepcin de la ciencia y de la realidad. En las
mayor de la naturaleza de la mente humana, podemos es- matemticas, segn Putnam, hay un juego entre postula-
capar del indenible universo platnico de la conciencia cin, pruebas informales o cuasi-empricas y revolucin
inmaterial y abandonar la vana bsqueda por la certidum- conceptual. Putnam reconoce que las matemticas no son
bre que ha plagado la losofa desde los tiempos de los ciencias experimentales y que son ms a priori que, por
griegos.[101] 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
3.9 Cuasi-empirismo fundamental en nuestra concepcin del mundo o en nues-
tra forma de vida y que, por tanto, no estamos dispuestos
El trmino cuasi-empirismo fue introducido por Imre La- a renunciar a ello. Concretamente, la teora de conjun-
katos[102] a n de enfatizar un punto crucial de su suge- tos es indispensable para la fsica, por ello, las entidades
rencia: Una teora euclidiana puede ser proclamada ver- sobre las cuales cuantica, a saber, los conjuntos, deben
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- conocimiento que proporciona la fsica sin aceptar dichas
nalmente, en una teora Euclidiana los postulados verda- entidades o, mejor dicho, al aceptar el conocimiento de
deros bsicos en la cumbre del sistema deductivo (ge- la fsica, ya se ha aceptado, implcitamente, la teora de
neralmente llamados 'axiomas) demuestran, por as de- conjuntos. As, las matemticas comparten el contenido
cirlo, el resto del sistema; en una teora cuasi-emprica emprico con las teoras fsicas de las que forman parte y
los postulados bsicos (verdaderos) son explicados por se modican junto con ellas.
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 4 Vase tambin
lgica ni su lenguaje sino que hay que estudiar su prc-
tica real, la manera en que efectivamente las aplican los Fundamentos de la matemtica
matemticos, las ensean los profesores y las aprenden
los estudiantes, su historia, las revoluciones que ocurren Historia de la matemtica
en ellas, los paradigmas y los programas que dominan,
las comunidades de matemticos, el tipo de retrica que Principia mathematica
se emplea en ellas y el papel que juega el conocimiento Logicomix
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 5 Notas y referencias
matemticas deriva de que nos hemos olvidado, no co-
nocemos, o no valoramos adecuadamente el proceso de
[1] Natura es la traduccin latina de la palabra griega physis
pruebas y refutaciones informales, siempre falibles, por
(), que en su signicado original haca referencia a
medio del cual se llega a las pruebas formales que des- la forma innata en la que crecen espontneamente plantas
pus dan lugar a las axiomatizaciones. Lakatos propone y animales. (ver D. Harper Physical). En Idioma alemn
que: 1) las pruebas formales son falseables por medio de el trmino naturaleza proviene de naturist, que signica
las pruebas informales; 2) el proceder de las matemti- el curso de los animales, carcter natural."(ver D. Harper:
cas no es axiomtico, como plantean los formalistas, sino Nature
basado en una sucesin de pruebas y refutaciones que s-
lo llegan a resultados falibles; 3) el intento de proveer de [2] Horsten, Leon, Philosophy of Mathematics, The Stanford
fundamentos a las matemticas conlleva un retroceso al Encyclopedia of Philosophy (Summer 2012 Edition), Ed-
innito; 4) la historia de las matemticas debe ser estudia- ward N. Zalta (ed.)
da no a travs de teoras aisladas sino de series de teoras [3] Jeremy Avigad. Consultado el 4 de abril de 2017.
o, mejor an, de programas de investigacin que inclu-
yen un ncleo rme no falseable y un cinturn protector [4] Bertrand Russell: Introduction to Mathematical Philosophy
de hiptesis auxiliares que s son falseables, pero que son chap 1
8 5 NOTAS Y REFERENCIAS

[5] I Lakatos: Innite regress and foundations of mathema- [24] Ferran Mir Sabat (2006): Las discusiones posteriores so-
tics en Mathematics, science and epistemology Cambridge bre la losofa matemtica (la metamatemtica) ilustrarn
U Press, 1978, p. 4 las distintas concepciones de la disciplina. Durante los aos
20s se desarrollar un profundo debate sobre las bases de
[6] Por ejemplo: Ivn Pedro Guevara V (2008): La loso- las matemticas que, a pesar de su cierre aparente, sigue
fa ha considerado siempre la matemtica como uno de vigente en nuestros das. en LA POLEMICA INTUICIO-
los objetos principales de sus investigaciones,.. " en LA NISMO FORMALISMO EN LOS AOS 20. Cuaderno
FILOSOFIA DE LA MATEMATICA: LA RAZON DE de Materiales. Num. 23 (2011). ISSN 1139-4382. Pgi-
SER DEL NUMERO.- Diego Fusaro: Siempre hay una nas 557-574.
relacin inseparable entre la matemtica y la losofa..
en IL RAPPORTO FILOSOFIA - MATEMATICA (en [25] Por ejemplo: Edward Nelson (2006): Warning Signs of a
italiano en el original) Possible Collapse of Contemporary Mathematics

[7] M de Guzmn: Filosofa y matemticas [26] Por ejemplo: Alex Levine: Conjoining Mathematical Em-
piricism with Mathematical Realism: Maddys Account of
[8] Adianez Fernndez Bermdez: Una visin de la ciencia y Set Perception Revisited en Synthese.- Vol. 145, No. 3
su relacin con la tica, en Mario Bunge (Jul., 2005), pp. 425-448
[9] R Gauss: frases clebres de o sobre Carl Friedrich Gauss.
[27] Vase: Guillermo Mattei Irrazonable ecacia de la mate-
[10] El sentido de las matemticas en la losofa de Pla- mtica - ver tambin Eugene Paul Wigner: The Unreaso-
tn. Consultado el 4 de abril de 2017. nable Eectiveness of Mathematics in the Natural Scien-
ces
[11] Jos Luis Gmez Pardo: Observaciones sobre la natura-
leza de la Matemtica, en Luis Puelles et al (Wenceslao J. [28] Luke Jerzykiewicz (2007) La gran mayora de los realis-
Gonzlez edt) (1988): Aspectos Metodolgicos de la In- tas de hoy en da, incluyendo el propio Stewart Shapiro,
vestigacin Cientca: Un Enfoque Multidisciplinar p 127 sostienen que las entidades matemticas (o estructuras)
son abstractas y a-causal. 'Realismo', de hecho, viene a ser
[12] JAVIER DE LORENZO: La matemtica: de sus funda- casi sinnimo de 'platonismo'. en Platonist epistemology
mentos y crisis"- Tecnos, Madrid and cognition p 1

[13] SIGLO XX: CRISIS EN LOS FUNDAMENTOS. [29] Para una visin general de esta posicin, ver Penelope
Consultado el 4 de abril de 2017. Maddy (1992) Realism in Mathematics

[14] JOS M. FERREIRS: The Crisis in the Foundations of [30] Haim Gaifman: On Ontology and Realism in Mathematics
Mathematics (en Princeton Companion to Mathematics
Proof) [31] De acuerdo a Davis y Hersh (ver la Experiencia mate-
mtica el matemtico profesional tpico es un platonis-
[15] A Timeline for the Foundational Crisis and the Vienna ta durante la semana y un formalista en el Domingo (ver
Circle. Consultado el 4 de abril de 2017. Realismo platnico), lo que generalmente se interpreta co-
mo signicando que la mayora de los matemtico se com-
[16] Herman Weyl On the New Foundational Crisis in Mathe- portan como si aceptaran que los objetos matemticos y
matics sus relaciones fueran objetivos, independientes de nuestra
[17] Mario O. Gonzlez (1950): [http://www.filosofia.org/ voluntad o subjetividad, pero si se les demanda una jus-
hem/dep/rcf/n06p025.htm La crisis actual de los funda- ticacin de su posicin, adoptan el formalismo (ver ms
mentos de la Matemtica] abajo)

[18] Eduardo Harada O (2005): El cuasi empirismo en la lo- [32] P Maddy, citada por Luis Miguel ngel Cano P (2003) en
sofa de las matemticas Frege y la nueva lgica.

[19] Jos Luis Gmez Pardo: Observaciones sobre la natura- [33] K Gdel: Los conceptos tienen una existencia objetiva
leza de la Matemtica, en Luis Puelles et al (Wenceslao en My philosophical viewpoint
J. Gonzlez edt) (1988): Aspectos Metodolgicos de la
[34] Guillerma Daz Muoz (2000): Aproximacin del realis-
Investigacin Cientca: Un Enfoque Multidisciplinar p
mo matemtico de Gdel al realismo constructivo de Zu-
125- 156:
biri
[20] Encyclopedia Britanica:
[35] Michael Dummett (1998): La existencia de los objetos
[21] Por ejemplo: Ulrich Majer (2004): Husserl Between Fre- matemticos. Teorema, XVII (2). pp. 5-24.
ges Logicism And Hilberts Formalism
[36] Mark Steiner (1983): Mi intencin es argumentar a fa-
[22] Ernst Snapper (1979); The Three Crisis in Mathematics: vor de la realidad de ciertas entidades matemticas en
Logicism, formalism and Intuitionism Mathematical Realism Nos Vol. 17, No. 3 (Sep., 1983),
pp. 363-385
[23] Lindstrm, S.; Palmgren, E.; Segerberg, K.; Stoltenberg-
Hansen, V. (Eds.) (2009): Logicism, Intuitionism, and [37] The Fregean Argument for Object Platonism. Consul-
Formalism: What Has Become of Them? tado el 4 de abril de 2017.
9

[38] Internet Enciclopedia of Philosophy: Mathematical Plato- [48] Para una profundizacin, ver, por ejemplo Douglas Pat-
nism terson: Introduccin en New Essays on Tarski and Phi-
losophy; P. M. S Hacker: On Carnaps Elimination of
[39] Jos Ferreirs (1999) Matemticas y platonismo(s) Metaphysics en Wittgenstein: Connections and Contro-
[40] L Bonjour: In Defense of Pure Reason. (London: versies, etc
Cambridge University Press, 1998) Entrada en Wikipe- [49] Formalismo, I. Filosofa.
dia inglesa acerca de Bonjour
[50] Para una introduccin general, ver ngel Ruiz Z 26.3 El
[41] P Benacerraf: The Truth
formalismo (en Historia y losofa de las matemticas)
[42] IEP; The Indispensability Argument in the Philosophy of
[51] Jean-Paul Collette (1993): Historia de las matemticas,
Mathematics
volumen 2, Volume 2 p 577 y sig
[43] W. D. Hart (1991): Benacerrafs Dilemma
[52] Diego Pareja H (2008): el concepto moderno de forma-
[44] Bob Hale and Crispin Wright Benacerrafs Dilemma Re- lismo que incluye las tcnicas del razonamiento nitista
visited debemos atribuirlo a Hilbert y a sus discpulos. en 5. 8
David Hilbert y el formalismo. Razonamientos nistas
[45] Eleonora Cresto (2002): Benacerraf nos ofrece all un son aquellos razonamientos absolutamente seguros y li-
dilema, moldeado sobre la dicotoma entre platonismo y bres de cualquier clase de sospecha (ibid)
constructivismo: el primero nos permite entender como es
que los enunciados matemticos son verdaderos, pero no [53] Ferran Mir S (2006): La conocida intervencin de David
como es que los conocemos, el segundo explica el conoci- Hilbert (1862-1943) en el Congreso Internacional de Pa-
miento matemtico, pero no la verdad. en Comentarios a ris de 1900, en la que planteo los 23 problemas matem-
La losofa de la matemtica del segundo Wittgenstein: ticos a resolver durante el siglo XX, iba mucho ms all
El problema de la objetividad de la prueba matemtica de la mera relacin de dichos problemas. La conviccin
claramente expresada por Hilbert de que todo problema
[46] Rui Vieira (2010): Sin embargo, en un importante ar- ha de tener su solucin basada en la pura razn [6, Pags.
tculo, Mathematical Truth, en el Journal of Philosophy, 125 y ss.]: En las matemticas no existe el ignorabimus.
Vol. 70 (1973), el lsofo Paul Benacerraf argument que Un ao antes, Hilbert haba publicado su Grundlagen der
las explicaciones anti-platnicas de las matemticas de- Geometrie, en el que estableca los axiomas a partir de
privan los enunciados matemticos de su verdad objeti- los cuales poda desarrollarse, mediante pura deduccin,
va en el sentido cotidiano popular, es decir, de la idea de toda la disciplina en todas sus variantes, tanto euclideas
que las verdades matemticas son verdaderas piense al- como no euclideas. Mediante este ideal axiomtico poda
guien en ellas o no. La verdad objetiva es una propiedad construir un raciocinio sobre objetos que no necesitaba
de las matemticas que para la mayora de nosotros es ob- denir; al contrario de Euclides que haba precisado de
via, pero explicaciones anti-platnicas hacen las matem- una denicin (intuitiva) de los objetos bsicos (punto, l-
ticas subjetivas (aunque el argumento de Benacerraf se nea, plano, etc.). El hecho de prescindir de las deniciones
dirige al convencionalismo y al formalismo, no creo que de los objetos bsicos, hace que se le haya reprochado la
las tentativas del intuicionismo se libren nada mejor. en reduccin de las matemticas al estudio de las simples re-
Mathematical Knowledge: A Dilemma. laciones entre objetos abstractos: un puro juego con sm-
[47] GREGORY LAVERS (2009): El sentido comn respec- bolos. La combinacin del ideal axiomtico con la convic-
to a la verdad y la forma sintctica de los enunciados mate- cin de que todo problema debe tener solucin, conducir
mticos nos lleva a concluir que los enunciados matem- en los aos sucesivos a la idea de completud del sistema
ticos se reeren a objetos abstractos. Al mismo tiempo, axiomtico. En los primeros aos del siglo XX, esta idea
ese sentido comn, en relacin a la epistemologa, pare- es todava vaga [13, Pg. 151], pero esta claro que Hilbert
ce implicar que los enunciados matemticos no pueden considera que desde un reducido grupo de axiomas pue-
referirse a objetos abstractos (en BENACERRAFS DI- den derivarse la totalidad de los teoremas aceptados en las
LEMMA AND INFORMAL MATHEMATICS) y Se- matemticas ordinarias. Tambin esta presente la idea de
gn Benacerraf, cualquier explicacin de la verdad ma- simplicidad: el conjunto de axiomas ha de ser lo ms re-
temtica debe satisfacer dos requisitos bsicos: erigirse ducido posible y deben ser independientes unos de otros.
sobre la base de una semntica y de una epistemologa en LA POLEMICA INTUICIONISMO FORMALISMO
paralelas a las usuales en el discurso no matemtico. La EN LOS AOS 20.
semntica usual es necesaria para que los trminos de los [54] Pedro Angulo L (2010): EPISTEMOLOGA DE LA
enunciados matemticos se reeran a entidades reales, si MATEMTICA. CASO: FORMALISMO
tales enunciados han de ser verdaderos, como suponemos
en nuestro usos lingsticos habituales. La epistemologa [55] Aroca, Jos Manuel El progreso de la matemtica en los
se necesita para que la verdad de los enunciados matem- ltimos 25 aos
ticos presuponga algn conocimiento de las entidades re-
feridas por los trminos enunciados, como suponemos en [56] H Putnam (1967): The Thesis that Mathematics is Logic.
nuestro discurso habitual.... prosigue Benacerraf, en gene- [57] Russell Marcus (2006): Pluribus Putnams Unum p 6
ral las explicaciones disponibles de la verdad matemtica
no logran satisfacer ambos requisitos, sino ms bien al- [58] Keith Hossack (1991): Access to Mathematical Objects.-
guno de ellas a expensas del otro.. Francisco Rodriguez Crtica: Revista Hispanoamericana de Filosofa.- Vol
C: Lo que es y no es la verdad matemtica XXIII, N 68 (Agosto 1991) 157- 181
10 5 NOTAS Y REFERENCIAS

[59] Iemho, Rosalie, Intuitionism in the Philosophy of de tiempo. Kant us la palabra intuicin para aprecia-
Mathematics, The Stanford Encyclopedia of Philo- cin inmediata, y es de all de donde proviene el trmino
sophy (Fall 2012 Edition), Edward N. Zalta (ed.), intuicionismo. " en 5.7 Brouwer, Heyting y el Intui-
forthcoming URL = <http://plato.stanford.edu/archives/ cionismo.
fall2012/entries/intuitionism/>
[64] La intuicin a la que se hace referencia tiene un senti-
[60] van Atten, Mark: Sobre la base de su losofa de la men- do ms bien especializado: Miguel Espinoza: Se supone
te, en la que Kant y Schopenhauer fueron las principales que un conocimiento intuitivo no ocurre en etapas, no es
inuencias, Brouwer caracteriza principalmente las mate- gradual como una inferencia, como el conocimiento que
mticas como la libre actividad del pensamiento exacto, presupone el lenguaje, como la aplicacin de un algorit-
una actividad que se basa en la intuicin pura del tiempo mo. Digo se supone porque la inmidiatez podra ser una
(interior). Ningn reino independiente de los objetos y el ilusin. Que la conciencia sea incapaz de seguir los dife-
lenguaje juegan algn papel fundamental. De este modo rentes pasos del cerebro no signica que biolgicamen-
se esforz por evitar la Escila del platonismo (con sus pro- te haya tambin inmediatez. La rapidez de un ordenador
blemas epistemolgico) y el Caribdis del formalismo (con no implica intuicin. A veces en matemticas se entiende
su pobreza de contenido). Dado que, en vista de Brouwer, tambin por intuicin las operaciones de calculo o lo que
no hay factor determinante de la verdad matemtica fue- llega a entenderse fcilmente. En la intuicin, lo aprehen-
ra de la actividad de pensar, una proposicin slo se hace dido y la operacin de la mente forman un solo proceso,
realidad cuando el sujeto ha experimentado su verdad (por tienen una sola forma, por eso no se plantea el problema
haber llevado a cabo una construccin mental apropiado), de la verdad-adecuacion. Para preguntarnos si lo que pen-
de manera similar, una proposicin slo es falsa cuando el samos corresponde o no a algo externo al pensamiento, es
sujeto ha experimentado su falsedad (por darse cuenta de necesario que el intelecto y la cosa estn separados. Esto
que una construccin mental apropiado no es posible). Por no ocurre en la intuicin. Es entonces la falta de distincin
lo tanto Brouwer puede armar que no hay verdades sin sujeto-objeto, la inmediatez atribuida a la intuicin que ha
experiencia (Brouwer, 1975, p.488). en 3. Brief Charac- dado a los intuicionistas la conanza en este modo de co-
terization of Brouwers Intuitionism en Luitzen Egbertus nocimiento. Toda inferencia debe estar basada nalmente
Jan Brouwer en verdades intuitivas, en Intuicionismo y objetividad p
101-102
[61] Carlos Torres A: El intuicionismo fue la respuesta de
Brouwer al logicismo de Russell, a la matemtica no cons- [65] J. BARRIO GUTIRREZ: Intuicionismo matemtico.
tructiva y a las paradojas, y se apoya en tres tesis radicales: Una de las corrientes matemticas de ms fecundidad en
i) los objetos matemticos se construyen directamente en el momento actual es el llamado Intuicionismo matemti-
la intuicin pura, siendo por ello previos al lenguaje y a co. En oposicin al formalismo de Hilbert (v.), fue crea-
la lgica; ii) las leyes que rigen el comportamiento de di- do por L. Brouwer (v.) sobre la base de anteriores ideas
chos objetos derivan de su construccin, no de la lgica, defendidas por L. Kronecker. La tesis fundamental de
como pretenden Frege, Russell y los logicistas 33 y iii) en este i(ntuicionismo) es la armacin de que la Matem-
la matemtica no es admisible ninguna teora que rebase tica (v.) est constituida exclusivamente por un conjun-
el marco de lo dable en la intuicin, como sostienen Hil- to de entes construidos intuitivamente por el matemti-
bert y los cantorianos. en KANT VISTO DESDE LAS co, sobre los que se seguirn construyendo otros median-
MATEMTICAS revista unam vol.6/num 1 (2005) sec- te un sistema operacional claro, preciso y fecundo. en
cin El intuicionismo de Brouwer, pp 15-19 INTUICIONISMO

[62] L. E. J. Brouwer (1913): INTUITIONISM AND FOR- [66] De acuerdo a Brouwer un ente solo existe si puede ser
MALISM Bull. Amer. Math. Soc. 20 (2): 8196. MR construido a partir de la intuicin primordial.- Brouwer,
1559427. citado por Espinoza en Intuicionismo y objetividad p 110.

[63] DIEGO PAREJA HEREDIA: Para los intuicionistas las [67] Dick de Jongh: Intuicionismo
bases de las matemticas estaban en la explicacin del ori-
gen, o la esencia de los nmeros naturales 1, 2, 3,... Para la [68] Ferran Mir Sabat (2006): LA POLEMICA INTUICIO-
losofa intuicionista, todo ser humano tiene una intuicin NISMO FORMALISMO EN LOS AOS 20. El Princi-
congnita en relacin con los nmeros naturales. Esto sig- pio de Tercio Excluso.
nica en primer lugar que tenemos una certeza inmediata [69] A. N. Kolmogorov: On the principle of excluded midd-
de lo que signicamos con el nmero 1, y en segundo lu- le, pp. 414437.
gar, que el proceso mental que origin el numero 1 puede
repetirse. La repeticin de este proceso, induce la creacin [70] ver Jorge Alberto Molina (2008): Negacin y Doble Ne-
del nmero 2, una nueva repeticin y aparece el nmero gacin en el Intuicionismo de Brouwer
3. En esta forma, el ser humano puede construir cualquier
segmento inicial 1, 2, 3,..., n, donde n es un natural arbitra- [71] SEP: 2.2 Intuitionism
rio. Esta construccin mental de un nmero natural tras de [72] Ver Miguel Espinoza (2003): Intuicionismo y Objetividad
otro, nunca podra darse, si no tuviramos dentro de no- (Thmata, Nro 30) p 111 112 y 103-106
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 lencia Salas; Angela Patricia Franco Urin en el uso de
lsofo Immanuel Kant (1724-1804) para quien la men- la nocin del tiempo como base primordial de su elabo-
te humana tiene una apreciacin inmediata de la nocin racin del continuo. El tiempo es el nico elemento a
11

priori del continuo. Este se basa en lo que Brouwer de- [81] Para una visin mas profunda de estos desarrollos, ver
nomina intuicin primordial o primigenia, que consiste A.G. Dragalin (originator) Intuitionism. en Encyclopedia
en la capacidad de conciencia de la relacin entre antes- of Mathematics.
despus, pasado-presente, como unidad de lo continuo y
lo discreto, la posibilidad de pensar a la vez en singula- [82] ver Gustavo Fernndez D: Desarrollos posteriores de in-
ridades unidas por un entre que nunca se agota por in- tuicionismo y constructivismo p 102 y sig
sercin de nuevas singularidades, por tanto es imposible [83] Bishop, E. (1967): Foundations of Constructive Analysis,
tomar alguno de ellos como autosuciente construir el otro New York: McGraw-Hill (ver Revisin del libro (ambos
a partir de ah. Zalamea (2001) menciona que uno de los en ingls)
rasgos que caracteriza la idea de un continuo sinttico es
la Genericidad, que reere a lo no particularizante, a la [84] Gustavo Fernandez D: SEMINARIO DE LOGICA Y FI-
iniciacin de un gran espacio de posibilidades no actua- LOSOFIA DE LA CIENCIA I, pgina 101: Desarrollos
lizadas ni determinadas y esto se observa en Brouwer to- posteriores de intuicionismo y constructivismo
mando como base su Intuicin Primigenia. en SOBRE
UNA CONSTRUCCIN ALTERNATIVA AL CONTI- [85] Bridges, Douglas, punto 3.3: Bishops Constructive
NUO DE CANTOR: EL CONTINUO INTUICIONISTA Mathematics en Constructive Mathematics, The Stan-
ford Encyclopedia of Philosophy (Fall 2012 Edition), Ed-
[74] ver: Abraham Adolf Fraenkel, Yehoshua Bar-Hillel, Az- ward N. Zalta (ed.)
riel Lvy (1973): Foundations of set theory p 259
[86] Stewart Shapiro, en Mathematical Structuralism en In-
[75] L. E. J. Brouwer, citado por D. P HEREDIA 5.7 Brou- ternet Encyclopedia of Philosophy (IEP) 2010
wer, Heyting y el Intuicionismo.
[87] Stewart Shapiro, Thinking About Mathematics, Oxford
[76] Michel Bordeau: El Error de Cantor en Jorge Martnez 2000, S. 263
Contreras, Aura Ponce de Len, Luis Villoro: El saber -
losco esp pp 396- 405 [88] Para una introduccin a este aspecto, ver
STRUCTURALISM, MATHEMATICAL Ver tam-
[77] Para profundizar estas, ver: Abraham Adolf Fraenkel, bin Julian C. Cole (2010): Mathematical Structuralism
Yehoshua Bar-Hillel, Azriel Lvy (1973): Foundations of Today
set theory pp 252-264: The Primordial intution of inte-
ger: Choice sequences and Brouwers concept of set [89] Por ejemplo: Uri Nodelman - Edward N. Zalta.:
Foundations for Mathematical Structuralism
[78] van Atten, Mark: Los teoremas fundamentales del an-
lisis intuicionista - el teorema de la barra, el teorema del [90] Por ejemplo: S. Shapiro (1997): Philosophy of Mathema-
abanico, y el teorema de la continuidad - se encuentran en tics: Structure and Ontology
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 the Independence of Mathematics
sobre los diferenciales, y el tercero (que no debe confun-
dirse con el principio de continuidad para las secuencias [92] Por ejemplo: G. Hellman (1996): Structuralism without
de eleccin) establece que cada funcin total [0,1] structures
es continua e incluso uniformemente continua. El teore-
ma del abanico es, de hecho, un corolario del teorema de [93] Para una visin general del empirismo matemtico, ver
la barra; combinado con el principio de continuidad, que David Bostock (2009): Empiricism in the Philosophy of
no es vlido clsicamente, produce el teorema de continui- Mathematics en D. M. Gabbay; P. Thagard; J. Woods
dad, que tampoco es clsicamente vlido. Los teoremas de (edtrs): Philosophy of Mathematics p 157- 230
las barras y el abanico son, por otro lado, clsicamente v- [94] J. S. Mill: La matemtica es la ciencia emprica de vali-
lido, aunque las pruebas clsicas y intuicionista para ellos dez ms general..- citado por Mario A. Natiello en Los
no son intercambiables. Las pruebas clsicas no son in- fundamentos de la matemtica y los teoremas de Gdel.-
tuicionisticamente aceptable debido a la manera en que Vase tambin J. S. Mill: System of logic (El sistema de
depender de PEM, las pruebas intuicionistas no son clsi- la lgica), vol 2, libro III, cap XXIV, punto 4, p 162, etc
camente aceptables porque dependen de la reexin sobre
la estructura de las pruebas mentales. En esta reexin, [95] P Kitcher: The Nature of Mathematical Knowledge, p 4
Brouwer introdujo la nocin de la forma de una prueba (introduccin)
con anlisis completo o cannica, que sera adoptada
ms tarde por Martin-Lf y por Dummett. En una nota al [96] S. Krner, (1965): An Empiricist Justication of Mathe-
pie, Brouwer menciona que tales pruebas, que l identica matics, en Yehoshua Bar-Hillel (ed.), Logic, Methodo-
con los objetos mentales en la mente del sujeto, suelen ser logy and Philosophy of Science.- Amsterdam: North Ho-
innitas. en 4. Brouwers Development of Intuitionism en lland, 1965, pp. 222-227. (cuentas de International Con-
Luitzen Egbertus Jan Brouwer gress of Logic, Methodology and Philosophy of Science
1964)
[79] Win Veldman: Some applications of Brouwers Thesis on
Bars, en One Hundred Years of Intuitionism (1907-2007): [97] L Kalmr (1967): Foundations of mathematics - Whither
The Cerisy Conference pp 326 y sig (esp p 330) now?" en I. Lakatos (ed.). Problems in the Philosophy
of Mathematics Amsterdam: North-Holland, 1967, pp.
[80] THIERRY COQUAND (2003): About Brouwers fan 192-193. (Proceedings of the Colloquium in the Philo-
theorem sophy of Science, London, 1965.)
12 5 NOTAS Y REFERENCIAS

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