FILOSOFIA-LOGICA-MATEMATICAS

Luis Eduardo Surez Fonseca

RESUMEN

El propsito fundamental del autor es presentar. el horizonte

filosfico de la teora matemtica sealndolo como posible
campo de investigacin a los estudiantes de F'ilosofa. El trabajo
pretende ser una introduccin, parcialmente sistemtica, al estudio
de las corrientes dominantes en la Filosofa de la Matemtica.,
surgidas a raz de la llamada "crisis de los fundamentos". Busca
analizar las distintas fonnas con que se ha tratado de organizar la
teora del conocimiento matemtico y explicitar el problema de
fondo que subyace en todas ellas. Consta de dos partes: En la
primera -la que publicamos en este nmero-, se exponen los
principales intentos tericos que se hicieron a lo largo del S. XIX Y
en los juicios del S. XX, para dar una {undam~ntacin terica
ltima a la Matemtica desde la perspectiva del logicismo, el
in tuicionismo y el fonnalismo. En esta parte el autor examina cada
una de las escuelas y pone de relieve las limitaciones que en cada
una de ellas se pueden advertir en el intento fundamental de
fundar tericamente la Matemtica. y deja abierto el problema de
la verdad en las Matemticas, objeto central de la segunda parte del
trabajo, que ser publicada en un prximo nmero.

1. UN CAMINO POCO FRECUENTADO

Por lo general se considera que, exceptuada la Lgca, la verdad y el

razonamiento matemticos estn fundamentados sobre bases ms seguras
66
que las que sostienen la verdad y razonamiento de cualesquiera otras
disciplinas. Sin embargo, en esta creencia se ocultan no pocas ambige-
dades, espejismos y prejuicios tericos que una atenta mirada filosfica
debe descubrir.

El empeo en patentizar la claridad y solidez tericas de la Matemtica

y el deseo de conseguir algo similar para las otras disciplinas es una de las
razones que hacen del anlisis del pensamiento matemtico 0,10 que es lo
mismo, del anlisis de la verdad y razonamiento matemticos una antigua
tarea de la Filosofa, que hoy, quiz ms que nunca, debe continuar.

El presente trabajo. intenta exponer y examinar algunas teoras filosfi.

cas sobre la naturaleza de la Matemtica pura, confrontando sus credos
con algunos recientes descubrimientos matemticos (o mejor, metamate-
mticos). Puede nscribrselo en el mbito de la Filosofa de la Matemti-
ca, entendida como una investigacin cuyo objetivo es caracterizar y
explicar el estado actual de la evolucin de la Matemtica, clarificando y
explicitando sus conceptos y principios bsicos. Es una introduccin,
parcialmente histrica y parcialmente sistemtica; al estudio de las
corrientes dominantes en la Filosofa de las Matemticas, que de alguna
manera subyacen a toda discusin sobre los as llamados "problemas de
los fundamentos" .

Quisiera con estas lneas, excitar a los jvenes que aspiran a ser filsofos
para que se inicien en algunos temas fascinantes de la Filosofa: los de la
Filosofa de la Matemtica (y otros temas eenexos como la Filosofa de la
Lgica) en los que muy poco o nada ha incursionado la filosofa
colombiana debido, quiz, a una unilateral concepcin del currculo de la
carrera de Filosofa que lleva a centrar el trabajo filosfico en las distintas
escolsticas, antiguas, modernas o contemporneas. pero en todo caso
'escolsticas),

Evidentemente, el trabajo en estos campos, casi desconocidos en

nuestro medio filosfico, implica un esfuerzo particular, una disciplina
a la que no acabamos de acostumbramos (dganlo s no las innumerables
dificultades para el aprendizaje y asimilacin de tos elementos de Lgica y
Matemticas): la disciplina que impone a la mente ya su ejercicio limites
rigurosos fuera de los cuajes ninguna idea puede pretender un sitio entre
las verdades filosficas. Lo contrario equivaldra en ltimas a la destruc-
cin de la Filosofa, como bsqueda de la verdad.

2. CORRIENTES FILOSOl"ICAS EN MATEMATICAS: SUS ORIGENES

La creacin y aparicin de las Geometras no-euclidanas en la primera

mitad del siglo XIX provoc una profunda crisis filosfica no slo en
 67

Matf~m;tl~assino en general en toda la teora del conocimiento humano.

" .a"t,a este momento, las principales ramas de la Matemtica:se considera-
bien fundadas desde el punto de vist.a de su lgica interna. El surg-
l1nie~ntode tres geometras internamente coherentes, pero mutuamente
aparecer inmediatamente la pregunta por el significado
'vflrrd,:rl' pn Matemticas y en general, en el conocimiento.

"""Jl..t,a del conocimiento de Kant. sntesis (feliz/infeliz) de las intui

c(mes clsicas y modernas, se derrumbaba ante este hecho asombroso.
(},f.l'l"I, h,ni'n suceda con la filosofa pitagrico-platniea de la Matemtica
oue ~ sustentaba SObl"ela dualidad entre la Matemtica

'verso exterior
nocimiento? Que
ll1l1elltoe imaginacin? Cmo diferenciarlos?

Las preguntas no son triviales y sera muy optmista creer que se han
resueno completamente. Este trabajo busca analizar las distintas formas en
se ha tratado de organizar la teora del conocimiento, especialmente
<:!erttr()dle la Matemtica, o mejor. dentro de la Filosofa de la Matemtica.
""') igualmente, que en este caso se exploran las fronteras mismas
(;;.IdJ,U,

conocanrento humano lo que implica tratar con preguntas abiertas y

respuestas parciales y tentativas. Se trata de ver cmo la
la Matemtica ha enfrentado la crisis de la prdida de la

Por otra parte, la destruccin de la dualidad entre las leyes matemticas

y las del mundo externo presiona e se creen mecanismos y criterios
internos de control (la nocin Verdad no sirve) para el discurso
cientfico. Esto implic un desarrollo muy pronunciado de la Lgica como
instrumento fiscalizador interno a la ciencia. La segunda mitad del S. XL'X
presencia un desarrollo extraordinro.io de la Lgica simblica, Lgica
proposicional, Lgica relacional. Igualmente .el concepto aristotlco de
ciencia, como ciencia deductiva (demostrativa) adquiere una relievancia
inusitada que influye de modo directo en el movimiento axiomtico.

Lo anterior explica la importancia que se quiere dar a la Lgica tambin

en el discurso filosfico.

Esto suceda hacia la mitad del siglo XIX. Pero. a finales de siglo algu-
nos matemticos ms radicales pretenden, no slo fortalecer la Lgica sino
'derivar' toda la Matemtica de la Lgica pura, naciendo as, la comente
logicista en Matemticas. Se pueden encontrar claros antecedentes de la
68

doctrina logicista en Leibniz. Pero la figura mxima en ese momento es

Bertrand Russell quien haba escrito un libro sobre la Filosofa de Leibniz.
Su idea central es tan atractiva como simple: las Matemticas son lgica,
o la Lgica. es la base y raz de la Matemtica (su nmez). De un slo golpe
se desacredita a la Geometra considerada hasta entonces como el modelo
fundamental o fuente generadora de los 'entes' matemticos.

Frente a esta posicin 'hertica' y motivado por los abusos y por las
mconsistencias del programa logieista, se levanta un grupo de matemticos
que defienden el papel de la intuicin en la creacin de la Matemtica y
que niegan que la Matemtica pueda reducirse a una simple combinato-
tia de principios lgicos. Esta escuela, denominada intuicionista busca
'salvar' los restos de la lnea Pitgoras-Platn-Kant. En particular, esta
corriente niega la independencia total de la Matemtica respecto a algn
marco de referencia, sea ste el mundo de las ideas o el mundo exterior,
y cree que la Matemtica es algo ms que una creacin caprichosa o arbi-
traria de la mente humana con base en la Lgica. Representantes de este
punto de vista son Kronecker, Pomear. Brower.

Como un punto de vista, hasta cierto punto 'intermedio', aparece la

l

escuela formalista para la cual el mtodo axiomtico es el mtodo en

Matemtica. Su lder es D. Hilbert. Su preocupacin central es establecer
mediante mtodos constructivos la consistencia absoluta de la Matemtica.
Consideran que la Matemtica se desarrolla simultneamente con la
Lgica y que la actividad de la Matemtica se restringe a la manipulacin
de smbolos carentes de significado intuitivo alguno, segn reglas formales
de transformacin. Tan pronto se dota a un tal conjunto de smbolos de
un significado proveniente de las ciencias fsicas, de la intuicin (es decir,
cuando se interpreta el conjunto), ya no estamos haciendo Matemtica,
sino ciencia natural. . . Esta metodologa permitira aislar la naturaleza
misma de la Matemtica, su esqueleto, del gran cuerpo d~l conocimiento
dependiente de ella, de sus aplicaciones.

Debe recordarse, adems, que hasta finales del S. xvnr la Matemtica

estaba ntimamente ligada a la Fsica y dems ciencias de la naturaleza.
S~ crea que las leyes de la naturaleza eran susceptibles de ser expresadas
en lenguaje matemtico. La Aritmtica y la Geometra eran consideradas
como verdades apriorsticas.

La aparicin de las Geor.letras no-euclidianas rebaja a la Geometra

euclidiana de su categora de verdad apnori y precondicin de todo
conocimiento humanot a mera ciencia emprica, quedando la Aritmtica
en pie como la nica verdad apl;'ori. Esto hace que al buscar nuevas bases
para la Matemtica se las busque en la Aritmtica.
 en
de una eventual solucin. Quedaban, sin embargo, dos
pr.obl[enlMfamosos sin solun. Uno de ellos, hetedl1do de 111Matemtica
gr:leg~,telrll~L que v'rcon construcciones con regla y comps: la cuadratura
t= construir un cuadrado cuya rea sea igual al rea de un
'-'1A.""UV' "."'u .. acin del cubo ( construir un cubo cuyo volumen es el
(J>;, .

'''UIJll:: del volumen de un cubo dado); y la triseccin de un ngulo. El se-

P'llmetn problema, legado de los grandes algebristas italianos consista en

h:~lhl'!'la frmula de solucin (por radicacin) de la educacin polinmica

ge.nelralde quinto grado. Pues bien, a comienzos del S. XIX, el matemtico
Abel demostr que no haba solucin para el segundo de
]0'VeI1SlSIDilO
matemtico francs Evariste
Gal()ispublic uea 1~e(jtr~1 g1en4~ral,lm~l de cuyasco:nsE~cu.encases la impos
estos problemas de tan larga

Si bien es cierto que las Geometras no-euclidianas abrieron nuevos

horizontes jams soados a la Matemtica, estos resultados casi simult-
neamente, impusieron limitaciones tampoco imaginadas sobre ella. La
Matemtica era a la vez, ms fuerte y ms dbil de lo que la epistemologa
tradicional supon a;

Otro problema que surglO a prinClpIOSdel siglo XIX est relacionado

con las aplicaciones de la Matemtica en general, y en particular sus aplica-
ciones a las ciencias fsicas. En efecto, se puede que para esta
poca ya se haba aceptado que toda aplicacin de atemtica a la
Fsica y toda ley de la ciencia fsica enunciada en trminos matemticos
se podra llevar a cabo con un mnimo de experimentacin y tecnologa.
Quedaban sinembargo problemas inmanejables relacionados con teoras
adecuadas de la luz, la electricidad, el magnetismo y el calor cuya resolu-
cin requera una experimentacin sistemtica y detallada, as como una
creciente sofisticacin tecnolgica para comenzar a resolverlos. Esto, a su
vez, exigia una creciente especializacin de los cientficos, que sera otro
motivo fuerte para el alejamiento, separacin y eventual divorcio entre
Matemtica y ciencia fsica. La Matemtica no es el lenguaje directo, sen-
cillo y espontneo del mundo objetivo. Las cosas oponen una opacidad y
resistencia a la racionalidad matemtica mayores de lo esperado.

Pero el estancamiento en la matematizacin de las ciencias traera otras

cons('cuenCas importantes para la Matemtica. Matemticos de gran talen-
70

to como Gauss y Bolzano se preocuparan por examinar ms a fondo el

concepto de aplicabilidad de la Matemtica es decir las precondiciones
f

de la matematizacin de una situacin fsica. El resultado ms importante

que arroja este anlisis es que la matematizacin no consta de la simple
simbolizacin de objetos, sino del reconocimiento y formulacin de rela-
ciones entre objetos. De esta corriente junto con la creciente desconfianza
hacia la intuicin surgirn los grandes movimientos que buscan fortalecer
la lgica cuyos resultados sern la Lgica Simblica y la extensin de la
Lgica tradicional de clases a la Lgica de relaciones.

Por otra parte, la lnea de pensamiento de Gauss y Bolzano desemboca

naturalmente en la teora de conjuntos que permite a la vez tener en cuen-
ta el individuo (el elemento) y la colectividad (el conjunto) expresan-
do as relaciones entre objetos tal como lo exiga Gauss. La teora de
conjuntos a su vez sirvi de base para una minuciosa construccin de la
Aritmtica por Frege y Russell. Como ya se ha dicho la Aritmtica iba a
ser la base de la fundamentacn de toda la Matemtica.

La primera corriente se extiende de Gauss a Russell pasando por Bolza-

no; Cantor (creador de la teora de conjuntos) y Frege. Esta corriente llega
a fundamentar la Aritmtica sobre la teora de clases y de relaciones y a
derivar sta de la Lgica pura, dando origen as a la Escuela Logicista. Su
mximo exponente, B. Russell; afirma que la Lgica es la nez de la
Matemtica y la Matemtica la madurez de la Lgica. En resumen: a lo largo
del Siglo XIX hemos hallado tres corrientes de pensamiento o intentos
tericos principales que pretenden dar una fundamentacin ltima a la
Matemtica: ellogicismo, el formalismo, el intucionismo. No creo equivo-
cado identificar la Escuela Logicista con la inicial preocupacin de Gausa
por ampliar el campo de aplicacin de la Matemtica, pues Russell afirma
claramente su afn por hacer que los smbolos matemticos correspondan
al significado que se les atribuye en la vida cotidiana. Esto en abierta
oposicin a la escuela formalista de Hilbert que se limita a manipular
smbolos sin significado. formas carentes de contenido.

Al sealar las races de la Escuela Formalista deca que su lnea de desa-

rrollo est bastante bien definida. Las Geometras no-euclidianas reforza-
ron la dependencia de la Matemtica con respecto al mtodo axiomtico
y debilitaron la confianza en la intuicin i stas son dos caractersticas
principales de la Escuela Formalista donde la desconfianza en la intuicin
se manifiesta en la exigencia de no dar significado a los smbolos. La
Escuela Formalista busca fundamentar toda la Matemtica sobre la Arit-
mtica, ya no por razones epistemolgicas, por su carcter de juicios
aprlori, sino ms bien por consideraciones matemticas. La axiomatizacin
de la Matemtica en reaccin a las Geometras no-euclidianas. puso en cla-
 71

la misma Geometra haban de

ldam4mt.an;':!;ol;)re de la Aritmtica. De acuerdo con
UtllR lXonlatiz<lLC1()ll

En la revisin de los fundamentos de la Matemtica de fines del siglo

pasado se lleg a la llamada antmetizacin del Anlisis matemtico (que
incluye Algebra, Aritmtica, Clculo Diferencial e Integral), elinlinndose
algunas nociones confusas como la de 'infinitsimo' concebidos por New-
ton y Leibniz, y llegndose a que el concepto bsico era el de nmero
natural. Se consigui definir rigurosamente los conceptos de nmero real,
complejo, etc., teniendo como punto de partida 0, 1,2,3, ... y sus pro-
piedades. El estudio de la Geometra ya no fue ms el estudio del espacio
real, sino el de una estructura abstracta (lgica).

Hacia mediados del siglo pasado el trabajo de Geoge BooIe dio un im

pulso extraordinario a la Lgica, iniciando el proceso de simbolizacin
que permite un anlisis profundo de las operaciones lgicas. Otros mate
mticos contemporneos de Boole. como A. de Morgan y S. Jevons hacen
contribuciones muy significativas al avance de la Lgica. La obra de
Shcroder en tres volmenes publicada entre 1890-1905, representa la
culminacin de esta lnea de investigaciones.

Sinembargo. solamente COn Peana y su escuela encontramosla contri-

bucin ms significativa de la Lgica a una mejor comprensin de los
problemas relativos a la fundamentacin de la Matemtica. Peano crea un
lenguaje lgico simblico con el cual trata de exponer todas las disciplinas
deductivas, permitiendo, de este modo, una visin ms exacta del mecanis-
mo lgico de las numerosas teoras matemticas.

Por otro lado, G. Cantor en 1872 comenz a publicar trabajos revolu-

cionarios que influenciaron no solo la Matemtica sino los fundamentos
de la misma. La teora de Cantor es la hoy llamada Teora Ingenua de
72

Conjuntos. La obra de Cantor contiene entre otras cosas una Aritmtica

de los nmeros in:fmitos.

Esta era la situacin, a grandes rasgos, en el momento en que surge el

Logicismo. Esta corrente filosfica naci como culminacin de las inda-
gaciones anteriormente mencionadas. En la obra de B. Russell. lder del
logicismo, convergen las investigaciones de Cantor, Dedekind y Weiertrass
referentes a la arltmetizacin del anlisis, y las de BooIe, De Morgan,
Pierce y Peana referentes a la Lgica. Hay que anotar. sin embargo. que
antes de Russell, el filsofo alemn G. Frege haba presentado las tesis
centrales del IOgcismo, pero debido a la dificultad del lenguaje simblico
por l empleado, su obra fue prcticamente ignorada hasta que sus ideas
fueron redescubiertas independientemente por Russell. Por eso se considera
a Frege como el precursor del logicismo. Hay que resaltar, igualmente, el
aporte de Frege a la Lgica con su teora de loscuantificadores.

La tesis fundamental del logicismo es: la Matemtica se reduce a la

Lgica. Para probar sus tesis, los partidarios del logicismo desarrollaron
inmensarnente la Lgica. dotndola de un algoritmo simblico parecido
al del Algebra y de mtodos supremamente potentes de anlisis, que
permitieran definir las expresiones matemticas en tl'Ininos lgicos. De-
mostrar la tesis implicaba mostrar 1) que todas las proposiciones matem-
ticas pueden ser totalmente expresadas en terminologa lgica y 2) que
toda proposicin matemtica verdadera es una expresin lgica vlida, o
lo que es lo mismo, que una proposicin matemtica verdadera es deduci-
ble, por un razonamiento puramente lgico, de los axiomas de una teora
lgica axiomatizada.

La segunda parte d este programa, como se ver enseguida no puede

cumplirse, y por lo tanto tampoco el ama en sU totalidad. Pero los
intentos iniciales de Frege y los posteri Russell y Whtehead y suce-
sores para realizarlo han conducido a descubrimientos y apreciaciones
muy interesantes. Merece especial mencin el anlisis de Frege del concep-
to de nmero. Cuando decimos que Juanita y Alberto son dos estudiantes
aplicados, adsclibimos el atributo de 'seN~studiante aplicado', pero no el
atributo de "ser-dos" a cada uno de ellos individualmente. Hasta aqu no
hay nada raro. Luego, en una serie ordenada de pasos, Frege analiza el
COi'lCeptode nmero en la siguiente fOl"ma: 1} La tesis de que un numE~ro
es un atrihuto de una clase (en nuestro caso, la clase que tiene a "'U",,"',O'''' y
Alberto como miembros); 2) La definicin del concepto de
merales' (a y b son equinumel'Osas, si y solo si. se puede 'V"""U'"'H:;'~"L
ellas una correspondencia biunvoca). Como es p1)silole mtt)stxall"~.. ~ ,.l_,~
clases son equinumerales sin que por eso de,telCininE~mossu ntlml~ro,) se
necesita un paso ulterior 3) que consiste en la f..'OIlSIXUCCJ,QU pu,raime:nte
 73

