La lgica matemtica: una disciplina en busca de encuadre

(Mathematical Logic: A discipline in search of a frame)

Jos FERREIRS*

Recibido: 13.4.2010
Versin final: 23.5.2010
BIBLID [0495-4548 (2010) 25: 69; pp. 279-299]
RESUMEN: Se ofrece un anlisis de las transformaciones disciplinares que ha experimentado la lgica matemtica o
simblica desde su surgimiento a fines del siglo XIX. Examinaremos sus orgenes como un hbrido de filosofa y matemticas, su madurez e institucionalizacin bajo la rbrica de lgica y fundamentos, una segunda ola de institucionalizacin durante la Posguerra, y los desarrollos institucionales desde 1975 en conexin con las ciencias de la computacin y con el estudio de lenguaje e informtica. Aunque se comenta
algo de la historia interna, nos centraremos en la emergencia, consolidacin y convoluciones de la lgica
como disciplina, a travs de varias asociaciones profesionales y revistas, en centros como Turn, Gotinga,
Varsovia, Berkeley, Princeton, Carnegie Mellon, Stanford y Amsterdam.
Palabras clave: Lgica moderna; lgica como disciplina; institucionalizacin; filosofa de la lgica; fundamentos de las
matemticas; lgica y ciencias de la computacin; lgica y lingstica.
ABSTRACT: We offer an analysis of the disciplinary transformations underwent by mathematical or symbolic logic
since its emergence in the late 19th century. Examined are its origins as a hybrid of philosophy and mathematics, the maturity and institutionalisation attained under the label logic and foundations, a second wave
of institutionalisation in the Postwar period, and the institutional developments since 1975 in connection
with computer science and with the study of language and informatics. Although some internal history is
discussed, the main focus is on the emergence, consolidation and convolutions of logic as a discipline,
through various professional associations and journals, in centers such as Torino, Gttingen, Warsaw,
Berkeley, Princeton, Carnegie Mellon, Stanford, and Amsterdam.
Keywords: Modern logic; logic as discipline; institutionalisation; philosophy of logic; foundations of mathematics; logic
and computer science; logic and linguistics.

Una de las ramas de las matemticas ms caractersticas del siglo XX, y ms clebres
entre el pblico culto por sus resultados, es la lgica matemtica. Dado su carcter novedoso dentro del rbol de las matemticas, la lgica del siglo XX es comparable a la
topologa. Ambas establecieron relaciones densas con el cuerpo de conocimientos matemticos pasado y contemporneo, y ambas maduraron durante aproximadamente los
mismo aos: primeros atisbos hacia 1850 (Riemann en topologa), intenso desarrollo
ya hacia 1900 (con Poincar) y una saludable madurez hacia 1930, preludio de intensos
desarrollos posteriores. Pero la posicin institucional de ambas resulta distinta: la topologa no ha tenido problema en encontrar su nicho dentro de los Departamentos de
Matemticas, mientras que la lgica alcanz cierta fama por su difcil encaje:

La investigacin en que se basa este trabajo ha sido financiada por los proyectos Especiacin en la
ciencia: estudios histrico-filosficos sobre la formacin y consolidacin de disciplinas cientficas
(BFF200309579C0302) y Estudios Sobre Historia y Filosofa de las Ciencias Fsicas y Matemticas (Proyecto de Excelencia de la Junta de Andaluca, P07-HUM-02594).
THEORIA 69 (2010): 279-299

280

Jos FERREIRS

