SUPLEMENTOS III/ll

STEPHAN KORNER

LA MATEMTICA GODELIANA
y SUS IMPLICACIONES

FILOSFICAS
Traduccin de
EL!

DE CORTAR!

PROBLEMAS CIENTFICOS y FILOSOFICOS

UNIVERSIDAD NACIONAL AUTONOMA DE

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

UNIVERSIDAD NACIONAL AUTO NOMA DE MXICO

Direccin General de Publicaciones
Impreso y hecho en Mxico

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

MATEMTICA GODELIANA y SUS IMPLICACIONES

tativos, como los de Skolem, Cadel, Tarski, Church y otros y,

ms todava, a partir del reciente descubrimiento hecho por
P. J. Cohen, acerca de la independencia de la hiptesis del
continuo.
En esta ponencia, despus de hacer algunas observaciones
en torno a las concepciones filosficas de la matemtica hasta
el descubrimiento de las geometras no-euclidianas, inclusive,
discutir algunos de los problemas filosficos que se han
originado, en este siglo de descubrimientos matemticos,
con respecto a las teoras matemticas, para concluir ofreciendo tentativa mente algunas sugestiones para su solucin.

posean valores de verdad, son consideradas comnmente

como proposiciones. En fin -y sta es la razn principal
que tengo para aceptarla- la definicin ms amplia deja
abiertas varias cuestiones acerca de las llamadas proposiciones
tericas de las ciencias naturales y acerca de los postulados
y los teoremas matemticos; mientras que dichas cuestiones
son fcilmente consideradas con prejuicio o son subestima
das, cuando se utiliza la definicin ms estrecha de las proposiciones con valor de verdad y, por consiguiente, la divisin dicotmica de todas ,las proposiciones verdaderas en
pr~posiciones empricas y proposiciones lgicamente necesanas.
Todos los grandes filsofos, desde Platn hasta Kant y
la mayora de los posteriores, consideran que los postulados
y los teoremas de las teoras matemticas son verdaderos en
el mundo real, no obstante que difieran grandemente en sus
concepciones de dicho mundo. Adems del propio Platn
y de Kant mismo, lo anterior se aplica tambin a Mill y,
muy probablemente, a muchos empiristas preplatnicos desconocidos para nosotros que, al igual que MilI, parecen
haber sostenido que las verdades matemticas describen
caractersticas muy generales de la experiencia. Aristteles
que, por decirlo as, coloc las formas platnicas en los
objetos fsicos, se mantuvo fiel a la doctrina de la verdad'
de los postulados y los teoremas matemticos al no admitir,
o por 10 menos no considerar, la posibilidad de que se pudieran extraer de la experiencia, con igual correccin, teoras
matemticas que entraran en conflicto. Anlogamente, la tesis
de Leibniz y de sus sucesores logicistas, en el sentido de que
la matemtica es reducible a la lgica, tambin implica la
doctrina de una (y slo una) verdad matemtica.
Esta doctrina general de la singularidad se encuentra
combinada, y vinculada ntimamente, con otras doctrinas
filosficas. As, generalmente, esos filsofos admiten que
cada verdad matemtica es, en principio, accesible al pensamiento humano. Lo cual no significa que toda verdad
matemtica pueda ser descubierta efectivamente o que,
incluso, todo matemtico adiestrado pueda ser capaz de

l. Sobre la filosofa de las teoras matemticas

que no entran en conflicto
Sin suscitar demasiadas cuestiones podemos decir, adop
tanda y adaptando ligeramente el conveniente lenguaje de
Leibniz, que una proposicin es verdadera o es falsa en el
mundo real, aunque no en cualquier mundo posible; o bien,
que es verdadera o falsa en cualquier mundo posible y, por
ende, en el mundo real. Por supuesto, el mundo real ha
sido concebido de muy diferentes maneras; por ejemplo,
como el mundo de la experiencia sensible, como el mundo
que contiene a dicha experiencia, como el mundo independiente de la mente de las Formas platnicas, o como el
universo parcialmente independiente de la mente de los
fenmenos kantianos. Pero, en todos los casos, el mundo
real es considerado, al menos, como intersubjetiva. Las
"proposiciones" que son "verdaderas o falsas solamente en
uno de los mundos posibles", tal como el mundo de Dickens, son, no obstante, susceptibles de entrar en relaciones
lgicas mutuas y de quedar unificadas en sistemas deductivos, independientemente de que dichos sistemas resulten
interesantes o no. sta es una de las razones que tenemos
para definir las proposiciones, no en funcin de los valores
de verdad que tienen, sino en funcin de su capacidad para
entrar en relaciones lgicas. Otra de esas razones es la de
que, por ejemplo, ciertas reglas o normas de diversos tipos que
implican lgicamente otras reglas o normas, aunque no

MATEMTICA GODELIANA y SUS IMPLICACIONES

STEPHAN XORNER

descubrirla, aunque s pueda ser capaz de comprender su