que es de suma importancia es saof1i' si procediendo as, puede reali-

zarse el programa logicista teht'r clue recunr para nada a co y
prcsupue&tos no lgicos. El prohlema es doble: Se puede lograr ~~
dn de la Matemtica a la Lgica elemental? Y si tal cosa fuera posible
Quedaru as demostrado que la lVtemtica ('5 pUl"? Lgica? La respuesta
a ambos interrogante5 es negativa. Cfurtas ideas de Frege desarrolladas por
RusseH condujeron a la llamada antinomia de RusseH y a otras para cuya
solucin fue necesario recurrir a axiomas adicionales que no son axiomas
ni teorema~ de la Lgica elemental. Iias con.se{~l.tendas para la viablidad
<h:;jproyecto logicista SQn obvias. La existencia de totalidades infinitas
era una de esas otras presuposiciones espftcialmente problemticas. Claro
que no era un problema nuevo ya (lue se lo discute desde Plat6n y
AristteieS. Pero el resultado final de todo este esfuerzo es que la Matem
tica no lOgl'a enNmtl'llr en la Lgica un fundament.o absoluto dejando as
abiertos problernas flosficos ulLeriores.

4. EL INTUlCIONISMO

Kronecker, contemporneo de Wdersb:ass y Cantm: se opone a las

ideas de Aceptando la idN~ de ta aritmetizacin de] anlisis no est
de la constr\tcdn de los realeHya que esto implicaba la acelJ-
tacin ti" la existencia del infinito aduru. Knmecker piensa que el conjun-
to de los nmeros naturales no debe pensarse como existente tot.almente
(actu). Lo que existe es un primer elemento y una j(~y de formacin
adase 1.) para ix oht.eniendo la sere completa; pero jams ser posible
constmirlos todos o tenedOR todos a la vez. Una colt~ceilJinfinita, acaba
da, exjst~nte le parece a Kronecker l..ma idea matemtica ilcita. Las coleccio-
nes infinitas lo !Son apena..'ipotencialmente. c<:}Uoddasu afU"l:11,acfn; "Dios
cre los nrnems naturales, el resto el'Y obra del homl:n:eJ>,Con esto quera
significar que en Matemtica todo dehera ser intuitivo y efectivamente
com;tl'udo por la mente del matemtico, partiendo de los nmeros natura-
les. Rechaza el mtodo de reduccin al absurdo y ataca a Cantor por sus
trabajos sobre el infinito.

A ('omienzos de este siglo H. Poincar defiende las tesis de K. ~unque no

es tan l'adical como ste. Se refiere a la teora de conjuntos cantoriana
como a una enfermedad de la que la Matemtica deba curaxs. En el
74

fondo de este asunto est el problema de la "existencia" en l\,ofatemticas.

El axioma de eleccin garantizaba la existencia de objetos matemticos
(Vgr. clase infinita), sin decir como construidos.

Quien llev las tesis de K. al extremo de elaborar una nueva filosofa

de la Matemtica fue el gemetra bolndes L. Brower. Las paradojas
de la teora de conjuntos son algo ms que una mera dificultad pasajera
en la teora; es sntoma de un mal profundo. Para Brower el origen del
problema est en la Lgica tradicional que permite trabajar con conjuntos
finitos solamente, mientras que en Matemtica se necesitan los conjuntos
infinitos (potentia). Habr, pues, una Matemtica finistista y una Matem
tica infinitista aunque en realidad esta ltima sea nmanejable.
Otra idea en que insiste Brower, es que la Matemtica no se compone
de verdades eternas. relativas a objetos intemporales, metafsicos, seme-
jantes a las ideas platnicas. La Matemtica es una actividad socio-biolgi-
ca destinada a satisfacer ciertas necesidades del hombre en relacin con
un medio. Es una actividad, no una doctrina. El matemtico no descubre,
crea. 'Existir' en Matemticas sgnifica haber sido construidp por.la mente
humana. La Matemtica para Brower no es verdadera en cualquier mundo
posible. La negacin de la existencia de totalidades matemticas infinitas,
la tesis de que la 'existencia matemtica' es constrllctividad y la consi-
guiente negacin del principio de tercero excludo, implican que la Lgica
en que se enmarca la Matemtica (la Lgica intuicionista) no es la Lgica
elemental ordinmia; no es una lgica de funciones veritativas: La negacin,
conjuncin, implicacin, etc .. son reinterpretadas (Cfr. Heyting) .
.
Hay que reconocer, desde el punto de vista filosfico, la superioridad
del intuicionismo sobre el logcismo. Cumple el programa que establece,
sin recurrir a presupuestos excludos por l mismo, utilizando en sus cons-
trucciones los principios de razonamiento descritos en su lgica intuidonis
ta. El logicismo, al contrario, elimina de la Matemtica toda presuposicin
no lgica o sinttica, solo en teora. Adems, para los intuicionistas los
axiomas y teoremas matemticos no son lgicos en el sentido de Lebniz,
es decir, verdaderos en todos los mundos posibles.
Pero el concepto de nfuicin matemtica suscita de inmediato todas las
dificultades planteadas por la concepcin cartesiana del conocimiento in-
tuitivo. Cmo p s contra las intuiciones aparentes? Cmo deci-
dir entre intuiciones apuestas? Una objecin a la filosofa
intuicionista de la matemtica es que sacrifica buena de la Matemti-
ca clsica. Por lo tanto, tampoco puede esta escuela ofrecemos una funda-
mentacin definitiva de la Matemtica. Hay muchas cuestiones abiertas e
nexploradas especialmente en el campo de la verrncabilidad y de la objeti-
vidad.
 75

Ax. Material (Ax Peano) M.abstracta

1) O es un nmero O) ,8,0,+,

2) el sucesor de un nmero 1} O =fo S(:x:)