Jean Dieudonn, a quien le encantaban las formulaciones incisivas y mordaces [formules

l'emporte-pice], deca [...] que el 95 por ciento de los matemticos se mofan intensamente [perdument] de la lgica matemtica. (Mashaal 2000, p. 76)

Las razones de esto pueden ser mltiples, y algunas vienen a la mente con rapidez: la
lgica tiene orgenes hbridos, como un mixto entre filosofa, lingstica y matemticas;
la topologa, en cambio, surge de una concentracin en estructuras profundas de la
geometra y el anlisis, de modo que es puramente una hija de las matemticas.
Sin buscar una aclaracin definitiva de ese fenmeno, mi objetivo ser un anlisis
preliminar de las transformaciones disciplinarias que ha experimentado esta rama del
saber. Sus orgenes como ejemplo perfecto de especiacin por hibridacin en la ciencia; su
etapa de madurez en ntimo contacto con el problema de los fundamentos de las matemticas; la plasticidad demostrada posteriormente, en interrelacin con las ciencias
de la computacin, la lingstica, la filosofa, y las nuevas configuraciones institucionales a que esto dio lugar. Como dice un documento de la Association for Symbolic Logic, la
mayor organizacin relacionada con la lgica a nivel mundial:
La lgica es un tema [subject] que es a un tiempo rico y variado. Sus orgenes estn en la filosofa y
los fundamentos de las matemticas. Pero durante el ltimo medio siglo ha formado vnculos
fuertes con muchas ramas de las matemticas. Ms recientemente se ha convertido en una herramienta central de la ciencia terica de la computacin, y su influencia en lingustica crece con rapidez.1

Para mantener esta revisin del problema dentro de unos lmites razonables de extensin, las discusiones que siguen son muy sinpticas, razn por la cual ha sido necesario remitir a menudo a otros trabajos ms detallados.
1. Conformacin de la lgica matemtica:1850-1910
La lgica es un campo del saber que cuenta con una historia milenaria, comparable
apenas a las de la geometra o la astronoma: su nacimiento se remonta a las reflexiones sobre la argumentacin deductiva que emprendieron Aristteles y los Estoicos,
ms o menos entre los aos 350 y 200 A.E.C. Aunque Aristteles consider a esta
ciencia de las definiciones y las demostraciones como una mera propedutica, desde
entonces fue habitual que la lgica se presentara como una parte fundamental de la filosofa; los estoicos reconocan tres: lgica, fsica y tica. La lgica experiment una
etapa de intenso desarrollo durante la Edad Media, pero en aquel momento no se la
identificaba con las matemticas: era una de las artes del Trivium o ciencias del lenguaje (lgica, retrica y dialctica), no un arte o ciencia matemtica como las que formaban el Quadrivium.
Todo esto cambi de manera bastante radical durante el perodo de intensa transformacin y modernizacin que experimentaron las matemticas entre mediados del
siglo XIX y mitad del XX. La idea de construir un lenguaje universal y un clculo del
razonamiento, que pudiera aplicarse a toda la matemtica y ms all, surgi ya en el siglo XVII con las ideas de mathesis universalis (Descartes), lingua characterica y calculus ratiocinator (Leibniz). Pero los grandes logros en esta direccin tardaron en llegar, y sole1

Vase http://www.aslonline.org/books_perspectives.html [Visitado el 1 de mayo de 2010]

Theoria 69 (2010): 279-299

La lgica matemtica: una disciplina en busca de encuadre

281

mos poner el nacimiento de la lgica matemtica hacia 1850, cuando George Boole algebraiz las lgicas aristotlica y estoica, a la vez que Augustus De Morgan comenzaba
a investigar el razonamiento relacional en matemticas, con vistas a enriquecer las estructuras del silogismo aristotlico mediante nuevos patrones ms ricos, que por primera vez permitieran analizar la lgica de las inferencias matemticas.
Esta primera etapa del lgebra de la lgica fue significativamente diferente de una segunda etapa, asociada con los nombres de Frege, Cantor, Dedekind, Peano y Russell, y
con el objetivo de formular una lgica de las matemticas. Entre 1830 y 1850 haba surgido una nueva comprensin del lgebra como ciencia abstracta de las operaciones
simblicas, operaciones inicialmente no interpretadas, pero que pueden aplicarse
luego a contenidos numricos o geomtricos. No era fcil encontrar nuevos campos,
significativamente distintos, que suministraran dominios de aplicacin del lgebra
simblica: Boole y De Morgan cayeron en la cuenta de que los silogismos y las inferencias bsicas del clculo proposicional conformaban precisamente uno. Esta corriente continu desarrollndose durante el resto del siglo, para alcanzar su apogeo
con contribuciones al lgebra de relaciones elaboradas por C. S. Peirce y sistematizadas sobre todo por Ernst Schroeder en sus Lecciones sobre el lgebra de la lgica (1891
1895).
Mientras tanto, en Alemania sobre todo, surgan intentos de profundizar en los
fundamentos de las matemticas y afrontar con todo rigor el estudio de temas que hasta entonces se haban considerado ms filosficos que matemticos. Autores como
Carl Weierstrass, Richard Dedekind y Gottlob Frege atacaron el problema de aclarar el
concepto de nmero, en la creencia muy leibniziana de que tena unas bases lgicas
perfectamente precisas, no menos rigurosas que cualquier problema matemtico de la
geometra o del anlisis. Andando este camino se vieron llevados al estudio de la teora
de conjuntos (que Dedekind estableci como verdadero fundamento de toda la matemtica en varios trabajos clsicos, y donde muy pronto G. Cantor sera el innovador
ms radical) pero tambin a elaborar una lgica de predicados y relaciones, de variables y cuantificadores. Un sistema de lgica formal, de madurez muy sorprendente, fue
elaborado y publicado por Frege en su Conceptografa (1879). Otra elaboracin ms improvisada, aunque incisiva, fue la de Peirce (por ejemplo en su artculo de 1885), y finalmente el matemtico italiano Giuseppe Peano (1889, 1895) formul tambin un
clculo lgico similar.
Conviene enfatizar que estas nuevas contribuciones provenan sobre todo de matemticos con un marcado inters por la filosofa y los espinosos problemas de los
fundamentos del conocimiento matemtico. Sus contribuciones reorientaron el discurrir de la tradicin lgica, y retrospectivamente podra decirse que arrebataron a la filosofa un terreno que hasta entonces haba considerado propio, para conformar una
nueva disciplina caractersticamente matemtica. Pero tal cosa no deba resultar obvia
ni siquiera a las alturas de 1895. De hecho, la recepcin de aquellos trabajos seminales
fue ms intensa entre los filsofos que entre los propios matemticos. Y autores como
Frege o como Bertrand Russell cuyos Principios de la matemtica y el monumental Principia Mathematica, en colaboracin con A. N. Whitehead, marcaron la visin pblica del
asunto a principios del siglo XX han sido siempre vistos, con razn, como hbridos
Theoria 69 (2010): 279-299

282

Jos FERREIRS

de filsofo y matemtico.
Resulta ms que probable la tesis de que los debates sobre los fundamentos de las
matemticas, y en particular las discusiones en torno a la teora de conjuntos, fueron la
causa fundamental del amplio arraigo de las nuevas ideas lgicas a partir de 1900. De
hecho, durante el cambio de siglo, el campo de la teora de conjuntos no es disociable
de la lgica matemtica a nivel disciplinar e institucional. Con Dedekind, Hilbert y
Zermelo, los conjuntos se convirtieron en la base fundacional de toda la matemtica
pura, de manera que las teoras de los nmeros, del orden, de la topologa, de las estructuras algebraicas, se vean fundadas en los principios conjuntistas. Gracias a Cantor, estas nuevas ideas originaban desarrollos sorprendentes como sus teoras de los
nmeros transfinitos, y planteaban problemas de gran simplicidad y belleza como el
Problema del Continuo y el Problema del Buen Orden (Hilbert 1900, problema 1).
Los matemticos de Gttingen, centro mundial por excelencia en aquel momento, siguieron a David Hilbert en una apuesta decidida por estos nuevos enfoques conjuntistas, que perfeccionaron dndoles una orientacin ms explcitamente axiomtica.
Es sobre la base de esta situacin intelectual que hay que comprender el alcance de
los debates sobre la lgica y la teora de conjuntos en los primeros aos del XX. Por
todo ese trasfondo, las paradojas o antinomias en la teora de conjuntos y los debates en
torno al teorema del Buen Orden demostrado por Ernst Zermelo produjeron un impacto profundo. En lo fundamental, fue slo a partir de dicho impacto que los sistemas
de lgica formal pasaron a verse como indispensables en la fundamentacin de las matemticas.
Debo aclarar que, aqu y en lo que sigue, cuando hago juicios de este tenor tengo
en mente a grupos significativos de la comunidad matemtica. Que matemticos ms o
menos aislados, como Schroeder o Peano, se hubieran convencido de la importancia
de los sistemas lgicos antes de 1900, no resulta en absoluto una refutacin de la afirmacin anterior. Todo el planteamiento de este artculo es disciplinar, y por tanto comunitario, evitando guiarse por aquello que es vlido slo para individuos aislados.
Sin entrar en detalles, podemos decir que las primeras paradojas conjuntistas fueron encontradas hacia 1896/97 por Cantor, quien las comunic a colegas como Hilbert2. Reflexionando sobre las paradojas cantorianas, Russell encontr la antinomia de
la clase de todas las clases que no son elementos de s mismas (descubierta algo antes
por Zermelo), que lleva su nombre. La publicacin en 1903 de los Principles por Russell, y del segundo volumen de la obra magna de Frege, marc la percepcin pblica
de las paradojas y difundi la idea de que haba una crisis en los fundamentos de las
matemticas. Frege terminaba su volumen reconociendo una quiebra en los cimientos
mismos del trabajo de su vida, con un rigor intelectual y una entereza que hizo afirmar
a Russell: al pensar en actos de gracia e integridad, me doy cuenta de que ninguno
que yo conozca se compara con la dedicacin de Frege a la verdad3. Los partidarios
de la visin conjuntista de las matemticas promovida por Hilbert se vean en serios
2

Elementos de una de ellas fueron planteados por el colaborador de Peano C. Burali-Forti, de ah que
Russell la bautizara como la paradoja de Burali-Forti o de los ordinales.

Carta a Van Heijenoort de 1962, en Van Heijenoort 1967, p. 127.

Theoria 69 (2010): 279-299

La lgica matemtica: una disciplina en busca de encuadre

283

apuros, como reconoci l mismo en el Congreso Internacional de los Matemticos de

1904.
En ese mismo ao Zermelo lograba resolver uno de los problemas fundamentales
que Cantor haba planteado, dando una demostracin de que todo conjunto puede ser
bien ordenado. El conjunto R de los nmeros reales, en su orden usual, claramente no
est bien ordenado, pero el teorema de Zermelo implicaba que existe un buen orden
de R. Fue sobre todo por esta razn, por la impresin generalizada de que era imposible definir explcitamente tal buen orden de R, que la demostracin de Zermelo fue
blanco de serias crticas. Aquella se basaba en el Axioma del Conjunto Potencia y el
Axioma de Eleccin, convertido en el pilar sobre el que era posible esa afirmacin de
existencia en abstracto. Matemticos de diversas procedencias comenzaron a criticar
la matemtica conjuntista y sus eptomes, Eleccin y el teorema del Buen Orden
por ser demasiado abstracta, demasiado alejada de lo que cabe construir explcitamente o definir efectivamente. El debate fue intenso en 1905, y sus efectos se dejaran sentir al menos hasta los aos 1930.
La presin de estos nuevos problemas, y la aparicin tambin de otras paradojas
que hoy llamamos semnticas (como las llamadas de Richard o de Grelling), impulsaron
decididamente la axiomatizacin y la formalizacin de las teoras matemticas. Mediante la axiomatizacin de la teora de conjuntos, Zermelo trat de mostrar que los
principios que l utilizaba eran perfectamente coherentes y no podan dar origen a
contradicciones. Por otro lado, las paradojas semnticas mostraban que pueden aparecer contradicciones siempre que se manipulen los conceptos de definicin y de verdad
con la libertad que nos permite el lenguaje natural. La solucin consisti en evitar las
ambigedades del lenguaje natural y trabajar empleando lenguajes formales. Dentro de
un sistema formal, los medios para la formacin de expresiones estn estrictamente
regimentados o regulados, de manera que se corta de raz la aparicin de paradojas
semnticas. En general, los sistemas formales matemticos no tienen medios para
hablar de verdad o definicin; aparece as la distincin entre lenguaje y metalenguaje.
La apuesta por combinar axiomatizacin y formalizacin lgica fue el reto de Hilbert y
los suyos, y esa apuesta pasaba por el desarrollo de la lgica matemtica.
No podemos aqu discutir con mayores detalles el surgimiento de la lgica matemtica4. Enseguida discutiremos las facetas institucionales del mismo asunto, pero
aun limitndose al esbozo anterior, debera quedar claro cmo hubo interacciones entre la lgica tradicional, rama de la Filosofa, y las nuevas tendencias en fundamentacin de la Matemtica5. Producto de esas interacciones fue el nacimiento de la Lgica
Matemtica. No parece haber sido casualidad el que autores clave en todo este proceso, como Cantor, Frege o Russell, cultivaran tanto las matemticas como la filosofa;
los dos ltimos son considerados pioneros de una de las ramas ms influyentes de la
4

Vase Moore (1988), Rodrguez Consuegra (1991), Castrillo (1993), Vega (1997) y (1999), Mancosu et al.
(2009). Por cierto, Luis Vega ha dedicado varios trabajos desde 2001 al desarrollo institucional de la
lgica en Espaa.

He analizado algunos de los aspectos profundos de estas interacciones en artculos anteriores como Ferreirs (2001).
Theoria 69 (2010): 279-299

284

Jos FERREIRS

filosofa del siglo XX: la analtica. A resultas, el campo de la Lgica fue arrebatado a su
disciplina madre; o cuando menos, dicho campo se vio modificado profundamente
por la intervencin clave de los matemticos, y pas a configurarse como un terreno
interdisciplinar entre matemticas y filosofa.
Por supuesto, al presentar as las cosas he operado una simplificacin, que ahora
debo cuando menos mencionar. Buena parte de los desarrollos relacionados con el
rtulo de Lgica en el siglo XIX se orientaron en una direccin opuesta, considerndola como parcela de la psicologa. Ntese que la propia psicologa es una disciplina que naci como hija de la filosofa, bajo el impulso de la introduccin de mtodos experimentales. Era natural que se diera una lgica psicolgica, para lo cual haba semillas en la propia tradicin lgica, por ejemplo la consideracin de los mtodos
inductivos. Tres ejemplo clave, entre tantos que podran darse, son la obra maestra de
J. S. Mill, su Sistema de lgica (editado en 1843 y reeditado numerosas veces); los escritos
de W. Wundt, uno de los pioneros de la psicologa experimental, pero todava filsofo
(en particular su Lgica de 1880); y la primera obra de E. Husserl, su Filosofa de la
Aritmtica (1891), duramente criticada por Frege precisamente por su psicologismo6.
Una tarea todava por hacer es escribir la historia de la lgica matemtica como resultado de un proceso complejo de lucha por el alma de la Lgica (si se me permite
hablar as) librado por las tres disciplinas: filosofa, matemticas y psicologa. El xito
de la lgica formal o matemtica se debi, en buena medida, a la intensidad y densidad
de sus relaciones con las nuevas tendencias matemticas, al desarrollo de los estudios
de fundamentos y al modo en que dicho estudio lleg a depender de la combinacin
entre lgica, axiomtica y teora de conjuntos.
2. Primera institucionalizacin: lgica y fundamentos, 1910-1940
Como ya he dicho, la recepcin entre los matemticos de la nueva lgica fue lenta, y
slo recibi un impulso notable a partir de 1900. Muchas de las reconstrucciones
histricas que se han propuesto durante los ltimos 70 aos son sesgadas, whiggish como suele decirse en ingls, por presuponer la visin posterior acerca de la importancia
de la lgica matemtica y revisar las dcadas anteriores a 1900 de manera anacrnica.
Una visin ms contextual y sincrnica puede obtenerse por ejemplo del libro de Ueberweg (1882), un filsofo famoso ante todo como historiador de la filosofa, o las reconstrucciones recientes de Peckhaus (1997) que enfatizan temas habitualmente ignorados como la discusin de la llamada cuestin lgica entre los filsofos alemanes
del XIX.
Una buena indicacin de la percepcin colectiva de la relevancia de lgica y teora
de conjuntos nos la puede dar la presencia de ambos temas en obras de gran sntesis
(como la Enciclopedia de las ciencias matemticas editada por F. Klein) y en revistas de resea como el Jahrbuch fr die Fortschritte der Mathematik. Pues bien, la Encyiklopdie coordinada por Klein gran empresa colectiva que vio versiones alemana y francesa, con
diferencias entre s no inclua todava ningn captulo dedicado a la lgica elemental.
6

Sobre este tema puede verse el trabajo de Kusch (1995), as como el libro de Peckhaus (1997) que trata
las polmicas sobre la lgica.

Theoria 69 (2010): 279-299

La lgica matemtica: una disciplina en busca de encuadre

285

S haba uno sobre teora de conjuntos en el Vol. 1 (1898), redactado por A. Schoenflies, y que en la versin francesa se vio muy modificado de la mano de R. Baire. En
cuanto al Jahrbuch, hasta 1904 no dispuso de un subapartado propio para la teora de
conjuntos, y esto era dentro del apartado de Historia, Filosofa, Pedagoga: el cap. 2,
sec. B se especializa en Mengenlehre. En aos anteriores, la clasificacin de estos
temas y los de lgica era fundamentalmente dentro de Filosofa de las matemticas,
como acontece con el tratado de Dedekind sobre los nmeros naturales, y nada menos
que con los Principia Mathematica de Whitehead y Russell, an en la edicin de 1925!7
Si nos fijamos en el caso de los trabajos pioneros de Cantor, la clasificacin resulta
muy errtica: a veces vienen encuadrados en teora de funciones, otras en ecuaciones o en geometra, llegando a darse el caso de que su obrita fundamental Grundlagen [Fundamentos para una teora general de conjuntos] se encuentra reseada en el captulo
VIII.1 sobre principios de la geometra!
No es menos relevante la situacin excntrica de los primeros lgicos matemticos importantes: valgan como ejemplos figuras de la importancia de Dedekind,
Schroeder y Frege (nacidos entre 1831 y 1848, en ese orden). Pese a su gran importancia como matemtico, Dedekind se content con ser profesor en la Escuela Politcnica de su ciudad natal, Brunswick, y nunca tuvo discpulos directos. Schroeder fue tambin profesor en los Politcnicos de Darmstadt y Karlsruhe; slo en alguna ocasin
aislada pudo ofrecer clases de lgica, pese a ser visto como su mayor representante en
la Alemania de los aos 1890. Y Frege fue profesor en una universidad muy secundaria, Jena, e incluso en esa posicin el desarrollo de su carrera encontr dificultades.
Ninguno de ellos tuvo un discpulo de importancia.
2.1. Primeros atisbos institucionales
La situacin comenzara a cambiar con una generacin posterior, la de Peano y Hilbert
(nacidos en 1858 y 1862). El primero fue profesor en Turn desde los aos 1880, tanto
en la Universidad como en la Academia Militar, y desempe una actividad muy intensa, reuniendo un crculo amplio de colaboradores. Su inters por cuestiones de fundamentos y por la sistematizacin de las matemticas, junto con su admiracin por la
obra de Grassmann y su atraccin por la lingstica, estuvieron en el origen del proyecto de elaborar un lenguaje artificial para las matemticas. Entr en el campo de la
edicin publicando la Rivista di Matematica desde 1891, y muy pronto dedic sus empeos a un proyecto grandioso y enciclopdico, el Formulario mathematico, editado entre
1895 y 1908. Esta obra combinaba el inters de Peano por la lgica, estando redactada
enteramente en lenguaje simblico, con su preocupacin por el rigor, la didctica y la
sistematizacin de las matemticas. Curiosamente, era una recopilacin de todos los
teoremas matemticos, lo que segn escribi Peano en 1892 sera largo y difcil
en el lenguaje ordinario, pero se hace significativamente ms sencillo al emplear la notacin de la lgica matemtica. Sin embargo, los teoremas se presentaban sin demostra7

Las reseas del Jahrbuch, que en su momento fue la principal revista de referencia (al modo del Mathematical Reviews actual), estn disponibles en Internet: http://www.emis.de/projects/JFM/ [Visitado el 1
de mayo de 2010]
Theoria 69 (2010): 279-299