prueba correspondiente.
Adems, generalmente, o casi generalmente, se supone
que, en principio, cs posible hallar mtodos rutinarios -aplicables por parte de cualquier persona inteligente- que
puedan llevar a encontrar la solucin de cualquier problema
matemtico. Platn aliment semejantes esperanzas con
su dialctica, o con una dialctica mejorada. Leibniz las
expres en su famoso imperativo "Calculemos". Kant pudo
haberlas expresado diciendo "Construyamos los conceptos
pertinentes", y Mill, afirmando, "Apliquemos los cnones
de la induccin con la mayor generalidad".
Otra suposicin comn aceptada por todos los filsofos
mencionados, se refiere a la relacin entre la realidad matemtica y el pensamiento o el lenguaje. Todos ellos su
ponen que es posible, para todas las proposiciones o aseveraciones matemticas, reflejar de manera conceptual o lingstica el objeto al que se refieren, de un modo inequvoco y exhaustivo. A este respecto, el objeto de la matemtica difiere, especialmente de acuerdo con Platn y con
Kant, de la experiencia sensible y de la experiencia esttica,
las cuales, por as decirlo, siempre desbordan cualquier intento de reflejarlas en proposiciones o en formulaciones
lingsticas.
Hasta el descubrimiento de las geometras no-euclidianas,
las doctrinas de la singularidad de la realidad matemtica
o de la intuicin intersubjetiva, de su accesibilidad, de la
capacidad para resolver los problemas matemticos de cualquier clase y de la posibilidad de reflejar, de una manera
inequvoca y exhaustiva, la realidad matemtica en formulaciones conceptuales o lingsticas, nunca fueron puestas
a discusin ni se consider necesario someterlas a un anlisis ms preciso. Para que se pusieran a discusin y se
efectuara ese anlisis, hubo que esperar a que surgieran
conflictos entre diversas teoras matemticas, lo mismo que
entre teoras filosficas y teoras matemticas. Desde luego, aparte de las doctrinas que les eran comunes, haba
conflictos entre las diversas concepciones filosficas de la
matemtica, y entre los correspondientes programas para

la matemtica; como, por ejemplo, los conflictos existentes

entre los leibnizianos y los kantianos. Y, casi desde el ca
mienzo mismo de la matemtica, existieron las doctrinas
filosficas opuestas del infinito real y del infinito potencial.
2. Cambios en la concepcin de la intuicin geomtrica

..

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

Crtica de la razn pura, L. 40.

Op. cit., L. 2.

,
::'G.

10

STEPHAN KORNER

MATEMTICA GODELIANA y SUS IMPLICACIONES

tos lmites de exactitud y bajo condiciones particulares;

al establecer los axiomas, sustituimos esos resultados por
aseveraciones de absoluta precisin y universalidad." 3
La tesis de Klein implica algo ms que una contraccin
de la esfera de la realidad geomtrica, o de la intuicin
intersubjetiva, al dominio de la geometra euclidiana menos
el quinto postulado. Solamente esa contraccin estara justificada si los otros postulados fuesen evidentes por s mismos; puesto que, entonces, la prueba de independencia
hubiese mostrado simplemente que su verdad no se puede
extender por deduccin al quinto postulado, cuya verdad,
si es que dicho postulado es verdadero, no sera evidente
por s misma. Sin embargo, la tesis de Klein afecta a todos
los postulados y teoremas de la geometra euclidiana, ya
que la distincin que l hace entre los resultados inexactos
de las observaciones y la precisin absoluta de los axiomas,
se encuentra justificada incluso por nociones tan elementales como la coincidencia y el estar "entre", de acuerdo
con la percepcin y desde el punto de vista matemtico.
La. tesis no es refutada, sino que es compatible con ella,
por la objecin de que, aun cuando las geometras solamente son "verdaderas en los mundos posibles", un cientfico podr escoger efectivamente la geometra del mundo
posible que l considere que es ms similar al mundo real,
en aquellos aspectos que son pertinentes (para sus propsitos). Tampoco ha sido refutada por la objecin de Nelson 4
de que "toda idealizacin presupone un ideal", el cual "no
puede ser tomado de la experiencia, puesto que sirve de
norma para la correccin de la experiencia". Porque lo que
se encuentra a discusin no es que el ideal sea no-emprico,
sino que se trata solamente de un ideal, esto es, del ideal
caracterizado por los axiomas de la geometra euclidiana.

11

3. Cambios en la concepcin de la intuicin

de la teora de los conjuntos

.,_.e

.
1
~

a Math. Annalen, 50, 1898; citado por L. Nelson, "Bemerkungen ber

die Nicht-Euklidische Geometrie und den Ursprung der mathematischen
Gewissheit", 1905-6; reimpreso en Beitrige zur PhilosoPhie der Logik und
Mathematik, Francfort del Meno, 1959, p. 34.
4 Loe. cit.

Las controversias filosficas en torno del significado que

tiene el descubrimiento de las geometras no-euclidianas,
al principio no se extendieron a la teora de los conjuntos
ni a la aritmtica. Las concepciones dominantes en esas
disciplinas matemticas implican la existencia de un fuerte
ncleo de realidad matemtica, o de intuicin intersubjetiva,
aun cuando su anlisis filosfico y la demarcacin de los
que se consideran como agregados meramente auxiliares y
ficticios de ese ncleo, difiere de una escuela a otra. Adems,
el hecho, reconocido en la filosofa de la geometra, de que
los individuos empricos no se encuentran separados de
una manera rigurosa de su marco espacio-temporal y de que
su clasificacin siempre produce clases imprecisas, es un
hecho ignorado casi por completo en esas disciplinas. Por
lo tanto, el descubrimiento de los llamados teoremas limitativos es considerado, principalmente, como un apoyo prestado a la adopcin de una actitud cautelosa en la demarcacin de la esfera de la realidad matemtica y como una
ayuda para analizarla. No obstante, el reciente descubrimiento
hecho por P. J. Cohen 5 de la independencia de la hiptesis
del continuo, nos obliga a considerar ms seriamente la
aparente analoga entre el dominio de la geometra y el
dominio de la teora de los conjuntos. En virtud de la gran
cantidad de literatura filosfica acerca de los teoremas limitativos de que disponemos, tal vez ser suficiente con hacer
aqu unas breves observaciones sobre el teorema de U:iwenheim-Skolem, el teorema de la incompletud de GOdel y el
teorema de Church.
De acuerdo con el teorema de Lowenheim-Skolem, toda
teora axiomtica formulada dentro del marco de la teora
de la cuantificacin, si es satisfactible de alguna manera,
entonces tambin es satis factible por un modelo denumerable.
Por lo tanto, ninguna teora axiomtica que pretenda expresar
11 Vase P. J. Cohen, "The Independence of the Continuum Hypothesis",
Proc. Nat. Acad. Sc., 50, 1963-64.