es un nmero 2) X =fo Y S(x) =fo S(y)

3) O no es sucesor de ningn 3) :x: + O x

nmero

4) nmeros diferentes, tienen 4) :x: +' S{y) S(x + y)

sucesores diferentes.

5) .Ax. de induccin 5) x O = O
6) x. S(y).. x.y + x
7) x y ---S(x) '" S(y)
8) f:\
(O) /\ (vx) Ax:.q.A8(X~=+
(v x) .Al!:

El mtodo axiomtico ha sido de la mayor importancia y conduce a

una economa del pensamiento. Un sistema axiomtico puede tener varias
intel"Pretaciones, lo que permite estudiar varias teoras a la vez. El mtodo
axiomtico tiene sus orgenes en Grecia: donde se haIla representado en
los Pitagricos, en Aristteles y Eudides primordialmente. Con la evolu-
cin de la Matemtica, el mtodo se hizo cada vez ms riguroso, llegando
a un alto grado de perfeccin lgica a finales del siglo pasado con Peano y
76

su escuela y adquiere un estado casi dormitivo con la obTa de D. Hilbel't

(Grundlagen der Geometric, 1899). Actualmente el mtodo axiomtico
es una tcnica bsica en .:1dsaarollo de la Matemtica.

La Escuela FOl"mali&tase propona: 1) la 'formalizaein completa' de

la Matemtica, 2) la demostracin de que el sistema fOl'mal resultante era
'formalmente consistente\ 3) esta demostracin deba hacerse por mto
dos finitistas, efectivos, constructivos. Formalizar una teora significu1
hal:--etexplcitas todas sus afl'ffiaciones y reglas de inferencia, consideran-
do tan slo su forma, al margen de cualquier contenido concreto. El
procedimiento de fonnaizacn consta bsicamente de un vocabulario
formal, de reglas para la construccin de frml.llas bien formadas de un
sistema finito de frmulas bien formadas (axiomas) sobre las que se
puedan efectuar transformaciol1es formales de acuerdo a reglas de inheren
cia (formal), Una teora se halla completamente formalizada S1 y solo si
cada axioma o teorema de la misma corresponde sin ambigedad alguna a
un axioma o t'eorema forma] de su rplica fonnalizada, y viceversa. Una
lora connotada de sentido es consistente si y solo s no contiene dos
teoremas uno de los cuales sea negacin del otro. La consistencia de un
sistema formal no se define as contiene proposiciones y por lo
mismo, tampoco, negaciones de es. Sin embal"go, puede conte-
ner teoremas formales y sus negaciones f01'males lo que permitu' demos-
trar, que la teora formal de proposiciones es formalmente consistente.