286

Jos FERREIRS

cin: el inters se centraba en una especie de prontuario sistemtico, pero no era nada
parecido a un manual.
Hay quien opina que el Formulario marca el fin de las contribuciones ms originales
de Peano, y su dedicacin a una obra de apostolado que limit la obra del matemtico e impidi su completa estimacin por parte de otros (como dijo su alumno Beppo Levi, quien acabara trabajando en la Argentina). De todos modos, para llevarla a
cabo Peano reuni un numeroso grupo de colaboradores, entre asistentes suyos como
G. Vailati, profesores de secundaria, algn profesor de la Academia Militar como el ya
mencionado C. Burali-Forti, y algn profesor de la Universidad como sera el caso de
uno de sus colaboradores ms originales, Mario Pieri. Burali-Forti public el tratado
Logica matematica en 1894, que bien puede ser el primero con ese ttulo en cualquier
lengua. Todo ello estimul la difusin de la lgica y despert la admiracin de extranjeros como Russell, pero lo cierto es que Peano no logr contribuir a la institucionalizacin de la lgica matemtica de manera slida. Su influencia fue disminuyendo con
los aos, y a su muerte en 1932 Italia haba perdido (al menos comparativamente
hablando) la brillantez de las ltimas dcadas del XIX.
Distinta y ms exitosa fue la situacin con un matemtico de mayor calibre, Hilbert, de quien cabe decir que fue el gran promotor de la teora de conjuntos y la lgica
a comienzos del XX. Llev al empeo el gran peso de su influencia y renombre, y supo emplear para ello la magnfica va que tena en sus manos con la revista Mathematische Annalen, y el prestigio y la influencia de los matemticos de Gttingen, un centro
del mximo nivel internacional. Hilbert dirigi 69 tesis doctorales, de las cuales 7 se
centraron en lgica y teora de conjuntos (vase Abhandlungen, vol. 3, apndice). Zermelo afirm aos despus que fue esencialmente gracias a Hilbert como percibi la
importancia de los problemas de la teora de conjuntos (Ferreirs 1999, p. 317).
Precisamente Zermelo fue quien recibi el primer encargo oficial y remunerado
como docente de lgica matemtica en Alemania, siendo probablemente el primero
tambin en el mundo. Esto suceda en 1908 en la Universidad de Gttingen. El propio
Hilbert haba impartido clases sobre los principios lgicos del pensamiento matemtico en 1905, momento en el cual su estrategia metamatemtica para asegurar los fundamentos conjuntistas de la nueva matemtica haba convertido al formalismo lgico
en pieza clave. A partir de esta fecha, las cuestiones de lgica y fundamentos fueron
un tema importante en la agenda de Gttingen, y Hilbert consider a Zermelo como
el principal encargado del asunto (mientras l se ocupaba de otros problemas bien distintos: anlisis funcional y luego fsica). Zermelo haba sido nombrado profesor titular en 1905 (lo que se traducira a nuestro sistema ms o menos como un asociado),
pero su salario era precario. Esto fue el motivo inmediato de que Hilbert consiguiera
para l un encargo especfico y remunerado como docente de Lgica Matemtica y
temas afines en 1908.
En 1910 se intent el nombramiento de Zermelo como profesor extraordinario
(digamos titular, buscando un anlogo en la Espaa actual: el ordinario era el titular
de una ctedra), pero ya tarde, porque recibi y acept una oferta de Zurich. Y con esto acab la breve trayectoria de esta primera institucionalizacin de la lgica. Conviene
aadir que por estos aos se encontraban en Gttingen otros matemticos y filsofos
Theoria 69 (2010): 279-299