,.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:

i) la esfera de la matemtica es independiente de la

mente o es intersubjetiva, pero solamente es susceptible de ser reflejada monomrficamente por medio
de teoras axiomticas, en sus partes de numerables;
ii) la matemtica de las totalidades de numerables no
constituye una descripcin de la realidad matemtica
o de la intuicin intersubjetiva, sino que "nicamente
es verdadera en un mundo posible"; y
iii) no se han descubierto todava todos los medios para
establecer una axiomatizacin monomrfica de la
matemtica.
De esa manera, la pertinencia filosfica del teorema C011siste, por lo menos, en haber suministrado esa tricotoma,
como una nueva premisa filosfica que, conjuntamente con
otros supuestos filosficos, conduce a nuevas conclusiones
acerca de la esfera de la matemtica; por ejemplo, a una
doctrina (no-kantiana, no-platnica y no-leibniziana) de que
la realidad matemtica tiene diferentes niveles,
Con respecto al significado filosfico del teorema de la
incompletud de Cdel y del teorema de Church, la situacin es anloga. El teorema de Cadel en la forma reforzada establecida por Rosser, establece que toda teora
axiomtica, que sea suficientemente rica para contener una
formalizacin de la aritmtica, entonces es inconsistente
o contiene una frmula tal, que ni dicha frmula ni su
negacin son demostrables dentro de la teora y que su verdad puede ser demostrada empleando argumentos extraos

1,
}

.~.

:;~.

],
.}

'l~

;.~;~

'~

'.

:~[

J
"-1"

SUS IMPLICACIONES

13

a la teora. El teorema de Church establece que la teora

de la cuantificacin es indecidible, en el sentido de que el
conjunto de sus teoremas, aun cuando sea enumerable recursivamente, no es recursivo, Por consiguiente, los teoremas
en cuestin nos obligan a debilitar la concepcin de la realidad
matemtica o de la intuicin intersubjetiva, o bien, a contraer
su esfera, en caso de concebirla como susceptible de ser
reflejada por una teora decidible completa, construida por
los medios que tuvo a su disposicin Cadel. y el punto
que es filosficamente importante es, justamente, que la
realidad matemtica fue concebida de csa manera por Leibniz,
por Kant, por Russell, tal vez por Platn y, agregndole
algunas calificaciones, por Hilbert. Si dicha concepcin filosfica es una exageracin, entonces los teoremas a que nos
referimos nos suministran nuevas razones para considerarla
as.
Debido a que toda frmula indecidible que se construya
mediante los mtodos de Cadel, es verdadera, siempre que
el sistema al cual pertenezca sea consistente, entonces estara
fuera de razn el considerar igualmente justificadas las
extensiones de la teora original, establecidas agregando, por
una parte, la frmula indecidible y, en otro de sus axiomas,
su negacin. Pero ste no es el caso en lo que respecta a
la hiptesis del continuo. La prueba de la independencia
de la hiptesis del continuo conduce -por 10 menos desde
el punto de vista del conocimiento matemtico contemporneo- a una "bifurcacin" de la teora de los conjuntos.
En su artculo sobre el problema del continuo, 6 Cadel
expone razones matemticas y epistemolgicas para rechazar
la tesis de que, si se llegara a probar la independencia de la
hiptesis del continuo, entonces "los problemas suscitados
en torno a su verdad perderan su significado, exactamente
de la misma manera como la verdad del quinto postulado de
Euclides carece ahora de significado para los matemticos". 7
En 10 que respecta a las objeciones matemticas, en su
6 "\Vhat is Cantor's Continl1um Problem?", Am. Math. Monthly, 54,
1947; reimpreso (con adiciones) en Philosophy of Mathematics, editado
por P. Benacerraf y H. Putnam, Nueva Jersey, 1964.
70p. ct., p. 270.

14

15

STEPHAN KORNER

MATEMTICA GODELIANA y SUS IMPLICACIONES

mayora son destruidas en una postdata a dicho artculo,

que fue agregada por Godel despus de tener conocimiento
de la prueba de Cohen. y ahora volvamos a las observaciones filosficas.

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

4. El enfoque filosfico de Gdel sobre el postulado

del continuo

Las observaciones filosficas hechas por Cadel acerca

de los fundamentos de la teora de los conjuntos son bastante
escasas, especialmente porque advierte claramente la necesidad de realizar "un anlisis ms profundo (del que los
matemticos estn acostumbrados a hacer)" de los trminos
y los axiomas de la teora de los conjuntos; anlisis que
Cadel considera, al menos parcialmente, de carcter filosfico
y, de manera particular, epistemolgico. 8 Su propio enfoque, y
as 10 reconoce Cadel, 11 es similar al de Kant. Por lo tanto,
es interesante comparar el "kantismo" de Cadel con el de
Brouwer y con el de Hilbert. Brouwer adopta la doctrina
de la Esttica Trascendental, al considerar la intuicin pura
del tiempo y de la existencia matemtica como una constructibilidad en la intuicin pura. Hilbert no solamente acepta
la doctrina de la Esttica Trascendental, al menos en la
medida en que supone un dominio intuitivamente indubitable para las proposiciones sintticas (combinatorias);
sino que tambin acepta la doctrina de la Dialctica Trascendental, de que las nociones de las totalidades reales,
infinitas, son Ideas de Razn. De acuerdo con Kant, Hilbert
considera que esas Ideas no son abstradas de la experiencia
sensible ni de la intuicin y tampoco son aplicables a ellas.
Y, tambin siguiendo a Kant, sostiene que las proposiciones
que tienen como constituyentes a las Ideas de Razn,
pueden ser asociadas, sin inconsistencia, a las proposiciones
objetivas, las cuales no tienen como constituyentes a las
Ideas. Teniendo en cuenta que Kant considera a la nocin
de libertad moral como una Idea de Razn, entonces su
80p. cit., p. 262.
op. cit., notas al pie de las pginas 14 y 40.