Hilbert pensaba que la Matemtica Clsica, finitista e infinitista, poda

ser completamente formalizada y que poda demostrarse que era formal-
mente consistente por m~todos de razonamiento finitista. K. Godel en un
fanlOSo artculo de 1931 (iiber formal unentscheidbare Satze dar Princi
pia Mathematica und verwandter Syst.eme) demuestra que tal cosa no es
realizable. Muestra que si se extiende la L6gica elemental ordinaria hasta
el punto de englobar la Aloitmtica de los nmeros naturales, la teora
resultante no es formaHzable completamente, ya que existirn teoremas
de la teora a los que no corresponde teorema alguno del sistema fonual.
Igualmente demostraba Godel que la consistencia formal de un sistema
formal no puede ser probada por mtodos finitstas, Esto signific un rudo
golpe al programa formalista,

No quiero referirme a los remedios sugeridos, quiero ms bien, antes de

terminar, referirme a otras ideas generales que guiaban esta corriente de
pensamiento. Los formalistas no queran reducir la Matemtica a la Lgi-
ca; ms bien, habra que decir que buscan fundamentar ambas ciencias
conjuntamente. Aunque considera, con los intuicionistas, que algunos
pxincipos de la Matemtica tradicional no tienen contenido pleno, Hilbert
opina que la teora de conjuntos de Cantor debe subsistir. Igualmente
 77