La lgica matemtica: una disciplina en busca de encuadre

287

fuertemente interesados en estos asuntos, como K. Grelling, quien realiz una tesis
con Hilbert en 1910, y H. Weyl, que precisamente en 1910 realiz un interesante trabajo crtico sobre la teora de conjuntos, donde se aproximaba a la lgica de primer
orden (Ferreirs 1999, pp. 357-59).
Lo dicho merece unas palabras ms, a fin de explicar ese carcter clave del formalismo lgico para Hilbert, y con ello mi tesis de cmo los eventos de los aos 1900
modificaron la situacin. La idea clave de lo que es un sistema formal se debe esencialmente a Frege, para quien constitua un expediente metodolgico importante a la hora
de verificar cules eran exactamente los principios sobre los que se basaba su fundamentacin de la aritmtica. Y esto importaba, fundamentalmente, porque se trataba de
defender cierta tesis filosfica acerca de dichos principios: la lgica formal era un expediente metodolgico muy importante, pero de ningn modo un fin en s mismo. Ya
hemos visto que con las paradojas, y especialmente las paradojas semnticas, la necesidad de emplear sistemas formales se hizo mucho mayor: no se trataba ya de certificar
que cierto anlisis de la teora era completo, sino de restringir los mecanismos para la
formulacin de proposiciones y definiciones, eliminando as las paradojas. Pero enseguida vino una tercera fase: en 1904/05 Hilbert concibi los primeros atisbos del clebre programa de Hilbert para una fundamentacin basado en la teora de la demostracin
[Beweisstheorie].
La idea era utilizar la formalizacin estricta de una teora matemtica, mediante
axiomatizacin y lenguaje lgico, como base para un anlisis de las combinaciones de
smbolos (y por tanto las demostraciones) admisibles. Tal anlisis poda ser combinatorio y finitario, ya que las proposiciones y las demostraciones en un sistema axiomtico formalizado no son otra cosa que combinaciones finitas de smbolos, realizadas
mediante reglas perfectamente explicitadas y mecnicas. Con lo cual surga la idea de
emplear una mnima parte del razonamiento matemtico (la ms simple e indiscutible)
como palanca mediante la cual elevar la matemtica moderna despejando todas las dudas escpticas sobre la seguridad de sus fundamentos. Se haca posible investigar la estructura de las demostraciones dentro de cada teora matemtica: de ah el nombre de
teora de la demostracin; y en particular, pareca posible resolver el problema de la
consistencia (ausencia de contradiccin) de cada teora matemtica, como un problema
meramente matemtico. Pero ntese: este paso converta a los sistemas formales en
clave de bveda para el programa de Hilbert, y en particular para su objetivo metamatemtico principal: establecer la consistencia de las teoras matemticas. El lector puede ahora juzgar, por comparacin, cmo haba cambiado la situacin con respecto a la
poca de Frege, comentada en el prrafo anterior.
Como vemos, el proceso fue gradual, pudiendo establecerse tres etapas bien ejemplificadas por el desarrollo de las reflexiones del propio Hilbert. Hacia 1895, era un
partidario declarado de la nueva matemtica y los mtodos de teora de conjuntos, pero en su mente esto no tena ninguna conexin con los lenguajes formales. Tras el
descubrimiento de las paradojas (que Hilbert conoci a travs de Cantor, en 1897),
comenz a ver la importancia de los lenguajes lgicos, en los que trabajaban Frege y
Peano, como salvaguarda frente a inconsistencias. Pero en 1905 dichos lenguajes se
convirtieron en indispensables como clave de su estrategia para afianzar los fundaTheoria 69 (2010): 279-299

288

Jos FERREIRS

mentos de las matemticas, a travs del anlisis de la combinatoria simblica en teoras

formales. Este es el gran tema al que volvera despus de la Gran Guerra de 1914 a
1918, de la mano de P. Bernays (quien tambin se haba doctorado en Gttingen, bajo
la direccin del analista Landau, y fue luego ayudante de Zermelo en Zurich).
2.2. Institucionalizacin: la escuela de Varsovia
Volvamos a la lgica como disciplina institucionalizada, considerando dos ejemplos
modlicos de la que llamo primera institucionalizacin de esta subdisciplina, en la primera
mitad del siglo XX: el caso de la Universidad de Varsovia desde su refundacin en
1915, y el caso de la Universidad de Berkeley. Pero conviene no dejarse deslumbrar
por los sucesos favorables, y por ello realizar tambin algn comentario sobre acontecimientos en los que eran centros tradicionalmente muy pujantes en matemticas,
como Pars, Gttingen y Berln. De entrada, conviene indicar que ninguno de ellos
aparece mencionado en una pgina de informacin (quiz incompleta) sobre la lgica
alrededor del mundo disponible en Internet y referente al da de hoy.8
Pese a lo favorable a la lgica que era el ambiente en Gttingen, los temas de trabajo mayoritarios eran otros, y la tmida institucionalizacin que ocurri con Zermelo
fue muy breve. As, es notable que N. Wiener criticara la situacin durante su visita en
1913, llegando a decir en una carta a Russell: la lgica simblica goza de poco favor
en Gttingen (Mancosu 2003, p. 59). No hace falta enfatizar que el joven Wiener (recin doctorado a los 19 aos) muestra aqu cierta falta de percepcin y de capacidad
interpretativa; tambin es verdad que el momento era poco propicio, ya que los mencionados Zermelo, Grelling y Weyl ya no estaban all. Russell contestaba diciendo que
le decepcionaban las noticias, porque haba tenido la esperanza de que fuera de otro
modo. Si tales eran sus percepciones del centro que representaba la punta de lanza a
nivel mundial para la matemtica moderna, imaginemos lo que habran pensado de
Pars o Berln.
Pero hay algo cierto: incluso durante los aos 1920 y 30, cuando Hilbert centr su
atencin en la cuestin de los fundamentos, la posicin institucional de la lgica en
Gttingen sigui siendo precaria. El gran lgico Paul Bernays se convirti en colaborador indispensable de Hilbert, verdadero autor por ejemplo del monumental Grundlagen der Mathematik (Hilbert & Bernays 1934-1939), y acab siendo la cabeza visible de
la lgica en Gttingen (como tal lo recordaba el norteamericano A. Church, y como
tal dirigi la tesis doctoral de S. Mac Lane, defendida en 1934). Pero no era ms que
profesor extraordinario, hasta que en 1933 las leyes raciales nazis lo dejaron sin ese
puesto.
Si volvemos la vista a Pars, hacia 1900 hubo ciertamente una introduccin y apropiacin de los nuevos mtodos conjuntistas, sobre todo de la mano de una nueva generacin de especialistas en anlisis: Borel, Baire y Lebesgue, que realizaron aportaciones de gran importancia al desarrollar la teora de la medida y resultados sobre funciones con una fuerte base conjuntista, como la jerarqua de Baire. Pero los matemticos

Vase http://world.logic.at/ [Visitado el 1 de mayo de 2010]

Theoria 69 (2010): 279-299

La lgica matemtica: una disciplina en busca de encuadre

289

franceses se mantuvieron al margen de las nuevas ideas lgicas o bien las criticaron,
como hizo sobre todo el gran lder que era H. Poincar (y como hicieron desde una
posicin constructivista los tres citados ms arriba). En todo caso, su apropiacin del
tema no dio lugar a nuevos desarrollos institucionales, y an muchos aos despus la
desaparicin de algunos jvenes que se interesaron por el tema en los aos 1930, especialmente la de J. Herbrand, fue segn suele considerarse causa de un largo atraso de Francia en este campo.
Todo ello contrasta con el notable caso de Varsovia (Wolenski 1988, Duda 1996),
que debe verse como un magnfico ejemplo de florecimiento matemtico desde una situacin perifrica. La escuela de Varsovia lleg a convertirse en un centro de renombre
internacional en teora de conjuntos y temas relacionados como la teora de funciones,
la topologa y la lgica matemtica, produciendo especialistas del renombre de A.
Tarski, C. Kuratowski y A. Mostowski. Estableci nada menos que la primera revista
internacional dedicada especficamente a estos temas, Fundamenta mathematicae, aparecida en 1919 y primera revista especializada en una subdisciplina dentro el mundo de las
matemticas. La idea surgi de dos hombres nacidos en la dcada de 1880: los matemticos W. Sierpinski y Z. Janiszewski (muerto prematuramente en 1920, pero reemplazado en la empresa por S. Mazurkiewicz). Debe tenerse en cuenta que era la
poca de la independencia polaca, al desaparecer con su derrota en la Gran Guerra el
dominio poltico de Alemania, producindose el consiguiente fermento nacionalista.
Sierpinski deseaba ver una matemtica polaca y se convenci de que su comunidad matemtica necesitaba especializarse en algn tema innovador para poder crecer y
consolidarse. Janiszewski, formado en Pars con Lebesgue, estaba de acuerdo y lleg
adems a la conclusin de que en el panorama internacional se necesitaban revistas especializadas para facilitar el trabajo de los expertos (Duda 1996). Buscando ganar una
posicin adecuada en el mundo cientfico, los de Varsovia decidieron publicar una
revista especializada en slo una rama de las matemticas: teora de conjuntos y problemas relacionados. Rbrica que para ellos inclua temas afines como la teora de
funciones de variable real, la topologa o analysis situs, la investigacin axiomtica, y la
lgica matemtica.
En el proceso, aquellos matemticos se aliaron con los lgicos-filsofos que haban
surgido desde la Universidad de Lvov, y que a esas alturas se haban situado como
profesores en Varsovia: J. Lukasiewicz y S. Lesniewski. Conviene explicar que Lukasiewicz fue una figura de gran peso poltico, siendo nada menos que Ministro en 1919,
y luego Rector de la Universidad durante los aos 1920. As, su influencia sobre los
matemticos de Varsovia se dej sentir fuertemente. En resumidas cuentas, la iniciativa de Sierpinski y Janiszewski fue muy exitosa: en particular, su revista fue recibida
como uno de los fenmenos ms notables en el panorama matemtico del momento
(Duda 1996, pp. 489-490). El impacto de Fundamenta se dej sentir sobre todo en dos
reas muy dinmicas y de excelencia en aquella poca, la teora general de conjuntos y
la topologa. En torno a esta aventura acabara surgiendo una poderosa comunidad de
especialistas, cuyo mximo exponente sera Tarski, en cuya formacin influyeron especialmente su Doktorvater Lesniewski y el gran personaje que era Sierpinski.
No fue Varsovia el nico lugar donde en esos tiempos se dio una cierta institucioTheoria 69 (2010): 279-299

