DOCUMENTO

KURT GDEL

La lgica matemtica de Russell

INTRODUCCIN

MANUEL GARRIDO

Una profesin de fe en el platonismo

en matemtica
teorema
Vol. XXV/2, 2006, pp. 111-112

Una profesin de fe en el platonismo en matemtica

Manuel Garrido

Entre los primeros volmenes de la prestigiosa coleccin Biblioteca de

Filsofos Vivos, dirigida por Paul Schilpp e iniciada en 1939, dos estuvieron
respectivamente dedicados al pensamiento de Bertrand Russell y de Albert Eins-
tein. A ambos contribuy Kurt Gdel (1906-1978) con sendas colaboraciones.
Como conmemoracin de su primer centenario este nmero de teorema publi-
ca la traduccin espaola de su artculo La lgica matemtica de Russell,
originalmente aparecido en 1944 en el volumen de Schilpp dedicado al autor
de los Principia mathematica.
Gdel se propone en este ensayo considerar la obra de Russell relativa
al anlisis de los conceptos y axiomas que subyacen a la lgica matemtica.
El lector no se enfrenta aqu, como pudiera temer, con ningn alarde de vir-
tuosismo formal, sino con una densa reflexin eminentemente filosfica, ple-
trica de inters, sobre la lgica de Russell, heredero del logicismo de Frege y
del elegante modo de simbolizar de Peano, que empez abanderando ilusiona-
damente el platonismo fregeano para terminar con un empirista y escptico
adis a Pitgoras, despus de lidiar ao tras ao con el problema de las para-
dojas y edificar con algn que otro defecto de construccin el imponente edifi-
cio de los Principia. La teora de las descripciones y la teora de tipos, el
principio del crculo vicioso, el abandono de la teora de clases y dems tpicos
afines son tratados por Gdel con perspicacia y moderada pero inflexible crtica.
Dos cosas llaman particularmente la atencin en este ensayo. Una es,
como acabo de indicar, su carcter filosfico, hasta entonces inhabitual, por
no decir inexistente, en los escritos de Gdel. Y otra es su ardiente defensa
del platonismo o ultrarrealismo en matemtica, proponiendo concebir a las
clases y conceptos como objetos reales (como pluralidades de cosas en el
primer caso y como propiedades y relaciones de las cosas en el segundo)
que existen independientemente de nuestras definiciones y construcciones.
El siguiente pasaje, el ms citado de este artculo, documenta lo que digo:
Me parece que la admisin de tales objetos es tan legtima como la admisin de
los cuerpos fsicos, y que hay tanta razn para creer en la existencia de unos
como en la de otros. Estos objetos son tan necesarios para obtener un sistema de
matemticas satisfactorio como lo son los cuerpos fsicos para contar con una
teora satisfactoria de nuestras percepciones sensoriales, y en ambos casos es
imposible interpretar las proposiciones que uno desea afirmar sobre esas enti-

111
112 Manuel Garrido

dades como las proposiciones sobre los datos, es decir, en este ltimo caso
sobre las percepciones sensoriales realmente experimentadas.

Son los objetos matemticos tan reales como los cuerpos fsicos? Para
suscribir esta tesis y adherirse al realismo platnico es menester sopesar con
cuidado las razones alegadas por Gdel. Pero antes quiz sea oportuno, para
entender mejor su nfasis en la defensa del platonismo, apelar a una clave
psicolgica. El lgico y matemtico Solomon Feferman, editor literario de los
escritos coleccionados de Gdel, sugiere que su comportamiento intelectual
se cifra en dos palabras: conviccin y cautela. Desde muy joven Gdel
qued convencido de la verdad del platonismo, pero ante el empirismo am-
biente, que impregnaba la atmsfera espiritual de su tiempo, prefiri ser cau-
teloso. Es cierto que desde muy joven estuvo vinculado al Crculo de Viena,
cuna del positivismo lgico. Pero slo muchas dcadas despus ha confesado
que no comulgaba con ninguna de las tesis empiristas de sus participantes,
aunque nunca lleg a manifestarlo. Y as podra explicarse tambin que slo
desde su bien ganado prestigio cientfico se decidiera entonces a defender su
conviccin filosfica. Mientras Russell evolucion de un inicial platonismo a
un posterior empirismo, Gdel no abandon nunca ese punto de partida. Pero
su inicial silencio dio pie a que se interpretara su celebrrimo teorema de in-
completud como un ariete empirista contra los prejuicios metafsicos, cuando
en realidad era un ariete contra los prejuicios nominalistas del empirismo y
un baln de oxgeno para la metafsica platnica. Si damos por cierta a toda
teora cuyas proposiciones y leyes consideramos verdaderas, cmo negarles
realidad a los objetos de que tratan esas proposiciones? La aparente incohe-
rencia de Quine, quien rivaliza en empirismo con Russell pero es tan platni-
co como Gdel al creer en la existencia real de las clases y conjuntos,
responde positivamente a este tipo de argumento, que se remonta a Frege.
Los volmenes de la mencionada Biblioteca de Filsofos Vivos con-
tenan, adems de las colaboraciones de especialistas sobre el pensamiento
del autor elegido, una autobiografa intelectual de ste (en el caso de Russell
posteriormente editada aparte con el ttulo La evolucin de mi pensamiento
filosfico) y sus respuestas a cada uno de los colaboradores. En casi todas sus
rplicas Russell avasallaba dialcticamente a su ocasional adversario. Pero se
excus de no responder a Gdel, alegando en breves lneas que su ensayo le
haba llegado a ltima hora, que haca dieciocho aos que haba abandonado
la lgica y treinta y tres que haba terminado la segunda edicin de sus Prin-
cipia y que sus mltiples ocupaciones y viajes le impedan prestarle la debida
atencin, aunque muchas de las observaciones y crticas del autor se le anto-
jaban atinadas: Su extraordinario talento, bien demostrado en su obra ante-
rior, me induce a pensar que es altamente probable que muchas de las crticas
que me hace estn justificadas.