11

...
~

'1\

lo

lOOp. cit., nota al pie de la pgina 14.

Op. cit., p. 271.

11

16

17

STEPHAN KORNER

MATEMTICA GODELIANA y SUS IMPLICACIONES

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

de imaginacin potica o matemtica, resultan ser, en un

sentido no descarriado de lo que es "significado", justamente
tan llenas de significado como lo son las proposiciones que
son verdaderas en el mundo real o en la realidad.
No se puede argumentar, partiendo de una deduccin
trascendental supuestamente venturosa de las Categoras de
Kant, la verosimilitud de una deduccin trascendental venturosa de los conceptos unificadores de la teora de los
conjuntos, puesto que la deduccin trascendental kantiana
no puede ser considerada como venturosa. Esto se pone
en claro si tomamos en cuenta, no tanto su dependencia explcita de la lgica tradicional, como su dependencia
implcita respecto a la fsica clsica. De esa manera, las
llamadas analogas de la experiencia, que implican la necesidad indispensable que tienen el sentido comn y el
pensamiento cientfico de la nocin de una sustancia material
y de las leyes deterministas de la naturaleza, resultan incompatibles con las teoras fsicas subsecuentes.
Se puede argumentar, y debemos estar preparados para
hacerlo, que, no obstante, Kant pudo establecer venturosamente algunos principios menos especficos como, por
ejemplo, el principio de que todo discurso acerca de la
experiencia objetiva, y en particular todo discurso cientfico,
requiere de la aplicacin de algunas Categoras (es decir,
de conceptos que unifiquen la diversidad sensorial y, por
ende, que sean aplicables a ella, pero sin que puedan ser
abstrados de ella), aun cuando no sean precisamente las
categoras kantianas; igualmente, el principio de que todo
discurso requiere de algn principio, o de algunos principios,
de conservacin, aunque no sea precisamente el principio de
la conservacin de la sustancia material; y, tambin, el
principio de que todo discurso requiere de alguna conexin
entre los diversos estados de un sistema, descritos en un
vocabulario de sentido comn o en un vocabulario cientfico, aun cuando dicha conexin pueda ser determinista
o probabilstica. Semejantes resultados de una deduccin
trascendental atenuada, podran constituir un fundamento
suficiente para rechazar una teora positivista del conocimiento
del tipo de la de Hume. Pero tal cosa no implica que el

120p. cit.
13 Nelson, op. cit.
14 Vase, por ejemplo, Crtica de la razn pura, L. 38.

..
,

"

18

19

STEPHAN KORNER

MATEMTICA GODELIANA y SUS IMPLICACIONES

sentido comn y el pensamiento cientfico se encuentren

constreidos por una estructura de conceptos y principios
a priori; ni tampoco que la generacin de la experiencia
objetiva, a partir de la diversidad de los datos sensoriales
y mediante la funcin sinttica de la comprensin, solamente
se pueda realizar de una manera nica.
Sin embargo, en este caso, la analoga que establece
Cadel entre la sntesis de los datos empricos y la sntesis de los datos matemticos, pierde su fuerza. La sntesis
fundamental de la teora de los conjuntos es la operacin
de formar el "conjunto de los elementos x", cuya libertad se
encuentra limitada, en virtud de las antinomias, por los
llamados axiomas de comprehensin. La situacin en que
se encuentra actualmente esta cuestin es explicada con
admirable claridad por Quine,15 quien demuestra en particular que algunos de los axiomas propuestos, no obstante
que son "consistentes individualmente" y, podramos agregar, aceptables intuitivamente, "resultan ser inconsistentes
colectivamente y, debido a esta incompatibilidad entre los
casos (del axioma de comprehensin irrestricto) que se
pueden sostener por separado, resulta que se han podido
proponer muchas teoras que radicalmente no son equivalentes; y, por consiguiente, no hay un 'ptimo evidente' ". 16
La comparacin que establece Quine entre esas teoras,
tambin pone de manifiesto que las diversas clasificaciones
que se han hecho de las teoras de los conjuntos en finitistas,
intuicionistas, predicativas, etctera, no se puede considerar
que se muestren como extensiones consistentes sucesivas de
un ncleo comn, lgico o intuitivo. El descubrimiento
de la independencia del postulado del continuo y del
axioma de seleccin, con respecto a los otros postulados
de las teoras de los conjuntos que se utilizan ms ampliamente, incrementa la multiplicidad de las teoras de los
conjuntos no-equivalentes. Cada una de estas teoras es
verdadera en un mundo posible diferente, sin que haya
razn alguna para considerarlo como el mundo real o como
una intuicin intersubjetiva.