290

Jos FERREIRS

nalizacin de la lgica matemtica y principalmente de la teora de conjuntos, sino que

existieron desarrollos ms o menos comparables en Viena (con el clebre Crculo), en
Mosc (la escuela de N. Luzin), en Amsterdam (en torno a L. E. J. Brouwer), etc.
Ahora bien, los acontecimientos de la escuela de Varsovia nos dan el ejemplo ms logrado de insercin de la lgica en el tejido de la comunidad matemtica: de Viena, por
ejemplo, surgira desde luego una figura portentosa como la de K. Gdel, pero desde
un punto de vista disciplinar e institucional la situacin no fue ejemplar como en Varsovia.
Tras los acontecimientos de los aos 1930 que en lo intelectual supusieron una
dcada casi milagrosa para la lgica, de consolidacin y maduracin definitiva, pero en
lo poltico trajeron disrupciones profundas para muchos de los desarrollos que se estaban dando en Europa, es bien sabido que los centros de gravedad institucionales
se desplazaron al continente americano. Tantas de las figuras mencionadas (Gdel,
Tarski, diversos miembros del Crculo de Viena) se vieron desplazadas por la persecucin tnica y poltica, y reubicadas en Estados Unidos, de donde vino tambin el desarrollo de nuevas actividades en Harvard, Princeton, Berkeley, etc.
3. La segunda ola institucional: 1945-1975
En este contexto, y a la luz de la notable personalidad del napolenico Alfred Tarski, hay que comprender la aparicin del mayor centro de la lgica matemtica a mediados del siglo XX: la escuela de Berkeley. El momento era propicio, ya que la lgica
matemtica estaba teniendo muy buena acogida en EE.UU. ver Manzano 1997. En
1936 se fund la Association for Symbolic Logic, y con ella vio la luz la segunda (y pronto
la ms importante) revista especializada en los temas que nos ocupan: el Journal of Symbolic Logic. Esta revista surgi diecisiete aos despus de Fundamenta Mathematicae, y las
diferencias entre sus nombres son significativas de ciertas diferencias en la tendencia
que representan. Si en el Journal ya son centrales las nuevas tcnicas lgicas desarrolladas en los aos 1920 y 30, la lgica matemtica tal como la conocemos, el ncleo de
Fundamenta era la teora de conjuntos asociada a teora de funciones, topologa, etc. El
desplazamiento marca el ascenso definitivo y plenamente maduro de las tcnicas formales.
Como queda dicho, el caso de Berkeley no fue el nico en EE.UU., y su enorme
xito se debi sin duda a las excepcionales posibilidades que encontraron las universidades norteamericanas en la posguerra. En este sentido, conviene indicar, aunque solo
sea de paso, la importancia de la figura de Alonzo Church, profesor en Princeton desde 1929, que se haba formado de modo autctono con O. Veblen (aunque pas el
ao 1928/29 en Amsterdam y Gttingen, centros enfrentados por la disputa sobre los
fundamentos de la matemticas). Hay que indicar que Princeton era ya un lugar muy
activo en lgica durante los aos 1930, un centro a nivel nacional e internacional.
Adems de Church y sus estudiantes, incluidos S. C. Kleene y el clebre Alan Turing,
en el vecino Institute for Advanced Study se encontraban nada menos que J. von Neumann y Gdel. (Como dato relevante, las lecciones que dio Gdel en la primavera de
1934 sobre sus epocales teoremas de incompletitud fueron redactadas por dos alumnos de Church, Kleene y J. B. Rosser, y se convirtieron en referencia clave del tema.)
Theoria 69 (2010): 279-299

La lgica matemtica: una disciplina en busca de encuadre

291

En suma, Princeton reuna a parte de lo ms granado en el panorama lgico internacional, lo cual probablemente tuvo un gran papel en mejorar la formacin del propio
Church y sus alumnos.
Se debe resaltar el papel inmenso que Church desempe en la consolidacin y
despegue de la comunidad de lgicos en EE.UU (ver Manzano 1997). Adems de
otras muchas actividades, dirigi nada menos que 32 tesis doctorales en temas de lgica, pasando alumnos suyos a ocupar puestos en Berkeley, Harvard, Nueva York, el
MIT, Cornell, etc. Fue maestro de muchos lgicos importantes Kleene, Turing, L.
Henkin, M. Davis, etc., y por cierto, tanto su obra como la de sus discpulos son testigos de la transferencia de intereses entre la lgica matemtica y el campo de la computacin, tema del que hablaremos en una seccin posterior. Por otro lado, Church
desarroll una intenssima labor en torno al Journal of Symbolic Logic, trabajando como
editor, recopilando sistemticamente bibliografa sobre lgica, realizando una labor
inmensa como recensor, etc. Todo un entregado y abnegado inspirador del despegue
de la lgica en EE.UU.
En cuanto a Tarski, no hay duda de que fue uno de los mayores lgicos del siglo y
un profesor excepcional, pero tambin resulta claro que sin su determinacin el desarrollo institucional en Berkeley hubiera sido distinto. Su caso fue uno de los ms exitosos dentro del tristemente clebre proceso de emigracin forzada de cientficos europeos debido a los fascismos y la Guerra Mundial. Miembro destacadsimo de la magnfica escuela polaca de entreguerras, contaba con una gran formacin en lgica, matemticas y filosofa. La invasin nazi de Polonia le pill por sorpresa estando en los
Estados Unidos, de manera que ya no volvi a Europa ni se reunira con su familia
hasta aos ms tarde. Tras varios puestos temporales en Harvard, Nueva York y Princeton, en 1942 pas a formar parte del Departamento de Berkeley, primero en forma
precaria aunque con promesas de renovacin, y avanzando rpidamente tras la Guerra
hasta ser full professor. Desde entonces trabaj sin pausa con el objetivo de convertir a
Berkeley en una autntica factora de lgicos del mayor nivel. En ello empe su inmensa energa, capacidad de liderazgo, y obstinacin en lograr sus propsitos; las
mismas que, sin ir ms lejos, marcaran sus tumultuosas relaciones con las mujeres
(Feferman & Feferman 2004).
Claro est que tambin el momento, la poltica y la economa colaboraron: Tarski
cont con las grandes posibilidades econmicas e institucionales de una gran universidad norteamericana en la posguerra. Por hablar slo del contexto ms inmediato, la
Universidad de California en Berkeley estaba en el proceso de convertirse en un gran
centro matemtico. En 1934, G. Evans haba sido nombrado director del Departamento con ese encargo, y una de sus primeras medidas fue contratar a un lgico, A.
Foster, el primer discpulo de Church (Tarski, sin embargo, no tendra muy buenas relaciones con l y considerara sus puntos de vista desfasados). Con la llegada de Tarski,
la concepcin de la lgica orientada hacia la teora de modelos y la teora de conjuntos,
en ntima conexin con ramas bsicas de las matemticas como el lgebra, la topologa
o la teora de la medida, se vio seriamente afianzada.
En opinin de sus bigrafos, Tarski bien distinto de Church, y en las antpodas
del nico lgico que en su tiempo le super con claridad, el tambin emigrado
Theoria 69 (2010): 279-299

292

Jos FERREIRS

