Académique Documents
Professionnel Documents
Culture Documents
STEPHAN KORNER
LA MATEMTICA GODELIANA
y SUS IMPLICACIONES
FILOSFICAS
Traduccin de
EL!
DE CORTAR!
1972
M~XICO
"l.
.. ~.
.,
j
~~
Ttulo original:
"On the Relevance of Post-Gde1ian Mathematics to Philosophy",
Proceedings of the International colloquium in the Philosophy of Science
(Londres, 1965), Amsterdam, North-Holland Publishing Company, 1967
:~,
,.
Primera edicin en espaol: 1972
~
<'i
:1
l'
II
,J
EL CONFLICTO que muchas veces se plantea entre los resultados de una disciplina cientfica y las implicaciones filosficas
que se establecen a partir de ellos, ya sean de carcter analtico o programtico, puede basarse en diversos factores, que
van desde incompatibilidades reales o aparentes hasta divergencias implausibles o, inclusive inadecuadas. La filosofa
de la matemtica, en cuanto analiza la estructura del pensamiento matemtico, puede entrar en conflicto con la matemtica no slo por estar equivocada, sino tambin por haber
perdido, por ejemplo, el contacto con la propia matemtica
o por haberse quedado a la zaga con respecto a su desarrollo
reaL En cuanto a los programas que la filosofa de la matemtica le sugiere a la matemtica, puede suceder que sean
imposibles de ejecutar matemticamente, o bien, que simplemente se les ignore y sigan siendo meros programas. La filosofa de la matemtica comparte estas caractersticas con 13
filosofa de cualquiera otra ciencia. Sin embargo, la filosofa
de la matemtica difiere de la filosofa de las otras disciplinas
en un aspecto importante: en tanto que las teoras fsicas,
por ejemplo, no se pueden convertir en cuestiones a tratar
por las teoras fsicas, en cambio, las teoras matemticas se
caracterizan por el hecho de que son susceptibles de convertirse en cuestiones a tratar por las mismas teoras matemticas_ De esa manera es como es posible, en principio, que las
teoras matemticas y l~s teoras filosficas acerca de la matemtica sean incompatibles. Aun cuando semejantes conflictos
-por ejemplo, el suscitado entre las tesis matemticas y las
tesis filosficas acerca de la geometra han atrado la atencin
de los filsofos durante un tiempo considerable, cuando han
surgido en una forma ms general, y por 10 tanto ms aguda,
es a partir del descubrimiento de los llamados teoremas limi-
STEPHAN KORNER
STEPHAN XORNER
..
Kant define la geometra -es decir, la geometra euclidiana- como la ciencia "que determina las propiedades
del espacio de una manera sinttica y, sin embargo, a
priori". 1 Para Kant, lo mismo que para sus predecesores,
solamente existe una geometra y nicamente un espacio
"empricamente real"; y lo que requiere explicacin y justificin no es la singularidad de la geometra, sino la naturaleza sinttica a priori de sus proposiciones. Contrariamente
a una opinin repetida con frecuencia, el descubrimiento
de que el quinto postulado euclidiano puede ser sustituido
por su negacin, sin incurrir en inconsistencia, no constituye
una refutacin sino, por lo contrario, es una confirmacin
de que la tesis es una proposicin sinttica. Tampoco constituye una refutacin de que la tesis es una proposicin
a priori, en el sentido de que es "independiente de la experiencia e inclusive de todas las impresiones de los sentidos",2 puesto que lo que es susceptible de someterse empricamente a prueba, no es la geometra por s misma,
sino la geometra conjuntamente con ciertas hiptesis empricas.
El descubrimiento de las geometras no-euclidianas entr en conflicto, sin embargo, con la suposicin hasta entonces no discutida de la singularidad de la geometra euclidiana, al menos en la medida en que suscit su discusin.
Por consiguient~, la tesis de su singularidad tuvo que ser
defendida o abandonada. Felix Klein adopt la segunda
alternativa. Klein advirti que la percepcin de las relaciones espaciales es inexacta y se encuentra idealizada en los
axiomas de la teora geomtrica: "Los resultados de cualesquiera observaciones son vlidos nicamente dentro de cier1
Op. cit., L. 2.
,
::'G.
10
STEPHAN KORNER
11
.,_.e
.
1
~
,.I
12
.~
STEFHAN KORNER
'J"
MATEMTICA GODELIANA y
relaciones entre totalidades no-denumerables puede ser monomrfica (categrica). As, el teorema nos obliga a volver
a examinar la tesis filosfica de que la realidad matemtica, o
la intuicin intersubjetiva, es susceptible de ser reflejada de
manera inequvoca y exhaustiva por medio de formulaciones
conceptuales o lingsticas y, en particular, por medio de
sistemas axiomticos; y, tambin, nos obliga a distinguir entre
las reflexiones que son monomrficas y las que no lo son.
En virtud de esa distincin, noS vemos constreidos a
escoger entre las tres posiciones filosficas siguientes:
1,
}
.~.
:;~.
],
.}
'l~
;.~;~
'~
'.
:~[
J
"-1"
SUS IMPLICACIONES
13
14
15
STEPHAN KORNER
intento de demostrar la consistencia de una ciencia determinista con base en la tesis de que el hombre es libre, viene
a ser una anticipacin del programa de Hilbert para demostrar
la consistencia de las teoras matemticas que, junto con
las proposiciones finitistas, que son infinitamente libres,
tam bin contienen proposiciones acerca de totalidades infinitas.
Lo que Cadel encuentra sugestivo en la filosofa kantiana,
aparte de la Esttica Trascendental, la cual supone una
diversidad de intuiciones matemticas inmediatamente dadas,
es lo que constituye la idea central de la Analtica Trascendental, esto es, la constitucin de los objetos fsicos a
partir de la diversidad de experiencias sensibles y de intuiciones, por medio de la sntesis de la comprensin que es
el fundamento de la aplicabilidad de las Categoras. GOdel
insiste, lo mismo que Kant, en que la sntesis de una diversidad, su conexin en una nueva unidad, no se puede
encontrar dentro de la propia diversidad. En lo que difiere
de Kant es en la distincin que hace, por una parte, entre
una sntesis especficamente matemtica que unifica las
diversidades matemticas inmediatamente dadas y las diversidades constituidas por medio de sntesis matemticas y,
por otra parte, una sntesis que unifica la diversidad de la
experiencia sensible en los objetos fsicos. A mi parecer,
Cadel se encuentra en un error al atribuir a Kant la tesis
de que los "elementos abstractos de nuestras ideas empricas", es decir, los datos de la intuicin matemtica, son
"puramente subjetivos"; particularmente, porque Kant insiste
mucho en la realidad emprica del espacio y el tiempo, lo
mismo que en oponer su idealismo trascendental a cualquier
idealismo subjetivo. Tampoco resulta muy claro saber si
Godel considera cualquier concepto de conjunto 10 o solamente alguno en particular, como, por ejemplo, el concepto
de conjuntos-de-orden-superior o el de conjuntos infinitos,
como conceptos unificadores, puesto que afirma que "debemos
hacer algo semejante a la percepcin, tambin con respecto
a los objetos de la teora de los conjuntos". 11
11
...
~
'1\
lo
11
16
17
STEPHAN KORNER
La razn de que Cadel suponga una sntesis especficamente matemtica de la comprensin, se encuentra en su
suposicin de que lo "dado" que se encuentra subyacente
en la matemtica, "est vinculado estrechamente con los
elementos abstractos de nuestros datos empricos" 12 y no
es idntico a ellos, como lo sostiene Kant. En este sentido,
Godel se encuentra de acuerdo con Flix Klein, 13 no obstante
que no comparte el relativismo que eso implica. Las observaciones de Cadel acerca del aspecto epistemolgico del
postulado del continuo se pueden considerar justamente
como el esbozo de una "exposicin metafsica" del concepto
de realidad matemtica, es decir, del aislamiento de sus
caracteres apriorsticos. 14 Cadel sugiere la posibilidad, aunque no hace ningn intento en este sentido, de realzar una
deduccin trascendental del postulado del continuo, que
vendra a justificarlo como una verdadera proposicin sinttica a priori.
Aqu tenemos, tal como Godel 10 advierte con toda
claridad, una comparacin entre las implicaciones filosficas
de la independencia del quinto postulado de Euclides, y
las implicaciones filosficas relativas a la independencia del
postulado del continuo. Ambos postulados son proposiciones
a priori y tambin los dos, de acuerdo con las respectivas
pruebas de su independencia, son proposiciones sintticas.
Lo que todava se encuentra en cuestin es la singularidad
o la verdad de dichos postulados, ya que no se puede
establecer con respecto a su aplicabilidad en alguna teora
emprica, ni tampoco por medio de argumentos psicolgicos
o pragmticos. Godel parece sugerir que nos encontramos
enfrentados a la alternativa de tener que suponer que el
postulado del continuo es verdadero o que, en caso contrario,
carece de significado para el matemtico y probablemente,
por lo tanto, para cualquier otra persona. Pero esta alternativa
parece depender de una definicin injustificable de "significado", porque las proposiciones que son verdaderas solamente en un mundo posible, especialmente en un mundo
120p. cit.
13 Nelson, op. cit.
14 Vase, por ejemplo, Crtica de la razn pura, L. 38.
..
,
"
18
19
STEPHAN KORNER
,,
,,
1~
li
20
STEPHAN KORNER
21
22
STEPHAN KORNER
isomrficas -por ejemplo, dos teoras isomrficas cuyos dominios sean algo diferentes- no son necesariamente coidentificables; y dos teoras coidentificables -por ejemplo, la
geometra de un crculo euclidiano y la geometra de un
polgono regular con un nmero muy grande de ladosno necesariamente son isomrficas.
Hay dos razones para esta explicacin de la concordancia
y el conflicto entre las geometras que son verdaderas en
diferentes mundos posibles, que son: la multiplicidad de las
teoras y el contraste entre las proposiciones geomtricas idealizadas y sus contrapartidas, las proposiciones empricas
idealizadas. Como ya lo hemos visto, no puede caber duda
acerca de la multiplicidad de las teoras de los conjuntos
y de las aritmticas existentes. La aritmtica aceptada generalmente, que es intuitivamente clara hasta para los nios
pequeos, no es otra cosa que un conjunto de proposiciones
empricas, con respecto al cual, aquellas partes de todas las
diferentes teoras aritmticas, intuicionistas o clsicas, que
se encuentran dentro de los contextos de la vida prctica,
son coidentificables. Si esas diferentes aritmticas tuvieran
uno y el mismo dominio (matemtico o emprico), entonces
seran mutuamente incompatibles, de tal manera que, a lo
sumo, una de ellas sera verdadera.
Una somera reflexin pondr de manifiesto que el contraste entre las proposiciones matemticas idealizadas y las
proposiciones empricas idealizadas, tambin se cumple para
las nociones ms elementales de la teora de los conjuntos
y de la aritmtica. Los conjuntos de la teora de los conjuntos
se encuentran delimitados con exactitud y, como clases de
individuos empricos, no son inexactas ni tienen una "textura
abierta". Por otra parte, los individuos empricos se encuentran
en un marco espacio-temporal del cual no estn separados
de una manera precisa, de tal modo que la cuestin de
saber cundo y dnde empieza o termina uno de esos
individuos, no admite una respuesta precisa. En cambio,
los individuos matemticos, por ejemplo, los nmeros individuales, no se encuentran en un marco espacio-temporal
y son distinguibles unos de otros con precisin. El principio
de la induccin matemtica se encuentra apoyado en la
MATE!\ITICA GODELIANA y
sus
IMPLICACIONES
23
24
STEPHAN KORNER
DISCUSIN
28
STEPHAN KORNER
MATEMTICA GODELIANA y SUS U..IPLICACIONES
29
30
STEPHAN KRNER
32
STEPHAN KORNER
y. BAR-HILLEL
RESPUESTA
AGRADEZCO a los profesores Mller y Bar-Hillel sus tiles
comentarios. El profesor Bar-Hillel me hace la objecin de no
haber discutido la filosofa de la matemtica de Carnap, que
se encuentra liberada de la ontologa. Una explicacin, si es
que no es tal vez una excusa, es la de que muy recientemente
he publicado una crtica respecto a una parte de las doctrinas
generales de Carnap, que se encuentran estrechamente relacionadas con su filosofa de la matemtica. Me refiero a su
distincin entre las aseveraciones con significado cognitivo
y las aseveraciones carentes de significado, a su dicotoma
analtica-sinttica, a su concepcin de la explicacin y a su
tratamiento de las reglas de correspondencia entre el lenguaje terico y el lenguaje observacional. 1 Sin embargo, de
acuerdo con mi exposicin, las teoras matemticas tambin
carecen de elementos ontolgicos, esto es, en el sentido de
que los conceptos matemticos no son ejemplificados en la
experiencia sensible, ni en el mundo fsico, ni tampoco en
alguna otra realidad. Aplicar los conceptos matemticos a la
experiencia significa identificarlos con conceptos empricos
que s son ejemplificados en dicha experiencia. Las teoras
matemticas, como idealizaciones que "solamente son verdaderas en mundos posibles", no nevan ms cargas ontolgicas que las que puedan llevar las obras de imaginacin literaria.
Me simpatizan mucho las sugestiones de Mller y espero
que encontraremos alguna ocasin para desarrollarlas independientemente y de manera prolija. Dentro de las teoras
1 Vase el artculo que publiqu sobre el libro The Philosophy of Rudolf
Carnap, ed. Schilpp, en Mind, 1966.
34
STEPHAN KORNER
matemticas (yen otras teoras) existen analogas importantes con respecto a la falta de conexin lgica entre los
conceptos observacionales y los conceptos matemticos, por
una parte, y con respecto a su identificabilidad limitada,
por otra parte. 2 El concepto de Mller acerca de un "dominio de familiaridad" (Vertrautheitsbereich) -emprico o noemprico-, con respecto al cual son coidentificables diversas
idealizaciones, dentro de ciertos lmites, me parece til no
slo para explorar esas analogas, sino tambin para examinar
la manera en que se extiende el alcance de las teoras matemticas (y de otras teoras). Sin embargo, sera deseable y
considero que es posible definir ese concepto de un modo
menos "psicologista".
STEPHAN KORNER
Xl.