En una observacin que es citada con frecuencia, Cadel17

afirma que, en la forma en que los conjuntos se presentan
en la matemtica actual, es decir, como conjuntos de nmeros
enteros y como conjuntos de conjutos... de enteros,
"los conceptos de la teora de los conjuntos describen
cierta realidad bien determinada, en la cual la conjetura
de Cantor debe ser verdadera o falsa" y que, por lo tanto,
"su indecibilidad a partir de los axiomas, tal como se supone
actualmente, significa nicamente que dichos axiomas no
contienen una descripcin completa de la realidad". Un
sistema incompleto de axiomas interpretados no puede describir de una manera completa el mundo real, ni tampoco
un mundo posible. Pero, ni siquiera cuando un conjunto de
axiomas es completo se puede inferir, por eso, que lo que
dicho conjunto de axiomas describe es el mundo real. Como
ya lo hemos sealado anteriormente, el filsofo de la matemtica no se encuentra enfrentado a la alternativa positivista
de que un sistema de axiomas tiene que describir el mundo
real (la realidad o la intuicin intersubjetiva) o, en caso
contrario, no describe absolutamente nada; puesto que, en
rigor, existe una tercera posibilidad, consistente en que
el sistema puede describir un mundo posible bien determinado. Si en la aseveracin de Cadel, "alguna realidad
bien determinada", se hace hincapi en la primera palabra,
cntonces se admiten las tres posibilidades; pero, si se pone
cl nfasis en la palabra "realidad", entonces solamente se
admiten las dos primeras posibilidades. Esto ltimo es lo
que parece expresar, sin embargo, el punto de vista de Cadel.

,,
,,

5. Sobre la filosofa de las teoras matemticas

que entran en conflicto

El problema de las teoras matemticas que se encuentran

a primera vista en conflicto, surgido primero en relacin
con la geometra euclidiana y las geometras no-euclidianas
y, despus, con respecto a la matemtica clsica y la matemtica intuicionista, es un problema que, como consecuencia

1~

Set Theorv and its Logic, Cambridge, Mass., 1963.

160p. cit., pp. 37 Y 38, y Parte nr.

li

Op. cit., p. 263.

20

STEPHAN KORNER

de los recientes desarrollos que se han realizado, ya no

puede ser ignorado, ni siquiera por la teora de los conjuntos
y la aritmtica clsicas. Si los nmeros se construyen como
clases de clases, entonces las diferencias entre los axiomas
de comprehensin de dos teoras de los conjuntos cualesquiera,
implican diferencias en su concepto de clase y esto, a su
vez, implica diferencias en su concepto de nmero. El
problema o la dificultad que se suscita en torno a dichas
teoras, se puede expresar aproximadamente de la siguiente
manera: Si esas teoras describen el mismo dominio, entonces
todas ellas son mutuamente incompatibles; y, si esas teoras
describen dominios diferentes, entonces todas ellas son mutuamente compatibles. Sin embargo, ni su incompatibilidad,
conforme a la primera interpretacin, ni tampoco su compatibilidad, de acuerdo con la segunda interpretacin, parecen
explicar los aspectos en los cuales concuerdan ni los aspectos
en los cuales se encuentran en conflicto.
Un criterio obvio para establecer su concordancia y su
divergencia, recprocas, es el de su aplicacin o su aplicabilidad a la experiencia. Este criterio sera, desde luego,
intil si la aseveracin de que una teora matemtica es
"aplicable" a la experiencia, fuese lgicamente equivalente
a la aseveracin que describe a la experiencia, puesto que,
en tal caso, todas las teoras matemticas volveran a tener en
comn el mismo dominio. Sin embargo, las teoras matemticas no describen a la experiencia, tal como fue reconocido
por Klein, lo mismo que desde mucho tiempo atrs por
Platn, y que es admitido por Cadel, quien sostiene que lo
matemticamente dado se encuentra vinculado estrechamente
con lo dado empricamente, pero sin que ambos sean idnticos. 18 Esta caracterizacin negativa del vnculo existente
entre una teora matemtica, o al menos entre algunos de
sus axiomas y teoremas, y la experiencia, ha conducido a
los filsofos a considerar que una teora matemtica se
encuentra conectada con la experiencia nicamente como
parte del cuerpo entero de nuestras creencias y que solamente
como un todo es que resulta verificable, falsificable, confirmable o refutable. La mayora de las versiones que existen
18

Vase 10 expuesto anteriormente.

MATEMTICA GODELIANA y SUS IMPLICACIONES

21

de este empmsmo o pragmatismo, implican la tesis de