Gdel tena todo el perfil de un empire builder, y desde el principio trat de reproducir
en la remota California el tipo de atmsfera intelectual que haba conocido en Varsovia. Tras la Guerra, Evans comprendi lo mucho que poda contribuir al futuro de su
departamento, y le apoy a menudo en asuntos de contratacin de nuevos profesores.
El polaco supo buscar aliados en muy diversos lugares, no sin ganarse intensas enemistades en el proceso. Entre sus aliados estaba por ejemplo Benson Mates en el departamento de Filosofa, y surgi as una estrategia de promocin de la lgica matemtica tanto en Matemticas como en Filosofa. Esta estrategia, junto con la capacidad de
imponer sus designios que Tarski demostr, condujo con rapidez a la formacin de un
impresionante grupo de profesores: figuras de la talla de Leon Henkin, contratado en
1953 en Matemticas (y ms tarde John Addison, etc.), o William Craig en Filosofa en
1960. Se fue as forjando un poderoso grupo que en 1958 dio origen a un programa de
doctorado pionero en Lgica y Metodologa de la Ciencia, interdisciplinar.
Los aos 1960 fueron probablemente el apogeo de este proceso, aunque (segn
Feferman & Feferman 2004) cada discpulo del programa de Tarski consideraba que
su momento haba sido el momento dorado de Berkeley, ya fuera 1950, 1960 o 1970.
Todava a fecha de hoy, el empuje y los efectos de la tradicin inaugurada por Tarski
se siguen notando en Berkeley. All sigue operando el Group in Logic and Methodology
como coalicin de matemticos y filsofos, y all se encuentra investigacin del ms alto nivel en campos como la lgica algebraica y la teora avanzada de conjuntos.
Reflexionando sobre casos como los de Varsovia, Princeton y Berkeley, en contraposicin con departamentos matemticos mucho ms antiguos y consolidados como
los de Berln o Pars, resulta plausible la siguiente hiptesis. La lgica matemtica logr
una implantacin institucional mucho ms profunda en centros matemticos emergentes, que no en centros consolidados. Al tratarse de una nueva disciplina matemtica,
por su novedad y su relativa falta de prerrequisitos, la lgica ofreca un campo de
oportunidades a los matemticos que trataban de consolidarse en la escena internacional partiendo de una situacin de desventaja. Es lo que sucedi en Varsovia, sin lugar
a dudas, y el hecho de que los departamentos norteamericanos en plena expansin
apostaran por la lgica parece abonar la tesis de que la percibieron como un campo de
oportunidades. Aunque la historia contrafctica es siempre peligrosa, resulta muy
atractiva para quien trata de ofrecer razones histricas ms o menos profundas: cabe
conjeturar que, si Berkeley o Princeton hubieran sido en 1940 instituciones matemticas tan consolidadas como Pars, la penetracin de la lgica matemtica en aquellos lugares hubiera sido mucho menor.
4. Tercera ola institucional: 1975-2000
Las dcadas inmediatamente posteriores a la Segunda Guerra Mundial fueron un
tiempo sumamente productivo para la lgica como disciplina. El gran crecimiento de
centros como Princeton o Berkeley vino acompaado por el despegue de nuevos
mtodos en teora de modelos, teora de conjuntos, teora de la demostracin, lgica
algebraica, etc. Y por si fuera poco, en esta poca estaba ya claramente presente la gran
transformacin del computador, con todo su potencial de atraccin. Este rpido desarrollo tecnolgico, por sus intensas relaciones con la lgica, no poda dejar de tener un
Theoria 69 (2010): 279-299

La lgica matemtica: una disciplina en busca de encuadre

293

notable impacto. Como tambin lo tuvieron, a niveles ms bajos, toda una serie de desarrollos en teora lingstica, en inteligencia artificial (I.A.), a veces ligados a nuevas
lgicas no estndar, etc.
De hecho, parece haber una ola significativa de creacin de revistas tras la Segunda
Guerra Mundial: el Archiv fr mathematische Logik und Grundlagenforschung en 1950, etc.
Enfatizo aqu y en otros lugares la cuestin de las revistas, porque son un indicador de
institucionalizacin sumamente importante. Las revistas tienen un papel aglutinador
de las comunidades cientficas, y por tanto un papel institucionalizador, que no puede
exagerarse.
Respecto a lo que ha supuesto la asociacin entre lgica y computacin, son iluminadoras las palabras de R. Shore en un reciente artculo de prospectiva, pronunciadas
en el contexto de un panel sobre el futuro de la lgica en este siglo XXI:
Los orgenes de la lgica estuvieron en los fundamentos [de la matemtica] y la filosofa; la mayora de nosotros, en este panel y en la audiencia, nos formamos y crecimos como matemticos;
sin embargo, las principales oportunidades para un crecimiento futuro de la lgica se encuentran
en las ciencias de la computacin. Yo usara la analoga de que la lgica es a las ciencias de la
computacin lo que las matemticas a la fsica, y viceversa. [...] Esta relacin ha afectado, y afectar, [] a toda la lgica. (Shore 2001, p. 172)

Desde un primer momento, los aspectos ms tericos de la computacin estuvieron

ntimamente ligados a la lgica matemtica. Baste recordar las relaciones entre computacin y funciones recursivas, y de manera especial el papel de las mquinas de Turing
como modelo terico-matemtico del computador; sin olvidar la importancia del
clculo lambda, propuesto por el mencionado Church en un artculo sobre la teora de
tipos (1940), que devino prototipo de lenguajes de programacin. O tambin, la gran
relevancia en todo el despegue de la computacin moderna de von Neumann, uno de
los colaboradores ms originales en la investigacin sobre lgica y fundamentos durante los aos 1920, relacionado con el grupo de Hilbert en Gttingen, que tras los
teoremas de Gdel (1931) decidi muy conscientemente orientar su actividad hacia
temas ms empricos.
Claro est que el campo de la computacin es profundamente interdisciplinar, reuniendo esfuerzos provenientes de reas tan diversas como la ingeniera, la fsica, las
matemticas, la lingstica, la psicologa. Pero la lgica matemtica desempea un papel muy central en la teora, y por tanto en la exploracin de nuevas posibilidades en
computacin, que luego habrn de ser analizadas en fase experimental y finalmente
llevadas a la plena implementacin prctica.
Uno de los centros punteros dentro de este campo en EE.UU. es la Carnegie Mellon School of Computer Science (Pittsburgh), una institucin muy asociada en su trayectoria a nombres tan caractersticos de la I.A. como los de Allen Newell y Herbert
Simon. Comenz como Departamento en 1965, con la idea visionaria de que la ciencia
de la computacin deba abarcar, en palabras de Newell, el estudio de todos los
fenmenos que surgen de los computadores y no slo las cuestiones estrictas de su
teora y diseo. A la vista de las nuevas reas abiertas a la computacin en los aos
1980 (redes, sistemas distribuidos, robtica, procesamiento en paralelo), en 1988 el
Departamento se transform en toda una Escuela independiente. Y su actividad ha
afectado desde luego al trabajo de los lgicos matemticos de Carnegie Mellon, parte
Theoria 69 (2010): 279-299

294

Jos FERREIRS

de ellos ubicados en el Departamento de Filosofa, al orientar el sentido de las nuevas

contrataciones y, entre otras cosas, al dar lugar a un programa de doctorado interdisciplinar en Lgica Pura y Aplicada, modelo que se ha seguido en muchos otros lugares9.
Pero ms relevante que esto es el papel que han seguido desempeando los lgicos
y sus trabajos en impulsar nuevos desarrollos tericos asociados a la computacin.
Pondr dos ejemplos notables. El israel M. O. Rabin y el estadounidense D. Scott
fueron ambos alumnos de doctorado de Church en Princeton, defendiendo sus tesis
en 1950 y 1958 respectivamente. En 1959 publicaron un artculo conjunto titulado
Finite Automata and Their Decision Problem, donde introdujeron la idea de
mquinas no deterministas. Este concepto demostr ser de gran valor en la teora de
autmatas, por lo que ambos acabaron recibiendo el prestigioso Premio Turing en
1976. La idea de mquina no determinista est detrs de la descripcin de la llamada
clase de complejidad NP, y precisamente el problema P = NP, dentro de la teora de
la complejidad, se considera actualmente uno de las ms importantes cuestiones abiertas en matemticas. Es uno de los siete problemas propuestos y premiados con un
milln de dlares por el Clay Mathematics Institute (vase Cook 2000). Se trata de saber si dos clases de problemas de decisin son o no son coincidentes: si toda decisin
lograda por algn algoritmo no determinista en tiempo polinmico (NP), es tambin
alcanzada por un algoritmo estricto o determinista en tiempo polinmico (P).
Cabe aadir que Rabin acab siendo una figura clave del programa en ciencias de la
computacin de la Universidad de Harvard, realizando aportaciones importantes a la
criptografa y la seguridad en computadores. Scott desarroll una intensa carrera con
puestos en Oxford durante los aos 1970 y Carnegie Mellon (Filosofa) desde 1981.
Sigui realizando contribuciones de gran importancia a la teora computacional con el
enfoque Scott-Strachey de semntica denotacional, y con la teora de dominios (Stoy
1977). Recientemente Scott se ha convertido tambin en editor jefe de Logical Methods
in Computer Science, una revista electrnica de acceso directo y gratuito, aunque perfectamente acadmica y de alto nivel, fundada en 2005.
En ocasiones, incluso, siguen siendo desarrollos tericos fuertemente matemticos,
y motivados inicialmente por cuestiones de fundamentos, los que acaban demostrando
su relevancia para la teora computacional. Ejemplo de esto son los trabajos del lgico
sueco Per Martin-Lf sobre teora de tipos intuicionista, originados en cuestiones que tienen que ver con la aproximacin constructivista a las matemticas y muy filosficos
(Martin-Lf 1984). En este sentido, la figura de Martin-Lf es clara continuacin de la
tradicin clsica de los grandes lgicos pioneros (Frege, Dedekind, Russell, Brouwer)
pero su obra, desarrollada desde 1971, ha sido de gran importancia en la teora computacional: un buen nmero de sistemas de demostracin de teoremas por computador (COQ, Twelf, Epigram, Isabelle y otros) se han diseado sobre el fundamento de la
teora de tipos intuicionista.
Concurrentemente con los desarrollos anteriores, el anlisis formal de las estructuras lingsticas experiment enormes avances, en gran medida debido a las innovado9