los formalistas eonsidran a la Matemtica.como la ciencia de la estructura

de los objetos; los nnlcros son las propiedades estructurales ms simples y
son a su vez objetos de nuevas propiedades que se pueden estudiar
mediante un sistema de smbolos no interpretados, precisarnente porque
no representan objeto pal"ticular alguno. Lo que no significa que la Mate-
mtica sea un mero juego sin sentido.

Muchos de los conceptos que envuelven el infinito en Matemtica son

considerados por Hilbert no como 'reales' sino como 'ideales', pero sirven
para simplificar y sistematizar las teoras y esto est permitido siempre
que no conduzca a contradicciones. Para Hllbert <existir' significa 'no-
contradictorio', Basta demostrar la consistencia de una teora matemtica
para hacerla completamente lcita.

A Hilbert se debe, igualmente, la fundacin de una nueva ciencia: la

Metamatemtica cuya tarea bsica era demostrar la consistencia de las
teoras matemticas (ya sabemos hasta dnde es esto viable). Hay que
notar adems, que para el formalismo la 'verdad matemtica' reside en
la deduccin lgica de un enunciado desde premisas fijadas arbitrara-
mente. Finalmente, para Matemtica no puede desarrollarse
sin apelar a cierto tipo de que no es de naturaleza lgica, sino
ms bien intuitiva. Pero la evidencia lgica es de la mayor importancia
no solo para la Matemtica sino para cualquier investigacin.