que no es posible establecer ninguna distincin legtima
entre las proposiciones matemticas y las proposiciones empricas.
Mas de acuerdo con el uso de la matemtica en las
actividades de la vida ordinaria y con su empleo en las otras
ciencias, es la consideracin de que el vnculo entre la
matemtica y la experiencia se encuentra en la identificacin
de algunas proposiciones matemticas con ciertas proposiciones empricas que les corresponden dentro de un contexto
ms o menos especificado o bien, para utilizar la expresin
de Klein, "dentro de ciertos lmites de exactitud y bajo
condiciones especficas". La naturaleza de esta identificacin
entre las proposiciones matemticas exactas y las proposiciones
empricas inexactas, se advierte tal vez con la mayor claridad
en el caso de la aplicacin de la geometra. En este caso
particular, es obvio que las asevcraciones identificatorias que
relacionan cada proposicin geomtrica con una proposicin
emprica son, tambin, empricas. 19
Si gl Y g2 son dos proposiciones geomtricas que no pueden
ser simultneamente verdaderas en el mismo mundo posible,
entonces podemos denominarlas "coidentificables" dentro de
ciertos contextos (por ejemplo, dentro de todos los contextos que hemos examinado hasta aqu), si, y slo si, dichas
proposiciones son identificables, dentro de esos contextos,
con las mismas proposiciones empricas u observacionales.
Esas proposiciones se encuentran recprocamente en conflicto con respecto a un contexto de identificacin, en
tanto que no son coidentificables en tal contexto. Estas
nociones de coidentificabilidad y de conflicto se pueden
extender fcilmente de las parejas de proposiciones geomtricas a las geometras enteras. Es claro que la coidentificabilidad es enteramente diferente del isomorfismo. Dos teoras
19 Una discusin ms detallada de los fundamentos de la exactitud
matemtica y de la inexactitud emprica, en el marco de referencia lgico
subyacente al discurso matemtico yal disclUso emprico, 10 mismo que
un anlisis ms estrecho de la estructura de las aseveraciones identificatorias,
se encuentra en "An Empiricist Justificatian af Mathematics", Proceedings
of the 1964 International Congress of Logic, Methodology, and Phi/osophy of Scence.

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

disponibilidad limitada de nuevos individuos matemticos,

pero no de nuevos individuos empricos, etctera.
Haciendo caso omiso de las apelaciones, siempre posibles,
a alguna metafsica dogmtica, debemos concluir que los
descubrimientos matematemticos del presente siglo, implican la falsedad de las doctrinas comunes compartidas por
las filosofas clsicas de las teoras matemticas que no
entraban en conflicto; pero, sin que dichos descubrimientos
impliquen la doctrina positivista de que, si la matemtica
no es verdadera o falsa en el mundo real o en todo mundo
posible, entonces carece de significado. Por otra parte, esos
descubrimientos apoyan la consideracin de que las diversas
teoras no-equivalentes y mutuamente compatibles tienen
significado, o sea, que son verdaderas en diferentes mundos
posibles, aunque ninguno de estos mundos sea el real; y
de que su concordancia o su conflicto recproco radica en
su relacin con la experiencia, es decir, en su ca identificabilidad, o bien, dicho de otra manera, en que, por 10
menos, algunos de sus axiomas o de sus teoremas son
identificables con ciertas proposiciones empricas.
Tal vez tiene algn inters la comparacin de la explicacin anterior con algunas otras explicaciones que parecen
estar de moda. La doctrina positivista de la "carencia de
significado de la matemtica", ya ha sido discutida. La
mayor parte de las otras explicaciones estn basadas en
una fusin de la "aplicabilidad", en el sentido fuerte de una
descripcin, y en el sentido dbil de una descripcin o
identificacin de lo idealizante con las proposiciones idealizadas (de la aplicacin, en el sentido fuerte, de los conceptos a sus instancias de sustitucin, y de su aplicacin,
en el sentido dbil, a entidades que pueden ser, pero no lo
son necesariamente, sus instancias de sustitucin). La doctrina platnica reconoce que las proposiciones matemticas
son idealizaciones de las proposiciones empricas, pero ignora
la multiplicidad de las diferentes idealizaciones coidentificables, afirmando que una de eUas es verdadera, respecto a la realidad independiente de la mente. El conceptualismo difiere de la doctrina platnica, por la sustitucin
que hace de una realidad independiente de la mente, por

24

STEPHAN KORNER

una intuicin intersubjetiva independiente de la mente. El

realismo, el materialismo y el nominalismo consideran que
todas las proposiciones matemticas, o algunas de ellas,
son descriptivas de la experiencia; porque no distinguen, al
considerar a dichas proposiciones, entre la aplicabilidad en
el sentido fuerte y la aplicabilidad en el sentido dbil (O
sea, entre la aplicacin de los conceptos matemticos a sus
instancias de sustitucin, y su aplicacin a los objetos empricos, mediante una idealizacin). La decisin que se torne
entre la explicacin que hemos propuesto aqu y cualquiera
de las otras explicaciones, difcilmente puede afectar el
desarrollo del pensamiento matemtico. Pero, recordemos
que la tarea que nos propusimos consista en examinar y
discutir las implicaciones filosficas de la matemtica y no
las implicaciones matemticas de la filosofa.
STEPHAN KORNER

DISCUSIN

UN ANTIGUO PROBLEMA FILOS6FICO