Para ms informacin puede verse http://logic.cmu.edu/, o bien http://www.hss.cmu.edu/

philosophy/labs-lsec.php [Visitado el 1 de mayo de 2010].
Theoria 69 (2010): 279-299

La lgica matemtica: una disciplina en busca de encuadre

295

ras contribuciones de N. Chomsky. A partir de entonces, la lingstica formal se desarroll intensamente, sin faltar tampoco las contribuciones de lgicos como Richard
Montague, un alumno de Tarski. No podemos entrar aqu en detalles sobre todo este
proceso, pero lo cierto es que hacia 1980 la evolucin de los computadores y la de la
lingstica formal entraban en convergencia, con el objetivo de desarrollar sistemas
computacionales capaces de manejar lenguajes humanos y realizar tareas de traduccin. Se habla en tal sentido de computadores de quinta generacin, y aunque proyectos
como el de Japn no obtuvieron los resultados esperados, los esfuerzos por alcanzar
aquel objetivo perfeccionando el anlisis formal del lenguaje y las tcnicas computacionales no han cejado.
Dentro de este nuevo marco, caracterstico de los aos 1980, se debe entender la
ltima serie de innovaciones institucionales que vamos a tratar aqu. Me refiero a la
aparicin de diversos Institutos para el estudio de lgica, lenguaje e informtica, como
los pioneros de Stanford y Amsterdam.
Era natural que en el entorno de Sillicon Valley se dieran de manera especialmente
activa este tipo de actividades. En tal contexto, el Center for the Study of Language and Information (CSLI) se estableci en 1983 como un instituto independiente, fundado por
investigadores de la Universidad, del Stanford Research Institute y de Xerox PARC.
Especial relevancia en su fundacin tuvieron el filsofo John Perry y sobre todo el
lgico Jon Barwise, discpulo de Solomon Feferman (a su vez discpulo de Tarski), que
obtuvieron una cantidad muy importante para sus proyectos relativos al desarrollo de
la semntica de situaciones. El CSLI realiza trabajos de carcter interdisciplinar, agrupando
a expertos en computacin, lingistas, lgicos, filsofos, psiclogos, e investigadores
en I.A. Entre sus campos de trabajo se encuentra la robtica, el reconocimiento de
habla, la traduccin asistida por computador, la comprensin de textos, y la planificacin y razonamiento artificiales.
Similar carcter tiene el Institute for Logic, Language and Computation (ILLC) de la Universidad de Amsterdam. De hecho, ILLC fue dirigido desde su fundacin por Johan
van Benthem, que por esos aos era asimismo investigador en el CSLI. (Van Benthem
realiz su tesis bajo la direccin de M. Lb, nieto doctoral de Wittgenstein, y S.
Thomason, nieto de Church.) Los investigadores provenan tanto de la Facultad de
Ciencias como la de Humanidades de aquella universidad; ms tarde se les asociaron
grupos como los de los lingistas computacionales en 1989, o tambin un grupo de
ciencias cognitivas en 1996. Sus trabajos enfatizan especialmente los lenguajes naturales y formales, con el objetivo de estudiar la codificacin, transmisin y comprensin
de la informacin. ILLC ofrece un programa de mster en Lgica que cuenta con cuatro subprogramas: Logic & Computation, Logic & Language, Logic & Mathematics y Logic
& Philosophy.
Por fin, en relacin con esta misma tendencia cabe mencionar la fundacin en
1991 de la Association of Logic, Language and Information (FoLLI), que organiza una Escuela de Verano Europea en lgica, lenguaje e informacin, y que dispone tambin de
su propia revista, el Journal of Logic, Language and Information, que apareci en 1992 y es
editada por Springer.

Theoria 69 (2010): 279-299

296

Jos FERREIRS

5. Conclusiones
Si algo queda claro, a travs del anterior recorrido por la historia institucional de la
lgica matemtica, es que la dinmica de su desarrollo ha sido muy intensa, como
tambin lo ha sido su capacidad para establecer conexiones con diversos temas: anlisis del lenguaje y la argumentacin, fundamentos de la matemtica, clculo y computacin, lingstica, inteligencia artificial.
Partiendo de desarrollos intelectuales en los mrgenes de las matemticas y la filosofa, la lgica matemtica se consolid inicialmente en estrecho contacto con la teora
de conjuntos y las discusiones en torno a los fundamentos de las matemticas. Surgi
de un proceso de hibridacin entre una materia filosfica y su profunda transformacin en manos de los matemticos. Fue en este mismo marco que se dio su primera
institucionalizacin, de una manera fugaz pero pionera en Gttingen, y de modos cada
vez ms slidos en centros que emergieron de posiciones perifricas dentro del mundo de las matemticas (Varsovia, Berkeley). Bajo los impulsos recibidos de esta orientacin matematizante, la lgica se conform como una disciplina de un rigor conceptual y metodolgico inmenso, prefigurado por pioneros como Frege o Hilbert, y llevado a nuevas cotas por la generacin que fue protagonista del milagro de los aos
1930: Gdel, Tarski, Bernays, Church, Turing, etc.
El desarrollo institucional de la disciplina entre 1900 y 1950 parece abonar la hiptesis de que la lgica matemtica logr una implantacin institucional mucho ms profunda en centros matemticos emergentes, no en centros consolidados. Por ser una
disciplina nueva y por su relativa falta de prerrequisitos, la lgica ofreca un campo de
oportunidades a los matemticos que trataban de consolidarse en la escena internacional partiendo de una situacin de desventaja. Es lo que sucedi en Varsovia, sin lugar
a dudas, y aparentemente tambin en Berkeley o Princeton.
La idea de lgica tiene una tradicin rica y hasta cierto punto confusa: en un sentido, se trata slo del estudio de los patrones de inferencia deductiva estrictamente concluyentes, y en esto se centraron los especialistas en lgica y fundamentos; pero en
otro sentido, lgica se asocia a lenguaje y discurso, lo cual induce a hablar de una
lgica de cada tipo de discurso, por poco deductivo que sea. Y as ha sido siempre
fuerte la tradicin de bsqueda de una lgica de la induccin, como tambin se habla
de toda una serie de lgicas no estndar: modal, temporal, dentica, no monotnica,
incluso lgica paraconsistente, etc. y todo tipo de lgicas hbridas. Tales ideas fueron
claramente secundarias durante el gran perodo de consolidacin de la lgica matemtica, pero an entonces estaban vivas, sobre todo entre filsofos.10
El paradigma de la lgica matemtica y en particular el modo como se ofreca un
tratamiento sintctico, semntico y metaterico para la lgica de primer orden dio
origen a mltiples proyectos de formalizar y tratar anlogamente a esas lgicas alternativas. De forma provocativa, podra decirse que el resultado fue hacer valer la mxima
feyerabendiana del todo vale siempre y cuando se desarrollara un tratamiento formal
10

Valga de ejemplo el caso de C. I. Lewis, profesor en Harvard, considerado padre de la lgica modal
moderna.

Theoria 69 (2010): 279-299

La lgica matemtica: una disciplina en busca de encuadre

297

anlogo al del ejemplar paradigmtico que es la lgica de primer orden. Es decir,