. A pesar de los grandes logros parciales obtenidos por esta Escuela,

tampoco logra su propsito central de llegar a una fundamentacin
definitiva de la Matemtica. Propsito que remite constantemente a
nuevos problemas y abre la teora Matemtica a horizontes inalcanza-
bles.

Un resultado parcial de este Examen de las corrientes ms importantes

de la Filosofa de los Matemticos es que en la metateora se juegan su-
puestas posiciones filosficas muy conocidas. Esto se pone an ms de
relieve al abordar el problema de la verdad Matemtica.

El problema central de la filosofa de las Matemticas es la definicin

de la verdad matemtica. Si se quiere que la Matemtca sea una cencia
debe consistir en proposiciones concernientes a algo y S!?rn verdaderas
si corresponden con los hechos. Qu sea ese algo y cules esos hechos,
ser objeto de otro trabajo.
 BIBLIOGRAFIA

Actas OUt Kime Congrs Internationel de Phllosophie . Vol. V - Louvain Nauwe-

Iaerts -1953.

Bochenskf 1.M': Historia de. la Lgica Formal. Mad:Hd, Gredes. 1966.

BrunschvicgLeon: Les tapes del:a Phlosophlemath matique, Pars, Alcan. 1912.

CavaiUs J: Mthode axiomatiqu et formalisme ASI, Pars. Hermann. 1938.

Logique et thorie de la scienea, Parrs, PUF. 1947.

Hasenjager G; Grundbegriffe und Probleme del' modernen Logik, Freiburg-Mun-

chen, K. Albert, 1962 (Hay versin Espaola en la Ed. lianza).

Hilbert D. Y W: Ackermann. Elementos de lgica terica. Madrid, Ternos. 1969.

Kneale W.C. y M: El desauollo de la 16gica,Madrid, 'recnas. 1966.

Korner S: Introduccin a 111 Filosofa de la Matemtica, Mxico, Siglo XXI. 1969.

Koyr Alex: Epimnide le menteur (Ensembk et catgorie). Pars. Hermann.1947.

Ladrire J: Limitaciones internas de los formalismos,Madrid, Tecnas. 1969.

Piaget J: y otros. Logique et Cannaissance Scientifique, Pars. GaIlimard. 1967.

Qulne W.V.O! El sentido de la nueva-lgica, B,A.Nu~a Visin. 1966.