y LOS RESULTADOS OBTENIDOS
RECIENTEMENTE EN TORNO A LOS
FUNDAMENTOS DE LA MATEMATICA
de la filosofa como el anlisis de la
estructura de las ciencias ponen de manifiesto que, entre
las ciencias naturales y las ciencias formales (la matemtica
y la lgica) existe una diferencia notable y, a la vez, una
profunda conexin. Al considerar las ciencias formales, encontramos tambin una diferencia y, a la vez, una conexin
anlogas entre la matemtica y la lgica. Se han hecho
varias tentativas para describir o caracterizar esta relacin
antagnica en una forma dualista o en una forma monista.
En ltimo caso, siempre se advierte un dominio de una
parte o de la otra (empirismo versus racionalismo), o bien,
se utilizan principios ajenos (Kant). En todas esas tentativas, que se vienen haciendo desde la poca griega, prcticamente se. ha dado por supuesto que solamente hay
una ciencia formal o, respectivamente, que nicamente
hay una lgica. Esas suposiciones han sido puestas en duda,
debido a los resultados que se han obtenido en los ltimos
150 aos en las investigaciones hechas en torno a los fundamentos de la matemtica y de la lgica. Por lo tanto,
Kner est en 10 justo al hablar de que se ha producido un
cambio fundamental en el problema filosfico concerniente
a su relacin antagnica. En la actualidad, la unidad de la
ciencia formal o de la lgica no constituye un hecho evidente por s mismo, sino un problema.
Del modo griego de pensar hemos adquirido una concepcin ideal de las ciencias que no acepta pluralidad alguna
TANTO LA HISTORIA

28

STEPHAN KORNER
MATEMTICA GODELIANA y SUS U..IPLICACIONES

como definitiva. Este ideal tiene el carcter de una "idea

regulativa" que implica la unidad de todas las ciencias, sin
que parezca probable que podamos abandonar dicho ideal.
Ahora bien, considero que podemos utilizar el concepto de
Krner de la coidentificabilidad, como punto de partida,
para hacer un tratamientao filosfico de la relacin antagnica antes mencionada, aun cuando as rechacemos o debilitemos la suposicin clsica de la unidad de la ciencia formal.
Ciertamente, se presentan dificultades considerables para
hacer preciso el concepto de coidentificabilidad de Krner,
pero es claro que algunos ejemplos cientficos bien conocidos
nos pueden ayudar a comprender dicho concepto. Consideremos, por ejemplo, la compatibilidad de la geometra euclidiana y de la geometra no-euclidiana, cuando son aplicadas
a dominios pequeos (por ejemplo, a dominios terrestres);
de la mecnica newtoniana y la mecnica einsteiniana en
dominios tambin pequeos (por ejemplo, sistemas planetarios y tiempos cortos); de la mecnica clsica y la mecnica
cuntica aplicadas a "grandes" masas; y as sucesivamente.
Adems, reconocemos esa misma compatibilidad entre la
lgica clsica y la lgica intuicionista en relacin con dominios
finitos; de la teora de los nmeros clsica y de la teora de
los nmeros intuicionista con respecto, al menos, a las
funciones recursivas primitivas; y as sucesivamente.
Al considerar esas aseveraciones de compatibilidad, advertimos que todas ellas son relativas a un dominio del conocimiento que es externo a las teoras comparadas. (Krner
tambin destaca esta conexin con el contexto dado, en su
introduccin al concepto de coindentificabilidad). 1 Tales dominios del conocimiento estn determinados, generalmente,
por la fuente del conocimiento o mejor, tal vez, por un dominio de familiaridad (Vertrautheitsbereich), tal como nuestra experiencia sensorial usual, por la finitud ms o menos
imaginable, por la induccin matemtica, y por otras cosas
semejantes. Entonces, esos dominios de familiaridad son utilizados en las teoras con las cuales juzgamos; ante todo, para
refutar algunas teoras, pero tambin para definir algunos
dominios de coidentificabilidad.
Vase la Seccin 5 de su ponencia.

29

(Debemos hacer notar que no prejuzgamos por anticipado

acerca de la distincin fuerte entre la ciencia formal y la ciencia emprica, es decir, entre la ciencia analtica y la ciencia
sinttica. Lo cual no significa que los dominios de familiaridad sean considerados como absolutos o como no analizables. )
Lo que se denomina "lo ontolgico" es rigurosamente, y
en primer lugar, una "Idea regulativa". El conocimiento de
algunos dominios ontolgicos lo adquirimos nicamente por
medio de ciertos dominios de familiaridad y del papel que
desempean en las alternativas que se nos ofrecen para juzgar.
Un conflicto ontolgico entre dos teoras (por ejemplo, entre
la geometra euclidiana y la geometra no-euclidiana, o entre la teora de los nmeros clsica y la teora de los nmeros
intuicionista) es algo que queda excluido, puesto que se
encuentra excluido del dominio de coidentificabilidad determinado por el dominio de familiaridad dado; o bien, en otrs
palabras, por definicin, las teoras no encierran elementos
ontolgicos, fuera de los dominios de familiaridad. Es enteramente claro que se trata de extensiones de los elementos
ontolgicos contenidos en las teoras (por ejemplo, en la geometra), en virtud del desarrollo de nuestro conocimiento
(por ejemplo, en la cosmologa), pero eso significa que nuestros dominios de familiaridad tambin se han extendido.
En la matemtica, podemos definir estructuras "posibles",
con ayuda del mtodo postulativo usual. En cuanto nos encontramos interesados en las teoras algebraicas, resulta deseable la existencia de una cierta riqueza de modelos; y el dominio de los modelos se encuentra definido por alguna teora
de los conjuntos. Pero, si estamos interesados en la teora de
los nmeros, en el continuo o en la teora de los conjuntos,
entonces cambia la situacin, puesto que consideramos que
tenemos algn conocimiento previo del nmero, del continuo
o de los conjuntos, por medio de la intuicin (o de la imaginacin) y, adems, reconocemos que en tales casos una cierta
forma normal de aplicabilidad constituye una propiedad definidora de los nmeros, del continuo o de los conjuntos.
De nueva cuenta utilizamos aqu algunos dominios de
familiaridad (algunas fuentes de conocimiento) para juzgar