siempre que se definiera un sistema formal con su sintaxis, acompaado de una
semntica adecuada, que diera lugar a resultados metatericos satisfactorios. Se debe
notar que, en el segundo punto (semntica), la riqueza de mtodos de la matemtica
moderna ofrece una inmensa gama de posibilidades, de manera que la tarea propuesta
siempre es resoluble independientemente del sentido epistemolgico, el alcance, o
la justificacin ltima de los sistemas formales propuestos.
Al mencionar dichas lgicas alternativas, pues, se plantean problemas filosficos
serios y de inters, que a menudo distan de estar resueltos satisfactoriamente: quiz
para el lgico estricto vale todo con tal de tener un sistema lgico que sea bonito, cute, pero las cosas no son as para el filsofo. No pueden serlo, precisamente porque de
la posibilidad de un tratamiento formal para tal o cual aspecto de la matemtica, el
lenguaje, o la inteligencia, se pretende extraer conclusiones epistemolgicas.
Pero conviene tambin hacer una reflexin sobre las relaciones entre situaciones
institucionales y desarrollo conceptual. Los cambios institucionales son a la vez efecto
y causa de nuevos desarrollos conceptuales; la dinmica de estas relaciones es compleja debido a las mltiples realimentaciones. As, la aparicin de centros como Carnegie
Mellon, donde el campo de la computacin se extenda hacia los terrenos ms ambiciosos y difusos de la inteligencia artificial, y el establecimiento de nuevas conexiones
de la lgica con el anlisis formal del lenguaje, estimularon el desarrollo de las lgicas
no estndar ms all de lo que ya lo venan haciendo proyectos filosficos como los de
Lewis y Carnap. Todo este nuevo fermento acabara afectando a la orientacin de la
investigacin en lgica, de maneras que resultan bien visibles hoy en da. El estilo de
trabajo fuertemente motivado y reglamentado que caracteriz a los aos 1930 se fue
relajando. Ahora resultaba plausible tratar de desarrollar formalmente, segn mtodos
reconocibles como propios de la lgica, intuiciones ms o menos vagas.
El resultado fue que, a la vez que continuaban su desarrollo algunas de las viejas direcciones con su estilo caracterstico, fueron proliferando tambin las alternativas, y el
panorama de la lgica se fue complicando hasta llegar incluso a ser confundente11. En
buena medida puede hablarse de una vuelta a los orgenes, teniendo en cuenta que el
lenguaje en toda su riqueza, incluidos por ejemplo los fenmenos de vaguedad, o la
propia psicologa han sido fuentes de inspiracin y motivacin para el desarrollo de
sistemas formales... cuando precisamente esos elementos haban sido cuidadosamente
separados de la lgica matemtica entre 1900 y 1950! Si bien resulta muy discutible
hasta qu punto la lgica ha logrado cumplir la vieja promesa de ofrecer las claves del
pensamiento y el conocimiento humano, resulta evidente su potencial para el desarrollo de nuevas tecnologas de la computacin y la informacin. De hecho, esta lnea de
interpretacin parece suficiente para entender las motivaciones principales detrs de la
tercera ola de institucionalizacin que hemos discutido.
Aadir dos reflexiones ms. La fractura que se advierte a menudo entre lgicos
11

Quiz una buena manera de captar las diferencias, de manera rpida y un tanto expeditiva, sea comparar los Handbooks de Barwise (1978), un clsico dedicado a temas clsicos, con los editados por
Gabbay et al. (1980s; 1990s).
Theoria 69 (2010): 279-299

298

Jos FERREIRS

propiamente matemticos y lgicos llamados filosficos tiene que ver tambin

con los factores que acabamos de indicar. Y en pases como el nuestro, donde las estructuras de investigacin (en lo esencial, las universidades) se caracterizan por su falta
de flexibilidad institucional, el desarrollo variopinto de la lgica y sus conexiones cambiantes con otras disciplinas han dado lugar a dificultades especiales. Hoy en da, en
Espaa, la solidez o endeblez de la lgica en un determinado departamento universitario (ya sea de Filosofa, de Matemticas o de Computacin) no puede nunca predecirse
segn criterios generalizables, sino slo, a fin de cuentas, explicarse atendiendo a la
historia particular de esa institucin. Pero lo peor es que el futuro de dichas configuraciones institucionales tampoco admite predicciones claras, ni hay garantas de que responda a cambios profundos en la disciplina. Deficiencia que, por otro lado, no es ni
mucho menos exclusiva de este campo, sino que afecta a muchas otras disciplinas universitarias.
REFERENCIAS
Barwise, J., 1978. Handbook of mathematical logic. Amsterdam, North-Holland.
Castrillo, P., 1993. Los precursores britnicos de la lgica moderna. Madrid, UNED.
Cook, S., 2000. The P versus NP problem. Clay Mathematics Institute. Available through:
<http://www.claymath.org/ millennium/P_vs_NP/pvsnp.pdf> [Accessed 1 May 2010]
Duda, R., 1996. Fundamenta Mathematicae and the Warsaw school of mathematics. En LEurope
mathmatique / Mathematical Europe. Paris, ditions MSH, 1996, pp. 481-500.
Feferman, A. B. and Feferman, S., 2004. Alfred Tarski : Life and Logic. Cambridge, Cambridge University
Press.
Ferreirs, J., 1999. Labyrinth of Thought. A history of set theory and its role in modern mathematics. Basel/Boston,
Birkhuser.
2001, The road to modern logic an interpretation. The Bulletin of Symbolic Logic 7, pp. 441-484.
Gabbay, D.M. and Guenthner, F., eds. Handbook of Philosophical Logic. 4 vols. Dordrecht, D. Reidel, 19831989.
Gabbay, D.M. Hogger, C.J. and Robinson, J.A., eds. Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford Univ. Press, 1993-1998.
van Heijenoort, J., 1967. From Frege to Gdel. A source book in mathematical logic, 18791931. Harvard, Harvard University Press.
Hilbert, D. and Bernays, P., 1934-1939. Grundlagen der Mathematik. 2 vols. Berlin, Springer.
Hilbert, D., 1900. Mathematische Probleme. Gesammelte Abhandlungen, vol. 3. Berlin, Springer, pp. 290329.
Kusch, M., 1995. Psychologism: A Case Study in the Sociology of Philosophical Knowledge. Routledge, London.
Mashaal, M., 2000. Bourbaki: Une socit secrte de mathmaticiens. Pour La Science, N 2, Mai 2000. Collection Les Gnies de la Science.
Mancosu, P., 2003. The Russellian influence on Hilbert and his school. Synthese, 137, pp. 59101.
Mancosu, P. Zach, R. and Badesa, C., 2009. The development of mathematical logic from Russell to
Tarski: 19001935. En L. Haaparanta, ed. The development of modern logic. Oxford, Oxford Univ. Press,
pp. 318-470.
Manzano, M., 1997. Alonzo Church : his life, his work and some of his miracles. Hist. and Philos. of Logic,
18, pp. 211-232.
Martin-Lf, P., 1984. Intuitionistic type theory. Napoli, Bibliopolis.
1996. On the Meanings of the Logical Constants and the Justification of the Logical Laws. Nordic
Journal of Philosophical Logic 1, no. 1, pp. 3-10.
Moore, G.H., 1988. The emergence of first-order logic. En W. Aspray & Ph. Kitcher, eds. History and Philosophy of Modern Mathematics, Minnesota, University of Minnesota Press, pp. 95-135.

Theoria 69 (2010): 279-299

La lgica matemtica: una disciplina en busca de encuadre

299

Peckhaus, V., 1992. Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland. Berichte zur Wissenschaftsgeschichte, 15, pp. 27-38.
1997. Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Akademie-Verlag: Berlin.
Peirce, Ch. S., 1988. Escritos lgicos. Introduccin, seleccin y traduccin de Pilar Castrillo Criado. Madrid,
Alianza.
Rodrguez Consuegra, F., 1991. The Mathematical Philosophy of Bertrand Russell : origins and development. Basel/Boston, Birkhuser.
Schnflies, A., 1898. Mengenlehre. Encyklopdie der Mathematischen Wissenschaften mit Einschlu ihrer Anwendungen. Leipzig, Teubner. Bd. 1, Teil 1. 1898. (Versin francesa de Baire y Schoenflies en: Encyclopdie
des sciences mathmatiques pures et appliques. Tome 1, Vol. 1. Paris, Gauthier-Villars. 1909.)
Schroeder, E., 1895-1905. Vorlesungen ber die Algebra del Logik. Leipzig, B.G. Teubner. Reprints, 1966,
Chelsea; 2000, Thoemmes Press.
Shore, R.A., 2001. The prospects for mathematical logic in the twenty-first century. Bulletin of Symbolic Logic, 7, pp. 169196.
Stoy, J.E., 1977. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. Cambridge
(Mass.), MIT Press.
Ueberweg, F., 1882. System der Logik und Geschichte der logischen Lehren. 5 ed. Bonn, A. Marcus.
Vega, L., 199. El desarrollo de la lgica en el siglo XX. Agora, 18, pp. 5-32.
ed., 1997. On the history of mathematical logic. Theoria, 28, pp. 7-160.
Whitehead, A.N. and Russell, B., 1910-1913. Principia Mathematica. Cambridge, Cambridge University
Press.
Wolenski, J., 1988. Logic and philosophy in the Lvov-Warsaw school. Dordrecht, Kluwer.
Jos FERREIRS es catedrtico de Lgica y Filosofa de la Ciencia en la Universidad de Sevilla, y actualmente trabaja en comisin de servicios en el Instituto de Filosofa del CCHS, CSIC. Autor de obras como
Labyrinth of Thought (1999, 2007) y editor de The Architecture of Modern Mathematics (2006), su
campo de trabajo principal es la historia y filosofa de las matemticas y la lgica, aunque se interesa
por la filosofa de la ciencia en general, la historia de la ciencia y la epistemologa. Es miembro del
Committee for Logic in Europe, y miembro fundador de la Association for the Philosophy of Mathematical Practice.
DIRECCIN: Instituto de Filosofia, CCHS CSIC. C/ Albasanz, 26-28. 28037 Madrid. Correo electrnico:
josef@us.es

Theoria 69 (2010): 279-299

Copyright of Theoria is the property of Universidad del Pais Vasco, Servicio Editorial and its content may not
be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written
permission. However, users may print, download, or email articles for individual use.