30

STEPHAN KRNER

las diferentes teoras postuladas acerca de los nmeros y, aS,

sucesivamente. Por ejemplo, el "conocimiento previo" o la familiaridad con "10 inductivo" puede ser utilizado paradelimitar la teora de los nmeros clsica y, posiblemente, para hacer
un anlisis denumerable (en el sentido de Lorenzen, Schtte,
Wang.) Para modificar los mtodos por medio de los cuales
se demuestran los teoremas de la teora de los nmeros, nos
servimos de la conocida diferencia entre la teora de los nmeros clsica y la teora de los nmeros intuicionista, de una
manera natural. Es claro que podemos construir un conflicto
ontolgico profundo entre esas dos teoras de los nmeros,
pero solamente cuando utlizamos el concepto "ontolgico"
en un sentido que es mucho ms fuerte que los principios
que hemos empleado para comparar ambas teoras.
Sobre la base de la intuicin geomtrica (tal como lo sostiene algunas veces P. Bernays), podemos definir un dominio
de familiaridad que nos asegure la existencia del continuo; y
tambin llegamos al "mismo" continuo utilizando mtodos
combinatorios (Cantor). Pero, en cambio, con respecto al
mtodo aritmtico de abordar el continuo (va la clase del
nmero segundo de Cantor), nicamente sabemos que puede ser identificado con el mtodo combinatorio (G6del),
pero que no necesariamente tiene que ser identificado as
(Cohen). En realidad, en la teora de los conjuntos de orden
superior parece haber una diferencia profunda entre el mtodo combinatorio (va postulados acerca de las lgebras booleanas) y el mtodo aritmtico iterativo. Sin embargo, nuestros
dominios de familiaridad en la matemtica contempornea
son demasiado pequeos como para que podamos juzgar
acerca de los mritos relativos de los diferentes postulados,
en tales casos.
Es claro que algunas hiptesis "globales" tambin pueden
tener consecuencias en los dominios de familiaridad. Pero,
hasta ahora, siempre ha sido posible superar semejantes dificultades, ya sea apelando a la prioridad de un dominio de
familiaridad, o bien, familiarizndonos con algo nuevo.
GERT H. MLLER

SOBRE UNA FILOSOFA DE LA MATEMATICA

LIBERADA DE LA ONTOLOGlA QUE NO FUE
TOMADA EN CUENTA
RESULTA INTERESANTE que K6rner, que ha sido tan meticuloso
para mencionar en su trabajo un buen nmero de filosofas
de la matemtica recientes, como el platonismo, el conceptualismo, el realismo, el materialismo, el nominalismo y el
positivismo, adems de su propio punto de vista, haya dejado
de mencionar la que, en mi opinin, es la filosofa de la
ciencia ms adecuada, o sea, la concepcin estrictamente noontolgica de la matemtica formulada por Carnap, Kemeny
y otros. (Desde luego, el nombre de Carnap ni siquiera es
mencionado una sola vez en el artculo de K6rner.) Ciertamente, la filosofa de la matemtica de Carnap no es una
rama de lo que K6rner llama "positivismo", puesto que en
dicha filosofa no se tiene necesidad de considerar que la
matemtica "carece de sentido", aunque s insista en que
la aritmtica, el anlisis, la teora de los conjuntos, etctera
(pero no la geometra), son disciplinas que, en ningn sentido, son interpretables directamente en trminos observacionales. Su "relacin con la experiencia" no consiste en una
interpretabilidad directa, ni en una idealizacin, ni tampoco
en una "coidentificabilidad", sino, justamente igual que en
el caso de la lgica, en una interpretacin indirecta, con
respecto a la cual, los sistemas ms formalizados de la aritmtica y de la teora de los conjuntos se han vuelto incompletos. Admito que, actualmente, no existe una formulacin
satisfactoria y detallada de su concepcin liberada de la ontologa; y 10 nico que puedo hacer es esperar que, tarde o
temprano, alguien llegue a formularla.

32

STEPHAN KORNER

Por consiguiente, quiero insistir en que, adems de las tres

posiciones filosficas mencionadas por Korner, respecto al
dominio de la matemtica, tambin merece nuestra atencin
otra posicin, que es aquella conforme a la cual la matemtica no tiene dominio (lo cual, desde luego, no significa que
"carezca dc significado", de la misma manera en que el hecho
de que la lgica no tenga dominio -y espero que Korner se
encuentre de acuerdo en esta formulacin-, no significa que
la lgica carezca de significado). Adems de la doctrina de
que la realidad matemtica est constituida por diferentes
niveles, me permito llamar la atencin sobre el hecho de que
tambin cntra en la palestra la doctrina de que el nmero
de esos niveles de la realidad es cero.

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

Vase, por ejemplo, Experience and Theory, Londres, 1966, cap.

En la Imprenta Universitaria, bajo la

direccin de Jorge Curra Lacroix, se
termin la impresin de La matem
tica godeliana y rus implicaciones
filosficas, el da 28 de febrero de
1972. La composicin se par en tipos
Electra 1I: 12 y 8:9. Se tiraron 3,000
ejemplares.

Xl.