DEL CRISTAL DE LA LGICA AL DISCURSO SIN

ESPEJO
(Una perspectiva de la lgica del s. XX)
Luis VEGA REN
Dpto. de Lgica y Filosofa de la Ciencia, UNED
1. Panorama
La lgica es un campo de estudio con 24 siglos largos de existencia. Pero
en ningn siglo anterior ha conocido un desarrollo y un despliegue compara-
bles a los que han tenido lugar en el s. XX. El crecimiento ha venido acompa-
ado de cambios sustanciales que han afectado tanto a su constitucin inter-
na, como a su lugar y su presencia acadmicas. Para hacerse una idea de los
cambios internos bastara comparar lo que se entenda en nuestro pas a prin-
cipios de siglo por Lgica fundamental con lo que ahora se ensea en el nivel
equivalente de una Lgica de primero I La Lgica fundamental consista en
una amalgama de la lgica tradicional, centrada en la silogstica, con retazos de
epistemologas y metodologas decimonnicas (ecos de las filosofas de Kanr o
de Stuart Mili, secuelas krausopositivistas o neoescolsticas, etc.). Un elemen-
to de orden en este cajn de sastre era la suposicin de que la lgica no slo
estaba hecha del cristal de las ideas, sino que era el espejo de las luces de la
Razn: el reflejo normativo de sus operaciones cognitivas, desde la adquisicin
de la verdad hasta la transmisin segura de las verdades conseguidas. Hoy, por
el contrario, si algo aprenden los estudiantes de un primer curso de Lgica es
que se trata de un lenguaje analtico y tcnico, presuntamente independiente
' La Lgica fundamental fnt implantada por el Ministerio de Instruccin Pblica de
Garca Alix en 1900 como asignatura del curso preparatorio de Letras y Derecho; se mantuvo
en vigor hasta entrados los 20. No estar de ms recordar que en muchas universidades de pro-
vincias sta fixe por entonces la nica materia cursada de Filosofa.
NDOXA: Series Filosficas, n." 12, 2000, pp. 495-523. UNED, Madrid
496 LUIS VEGA REN
o, cuando menos, neutral con respecto a cualquier filosofa, hasta el punto de
que ciertas implicaciones que antes se consideraban obvias se han tornado
ahora esquivas: me refiero, por ejemplo, a las relaciones de la lgica con el pen-
samiento o con la realidad.
De los cambios en otros aspectos, digamos externos, hay indicadores no
menos llamativos. Uno es, por ejemplo, el crecimiento exponencial de la litera-
tura tcnica dentro del campo abierto por la que Carnap llamaba die neue
Logik a principios de la dcada de 1930. En los aos 1936-1938, Church
registraba con referencia al periodo 1847-1932 un total de 1.733 autores y
5.845 publicaciones distribuidas en 15 secciones. Cincuenta aos despus, la
Q.-Bibliography of Mathematical Logic de MUer ya recoge, con referencia al
periodo 1879-1985, 14.813 autores y 47.117 publicaciones, amn de recono-
cer 8 reas capitales y 109 subreas especializadas-^. Hoy, por aadidura, la lgi-
ca puede prosperar en diversos medios acadmicos (facultades de filosofa y de
matemticas; escuelas de informtica; centros de trabajo en computacin, en
inteligencia artificial, en ciencias lingsticas y cognitivas). Esta diseminacin
facilita no slo la presencia de usos y subespecialidades dispares en el campo
del anlisis lgico, sino la existencia de concepciones distintas de la lgica o,
por lo menos, la exposicin a varias y diversas visiones selectivas.
De todo esto no se sigue que, en definitiva, la lgica haya mudado por
completo de tema o de naturaleza; nuestra lgica actual sigue ocupndose de
asuntos tan tradicionales como las formas lgicas o las relaciones de conse-
cuencia. Pero se colige que ninguna revisin panormica dejar de incurrir en
una imagen parcial y sesgada de la lgica del s. XX. Creo que nadie est hoy
en condiciones de dominar todo este campo de anlisis y de construcciones
tericas sistemticas, ni menos an el conjunto de sus aplicaciones. As
que declarar de entrada mis sesgos y limitaciones: veo la lgica en una pers-
pectiva histrica al tiempo que estoy mirndola desde una facultad de filoso-
fa no desde un departamento de matemticas o de informtica o de lin-
gstica, pongamos por caso.
2 A. CHURCH, A bibliography of symbolic logic, JSL, 114 (1936): 121-218; adic. y
correcc. Ibd. 3/4 (1938): 178-212. G. H. M LLER, ed. ^-Bibliography of mathematical logic,
Berlin/Heideiberg/New York: Springer, 1988, 6 vols. Hay un estudio bibliomtrico que com-
para algunos aspectos de esta evolucin en R. W AGNER-DO BLER y J. BERG, Mathematische Logik
von 1847 bis zur Gegenwart, Beriin/New York: W. de Gruyter, 1993.
DEL CRISTAL DE LA LGICA AL DISCURSO SIN ESPEJO 497
Vistas as las cosas, el gran acontecimiento del siglo en lgica ha sido la
constitucin de sus seas bsicas de identidad como nueva disciplina cientfi-
ca, nacida en tierra de nadie y fi-uto de unas relaciones extra-disciplinarias
entre ciertas matemticas y ciertas filosofas. En este largo y accidentado acon-
tecer destacan dos amplios movimientos de sstole y de distole: el primero
comprende diversas formaciones y cristalizaciones de la lgica hasta conducir
a la conformacin e implantacin de una lgica clsica de primer orden como
la lgica por antonomasia, contraccin que hoy todava oficia de lgica estn-
dar; el segundo discurre al hilo del desarrollo de las lgicas, lgicas alternati-
vas o, ms en general, no estndar pues vienen a cristalizar ms all o al mar-
gen del espejo de la lgica estndar. Las tendencias sistlicas cobran mayor
relieve a medida que avanza la primera mitad del siglo; las diastlicas, a medi-
da que avanza la segunda. Una circunstancia aadida en este ltimo tercio de
siglo es la aparicin de unos anlisis del discurso sin espejos dentro de la lla-
mada lgica informal y, ms an, dentro del campo de la argumentacin.
Lgica informal no pasa de ser en muchos casos el nombre de una ausencia
de lgica ausencia de una teora de la forma o de la consecuencia lgicas
, suplida por el anlisis conceptual o por el anlisis de los poderes inferencia-
es de diversos tipos de expresiones. El campo de la argumentacin se extien-
de a su vez como un sembrado de interacciones discursivas autoconstituyen-
tes, capaces de determinar su propia calidad relativa de buenos o malos argu-
mentos en virtud de su uso contrastado dentro de un contexto y al margen de
que tal calificacin llegue a reflejarse o no en unas condiciones lgicas siste-
mticas de validez o invalidez. Segn esto, al gran acontecimiento del siglo,
antes sealado, habra que aadir otro acontecimiento que toca directamente
la filosofa de la lgica y el anlisis del discurso, a saber: la ruptura y fragmen-
tacin de la lgica como reflejo sistemtico espejo de las luces de la razn o
de las leyes del ser verdadero o de la estructura profianda del discurso e
incluso, llegado el caso, el abandono de los espejos de este gnero. Los que gus-
tan de grandes titulares podran calificar este fenmeno de nuevo reto del
relativismo.
Los apuntes que siguen girarn en torno a los tres procesos de generacin,
sstole y distole que han marcado la suerte de la nueva lgica del s. XX.
Tambin considerar en esta perspectiva histrica las proyecciones filosficas
recin mencionadas. Pero no voy a entrar en los cambios de configuracin del
contorno interdisciplinario (matemtico, lingstico, cognitivo, computacio-
nal, etc.), que han venido acompasando esos procesos constituyentes.
498 Luis VEGA REN
Tampoco discutir las imgenes y las secuelas historiogrficas que se han ido
desprendiendo de ellos, a pesar de su valor sintomtico como visiones retros-
pectivas a partir de ciertas cristalizaciones de la lgica ^.
2 . La generacin de la nueva lgica: tendencias, tradiciones y
programas
La lgica tradicional se interesaba por la convalidacin de argumentos y la
deteccin de falacias, mediante la esquematizacin p. ej. del tipo S es P
de formas lgicas dentro del discurso comn o acadmico. Por contraste, algu-
nos intereses caractersticos de la nueva lgica son: [/] la construccin de len-
guajes simblicos artificiales; [2] el estudio formal y sistemtico de las teoras
deductivas i. e. conjuntos de enunciados ordenados y cerrados con respecto
a una relacin de deducibilidad; [3] la investigacin de estructuras semnti-
cas y de modelos matemticos. Con el tiempo estos intereses se han plasmado
en ciertas realizaciones y reas de trabajo que hoy distinguen el cultivo de la
materia: [i], por ejemplo, en la construccin y la determinacin efectivas de
los elementos y las categoras gramaticales de los lenguajes lgicos; [2 ], por
ejemplo, en la (mal) llamada teora de la prueba; [3], por ejemplo, en la lla-
mada teora de modelos.
Pese a algunas supuestas primicias anteriores, p. ej. en la estela de Leibniz,
esta nueva lgica simblica o matemtica no existe como campo de cono-
cimiento antes de mediados del s. XIX. No se encuentra ni en las vastas regio-
nes filosficas frecuentadas por la lgica tradicional (epistemolgicas, metaf-
5 Segn LEWIS (1918), la poca constituyente de la nueva lgica se inicia a partir de diver-
sas lneas britnicas y germanas, desde mediados del s. XIX, y se clausura con su confluencia en
los Principia Mathematica de W H ITEH EAD y RUSSELL (1910-1913); segn van H EIJ ENO O RT
(1967), es la gran poca que abre F REGE en 1879 y cierra GO D EL en 1931; segn MOGRE
(1998) se abre precisamente a partir de Godel. H ay noticias de esos cambios de ptica y de pers-
pectiva en mi presentacin de la seccin monogrfica Sobre la historia de la lgica matemti-
ca de Theoria, 12 /2 8 (1997): 7-160. Una visin general del desarrollo de la nueva lgica se
encuentra en MANGIO NE y Bozzi (1993), aunque apenas considere las variantes no estndar de
los aos 70 y ss.; una revisin crtica, algo simplificadora, en CELLUCCI (1998). En VEGA REN
(1996) hay presentaciones sumarias y referencias bibliogrficas de las contribuciones ya consi-
deradas clsicas y de las ms representativas de este desarrollo; all me remito para las mencio-
nes que no estn recogidas en la bibliografa de este artculo.
D E L CRISTAL D E LA LGICA AL DISCURSO SIN ESPEJO 499
sicas, metodolgicas), ni en los diversos terrenos de expansin y desarrollo de
las matemticas modernas, p.ej. el anlisis, el lgebra, la teora de probabilida-
des. Luego, en la segunda mitad del siglo, irn apareciendo solapamientos y
zonas francas entre la lgica tradicional y la matemtica moderna, p.ej. en el
lgebra simblica o entre los conceptos de la tradicin lgico-filosfica y las
colecciones o multiplicidades consideradas por algunos matemticos, as como
nuevos lugares preparados para construirse una especie de residencia propia,
p.ej. la lgica elemental de clases, el tratamiento veritativo-ftincional de pro-
posiciones y conectores proposicionales, la cuantificacin de variables, el cl-
culo de relativos ^.
Esta perspectiva no se aviene a conceder el papel de protagonista decisivo
a un nombre propio a un presunto fiandador de la nueva lgica: Boole,
Frege, Peirce, Peano, etc., o a una contribucin singular, fundante v.g.
The mathematical analysis ofbgic (Boole 1847) o Begriffischrift (Frege 1879).
Es una perspectiva que hace pensar ms bien en corrientes o tendencias que
discurren, por lo general, al margen de la lgica acadmica y obran como cauce
de diversas tradiciones y programas. Por ejemplo, el inters [i] por la simboli-
zacin y el lenguaje bien hecho, antes aludido, puede relacionarse con algunas
propuestas semiticas y algebraicas que podran remontarse al s. XVIII, aun-
que haya de esperar hasta la segunda mitad del XIX para empezar a dar frutos
en el marco de dos programas que, adoptando los trminos de una discusin
entre Frege y Schroder, podran denominarse lgica como clculo, ms pen-
diente de las posibilidades operacionales y resolutivas del lenguaje lgico-alge-
braico, y lgica como lenguaje, ms pendiente de la expresin depurada y
transparente de los contenidos y las leyes del pensamiento. Concurren adems
dos tendencias perceptibles: (A) una que se mueve hacia una creciente genera-
lidad y abstraccin en las expresiones simblicas, en el anlisis de condiciones
o de leyes de protoestructuras matemticas, en el clculo combinatorio de las
* Vid. sobre las tradiciones existentes en la lgica filosfica la versin inglesa de F. UE BE R-
WEG (1868), System of logic and history of hgical doctrines, L ondon: L ongmans, Green & C e ,
1871, reimp. en Bristol: Thoemmes, 1993; al panorama germano original, el traductor, T. M.
LiNDSAY, aade un apndice sobre las tradiciones britnicas, pgs. 557-578. Por lo que concier-
ne a las matemticas, una buena fuente historiogrfica es Ph. E . B. JoURDAlN (1906-1918),
Selected essays on the history ofset theory and lo^c, edic. de I. Grattan-Guinness, Bologna: CL UE B,
1991; el propio GRATTAN-GUINNE SS (1988) ofrece un sucinto informe panormico. E n A.
CoFFA (1991) y J. HiNTiKKA, ed. (1995), se tratan algunos otros aspectos complementarios de
la interaccin entre lgicas, matemticas y filosofa.
500 Luis VEGA REN
operaciones correspondientes; (B) otra que se mueve hacia una creciente
rigorizacin de los conceptos, de las pruebas y de las teoras deductivas. Si un
mbito caracterstico pero no exclusivo de (A) es el lgebra, dos mbitos
caractersticos pero no exclusivos de (B) son el anlisis y la geometra.
Tambin pueden entreverse lugares de confluencia, como las nociones inicia-
les de estructura abstracta y de sistema terico: la primera podra considerarse
resultado de la progresiva toma de conciencia de fenmenos de isomorfismo
entre reas y aplicaciones tericas diversas; la segunda podra considerarse
resultado de la creciente familiarizacin con el anlisis conceptual, con las
variaciones de postulados que dan lugar a variantes axiomticas alternativas
p.ej. geometras no euclidianas, con las relaciones entre teoras p.ej. la
representabilidad de una teora en los trminos de otra. Por lo dems, las dos
tendencias sealadas no slo sirven de cauce para diversas lneas y programas
en consonancia con los intereses [2] y [3], antes mencionados, y en la direc-
cin de lo que ser en nuestro siglo la lgica matemtica. Sern, en fin, ten-
dencias de larga duracin. As, si el concepto cabal de estructura algebraica y su
conversin en un foco de la investigacin matemtica moderna no cristalizan
hasta los 30 p.ej. en van der Waerden (1930), Moderne Algebra, el anli-
sis de las relaciones bsicas de deducibidad y de consecuencia en una teora
no madura hasta la metodologa de las ciencias deductivas que Tarski desarro-
lla en esa misma dcada, a pesar de algunos pasos dados con anterioridad en
uno y otro sentido: p.ej. a travs del estudio de invariantes algebraicas y de
conceptos abstractos de grupo, cuerpo, etc., en el primer caso; o a travs de las
tradiciones hipottico-deductivas de la escuela de Peano y de los American
postlate theorists, en el segundo.
Dentro de este marco, es natural encontrarse a principios del s. XX con
varias tradiciones y orientaciones lgico-matemticas y, por ende, asistir a una
especie de parto mltiple de la lgica moderna. De hecho, hacia 1900, pode-
mos detectar la presencia de diversas lneas de gnesis y desarrollo de la que
ser la lgica del s. XX. En particular:
[a] La tradicin booleana del lgebra de la lgica, alimentada por diver-
sas fuentes como las contribuciones de Schrder o de Peirce y su crculo. Es la
primera en presentar una conformacin definida del anlisis de proposiciones,
clases y relaciones, en trminos de identidades (ecuaciones) y ulteriormente de
inclusiones. Una muestra parcial, elemental, de su grado de normalizacin es
el manual de Couturat (1905), El lgebra de la lgica.
DEL CRISTAL DE LA LGICA AL DISCURSO SIN ESPEJO 501
[b] El anlisis lgico objeto-grfico y concepto-grfico de Begriffischrifi y
los programas logicistas de Frege y de Russell. El logicismo es, en sustancia, un
programa de reduccin de la matemtica clsica al combinado: teora de con-
juntos-lgica, entendida sta ltima como la articulacin de una teora de la
deduccin (en el mbito de la lgica de enunciados) y de una teora de la
cuantificacin (sobre finciones preposicionales n-dicas) dentro de la estrate-
gia general de la teora de los tipos lgicos, adoptada para prevenir las anoma-
las surgidas de la liaison entre la lgica y la teora de conjuntos. El edificio eri-
gido por Russell y Whitehead (1910-1913, Principia Mathematicd) con mate-
riales tomados no slo de Frege sino de otras ftientes lgico-matemticas, en
particular Peano, fiae la cristalizacin de la nueva lgica ms influyente duran-
te el primer tercio del siglo; dio solidez y alas a la idea de que la lgica poda
alcanzar la forma cabal de una disciplina cientfica.
[c] La orientacin de Peano despus de algunos ensayos iniciales en la
lnea lgico-algebraica y de su escuela (Pieri, Padoa) hacia la sistematizacin
y la metodologa deductiva de teoras matemticas clsicas (aritmtica, geo-
metra). Tambin cuenta con un temprano manual elemental como el de
Burali-Forti (1894), Lgica matemtica. Producto derivado de su estudio de las
condiciones de interpretacin de las expresiones primitivas de una teora axio-
mtica formalmente considerada ser una nocin de deducibilidad aproxima-
da al concepto cannico moderno desde Tarski 1936 de consecuencia
lgica.
[d] El inters de Hilbert por una nueva va de axiomatizacin, relativa-
mente abstracta, y por las propiedades de los sistemas axiomticos mismos
(p.ej. consistencia, suficiencia en el sentido de que los axiomas determinantes
de un sistema terico basten para derivar todos los teoremas conocidos en la
teora). Luego, su creciente preocupacin por los problemas de ftindamenta-
cin de las matemticas y sus expectativas de un control efectivo de las teoras
y las pruebas matemticas, le llevaran a emprender ^junto con sus colabora-
dores de Gttingen (Bernays, Ackermann) una parcelacin y reconstruccin
formal y sistemtica de la lgica subyacente en la matemtica clsica. Entre los
aos 1917-1928, Gttingen se convierte en el centro de la transicin hacia lo
que hoy entendemos por lgica estndar sin olvidar por ello la existencia
de otras contribuciones en esta direccin ms bien perifricas (p.ej.
Lwenheim 1915; Skolem, 1920 ss.; Post 1921). De 1928, precisamente, data
su presentacin oficial en los Grundzge der theoretischen Logik de Hilbert y
Ackermann.
502 LUIS VEGA REN
Por otro lado, la distincin entre estas orientaciones no excluye la existen-
cia de algunas connivencias y complicidades entre ellas. Si, p.ej., la Lgica
matemtica de Burali-Forti (1894) ya recoga algunos resultados de la influ-
yente lgebra de la lgica de Schrder, los Grundzge de Hilbert y Ackermann
(1928) no dejarn de hacerse eco de la teora de los tipos lgicos de Principia
Mathemaca. Los Principia mismos pasaran durante algn tiempo por ser una
especie de confluencia natural de las aportaciones de Boole, Frege y Peano.
Para completar el cuadro de la situacin matriz de la lgica del s. XX,
habra que incluir las variantes filosficas de la lgica tradicional, tradicin que
hacia 1900 tambin estaba lejos de presentar un cuerpo nico u homogneo
de doctrina ^. La alusin a la lgica tradicional no es superflua en la perspecti-
va de los problemas de identificacin de la nueva rea de las lgicas matem-
ticas. La lgica simblica de corte booleano, la ms difiindida a principios de
siglo, era recibida en los medios lgico-filosficos tradicionales, por regla gene-
ral, bien como una excrecencia extensionalista o calculstica de escaso inters,
bien como una amenaza de invasin desde el exterior, desde las matemticas,
tan perniciosa para la naturaleza genuina de la lgica como pudiera serlo la
intromisin psicologista, la invasin desde la psicologa cientfica. De este
modo, a los problemas internos de identificacin y delimitacin recordemos
que, por ejemplo, ni el logicismo de Frege ni el de Russell llegaron a acotar con
precisin los campos de las proposiciones matemticas y de las proposiciones
lgicas, pese a su programa de ftmdamentacin de aqullas en stas, se
sumaban los problemas externos de jurisdiccin y de emplazamiento en la
repblica de las disciplinas filosficas, metodolgicas y cientficas.
De todo lo anterior se pueden extraer tres conclusiones: 1/ A principios del s.
XX hay varias tradiciones y programas que comportan otras tantas maneras ms
o menos distintas de entender y de emplear la lgica. Algunas de estas variantes
5 La cuestin de la ndole misma de la lgica es una ciencia natural, o es el canon de
la razn, o es la tcnica del pensamiento correcto? vena siendo un debate abierto desde su
planteamiento expreso en 1842 como die logische Frage. Adems, aun suponiendo que se tra-
tara de una disciplina filosfica, caban orientaciones doctrinales diversas: la formal-trascenden-
tal y la epistemolgica, en la onda de Kant; la metafsica, en la onda de Hegel; la metodolgi-
ca, en la onda de Stuart Mili; sin contar las variaciones en torno al debate antipsicologismo ver-
sus psicologismo o los tanteos y las discusiones en torno a la idea de inferencia. El colmo de la
indiscriminacin sera reducir esta variedad de lgicas filosficas al tpico de la identificacin:
lgica tradicional = lgica aristotlica.
D E L CRISTAL D E LA LGICA AL DISCURSO SIN ESPEJO 503
tienen que ver con el nuevo mbito de la lgica simblica o matemtica o
exacta o logstica nombres para un lugar todava incierto en los mapas aca-
dmicos de la poca ^. II Segn todos los visos, ninguna de esas variantes de
modernizacin de la lgica puede arrogarse en exclusiva la fundacin de nuestra
lgica moderna: no ha sido hija de una sola madre. 3/ El largo y accidentado pro-
ceso de generacin y constitucin de esta lgica como nueva disciplina cientfica
no es una revolucin gestltica o kuhniana; en particular, no reviste la forma
de un movimiento compacto y lineal de sustitucin del antiguo rgimen de
lgica tradicional por el nuevo rgimen de la lgica matemtica''.
El desplazamiento de la(s) lgica(s) tradicional(es) se ir produciendo en
un largo proceso con varias fases y vicisitudes, por ejemplo: la incursin de la
lgica algebraica en el campo de la lgica y la semitica tradicionales; la pro-
mocin del nuevo campo de las lgicas matemticas en el que concurren pro-
gramas logicistas, nociones conjuntistas, cuestiones de mtodo y de estructura
deductiva; la ascensin de la lgica de Principia y de la teora russelliana de los
tipos como sistematizacin del nuevo campo lgico-matemtico y primera for-
macin definida de la lgica moderna; en fin, la instauracin de la lgica de
primer orden, una variante restringida dentro de ese contexto, cuya circuns-
cripcin habra sido imperceptible y cuya fortuna habra parecido adems
harto improbable a la luz de la situacin reinante a principios de siglo. Esta
lgica clsica de primer orden que es la que hoy se ensea en primero de
Filosofa no llegar a tener plena conciencia de s misma, para luego pasar a
hacerse duea del terreno, hasta los aos 30-50.
^ D urante la ltima dcada del s. XIX y los primeros aos del XX, los enterados que oan
la expresin lgica simblica tendan a pensar en gente como BoOLE, PE IRCE O SCH ROD E R; los
que oan lgica matemtica, en PE ANO y su escuela; lgica exacta fie una denominacin
avanzada por Schroder y asumida por el crculo de Peirce, e.g. por C. L AD D -FRANK L IN, para
denotar las inflexiones y los desarrollos que el propio Peirce y Schroder venan introduciendo en
el programa inicialmente booleano; el trmino logstica se propuso en el Congreso
Internacional de Filosofa de 1904, a partir del clculo aritmtico. Pero todas estas expresiones no
dejaban de resultar un tanto equvocas. Por ejemplo, la expresin inglesa mathematical logic
haba sido introducida por A. de MORGAN en 1859 en el sentido genrico de una vaga asociacin
con el lgebra y, casi medio siglo ms tarde como Couturat haca notar esta misma deno-
minacin, lgica matemtica, poda significar tanto una lgica matematizada a la manera boo-
leana como una lgica de la matemtica en la lnea de Peano; logstica, en fin, adquiere un sen-
tido preciso en el contexto del mtodo logstico de A. CH URCH (1944), Introduction to
Mathematical Lo^c, Princeton: Princeton University Press, 1956 edic. rev., 07, pgs. 47-58.
^ Vid. L. VE GA RE N, Kuhn y las historias populares de la lgica, en C. SOLlS, comp.
Alta tensin, Barcelona: Paids, 1998; 363-381.
504 LUIS VEGA REN
3. Movimientos de sstole: hacia una lgica est ndar
La lgica clsica de primer orden ha venido a ser nuestra lgica estndar. El
calificativo de estndar responde justamente a su implantacin institucional:
desde mediados de siglo y por regla general, es la base primordial de aprendi-
zaje de quienes se inician en la lgica * y constituye un cuerpo de nociones,
mtodos y resultados que se dan por consabidos entre los profesionales de la
disciplina. Esta hegemona escolar no la ha convertido, por cierto, en la nica
lgica viable, la nica reconocible en principio o la nica practicada. Sin
embargo, todava sigue sirviendo de espejo o de referencia para la identifica-
cin habitual de otras variedades del anlisis lgico contemporneo, incluidas
algunas lgicas que se consideran no-clsicas o se erigen en alternativas o
rivales suyas.
Siendo esta lgica clsica de primer orden harto familiar, no ser preciso
apurar su caracterizacin interna. Bastar resumir algunos rasgos y supuestos
como los siguientes:
(i) Su conformacin lingstica descansa en una gramtica formal recur-
siva, que determina el conjunto numerable de las expresiones pertenecientes a
su lenguaje, y en la construccin en paralelo de una semntica extensional, que
determina las condiciones de interpretacin en una estructura conjuntista y de
asignacin de valores veritativos a las frmulas enunciativas. Ambas dimensio-
nes envuelven ciertos supuestos, p.ej. una demarcacin expresa entre los tr-
minos lgicos y no-lgicos; una especificacin de las finciones de interpreta-
cin y de designacin en un dominio o universo poblado por individuos; la
adopcin de un principio composicional y de un rgimen de evaluacin veri-
tativo-fiincional de las frmulas enunciativas. La construccin de una y otra
dimensin, siendo ambas independientes en principio, no deja de ser correla-
tiva de modo que parafraseando a Quine la lgica sube a la caza de la ver-
dad por las ramas de la gramtica. A los supuestos se aaden algunas otras res-
tricciones caractersticas, p.ej. el rgimen de evaluacin es bivalente; las expre-
siones del lenguaje son finitarias no hay cadenas de smbolos bien formadas
de longitud infinita; los cuantificadores slo ligan variables individuales
' Hay incluso una declaracin programtica a este respecto en las Guidelines for logic
and education elaboradas por el Committee on Logic and Education de la Asociacin de
lgica simblica, en The Bulletin of Simbolic Logic, 1/1 (1995): 4-7.
DEL CRISTAL DE LA LGICA AL DISCURSO SIN ESPeo 505
no predicativas, ni funcionales dentro del mbito circunscrito a los lengua-
jes de primer orden.
(t) Su conformacin sistemtica tambin discurre en las dos dimensiones
apuntadas, pero ahora una est dirigida a la determinacin formal y efectiva de
la idea de deducibilidad en el sistema y la otra a la determinacin de conceptos
semnticos como el de consecuencia lgica. El sistema es susceptible de presen-
taciones diversas (como un sistema de axiomas o de reglas o de secuentes o arbo-
riforme, etc.), pero todas ellas envuelven algunos supuestos tpicos. As, se supo-
ne que una frmula enunciativa a es deduciblee un conjunto cualquiera de fr-
mulas enunciativas T en un sistema S si hay una serie finita de pasos pautados
por las reglas de deduccin de S que parte de F y concluye en a. Cuando T es
el conjunto vaco de frmulas (premisas), se dice que a es una tesis de S. Como
las reglas de deduccin son contadas y finitarias y si S foera axiomtico, sus
axiomas o esquemas axiomticos podran numerarse, cabe comprobar si una
serie de frmulas es una deduccin en S. Por otro lado, siendo S un sistema
cerrado con respecto a la deducibilidad si a es deducible de S, a pertenece a
S, se pretende que esta relacin no sea trivial, es decir: que no toda frmula
enunciativa del lenguaje de S sea deducible como una tesis de S; pretensin que
se encargar de probar una demostracin de que el sistema es consistente. El con-
cepto de consecuencia lgica acusa, por su parte, la marca de un tratamiento
semntico conjuntista: se supone que una frmula a se sigue lgicamente de un
conjunto posiblemente infinito de frmulas F si y slo si no hay estructu-
ra en la que todas y cada una de las frmulas de F sean verdaderas y OC resulte
falsa o, dicho en otras palabras, si y slo si todo modelo de F es un modelo de
OC. Tambin se asumen los rasgos clsicos de esta relacin, en particular los de ser
una relacin reflexiva, transitiva y estable o montona. La lgica de primer orden
tiene la virtud aadida de ser completa, en el sentido de que toda consecuencia
lgica formulable en sus trminos es deducible en el sistema.
(m) La disposicin caracterstica del entramado estndar distingue dos
niveles o estratos sistemticos: el bsico y autnomo de la lgica primaria (o de
proposiciones), donde obran como trminos lgicos los conectores veritativo-
fincionales; el de la lgica general (o teora de la cuantificacin), articulado
sobre el anterior, donde los operadores lgicos son los cuantificadores univer-
sal y existencial con el suplemento habitual de la identidad.
La lgica estndar ha sido un producto histrico complejo y delicado
aunque nadie lo dira a juzgar por la naturalidad con que suele presentarse en
506 Luis VEGA REN
los libros de texto. Cabe recordar, sin ir ms lejos, cmo se han formado los dos
estratos o niveles constituyentes recin mencionados. Veamos, por ejemplo, el
caso de la lgica primaria. Segn el clebre estudio histrico de Lukasiewicz
(1934, 1935), la moderna lgica proposicional aparece de forma sbita y casi
perfecta en Frege 1879, Begrffischrfi^. Convengamos en que as es por lo que
se refiere a su planteamiento veritativo-fincional y a su sistematizacin axio-
mtica inicial aunque no represente una lgica o un mbito sistemtico
singularmente distinguido dentro del programa fregeano de rigorizacin de la
deduccin. Ahora bien, en 1879 ya existan otras dos versiones del anlisis lgi-
co en este campo de las proposiciones, la propuesta como una interpretacin
subsidiaria del lgebra simblica de Boole (1847, 1854) y la avanzada por H.
MacCoU entre 1877 y 1878; al ao siguiente, 1880, Peirce an aada otra ms
por su cuenta. Y estas variantes no sern las nicas si se tienen en cuenta, por
ejemplo, la contribucin posterior de Peano o la mediacin de la teora de la
implicacin de Bertrand Russell (1906), de la que aparecen largos pasajes
transcritos en la teora de la deduccin de Principia (I, 1910). Es precisamente
a la luz y a la sombra de Principia, gracias al xito de la teora de la deduccin
de Russell, como Begriffischrift se torna en el hito decisivo de la historia de la
lgica de proposiciones que ha credo ver Lukasiewicz. Pero esto no es todo: la
opcin triunfadora acaba imponindose a travs de los refinamientos tcnicos y
la investigacin metaterica que luego tuvieron lugar en el curso de la segunda
dcada del s. XX. En ellos desempearon su papel tanto la perspectiva veritati-
vo-ftmcional de la tradicin Frege-Russell, como los intereses operacionales y
combinatorios de la tradicin algebraica, amn de otros motivos emergentes
que supondrn la fragmentacin de las Grandes lgicas (de Frege, de
Schrder, del propio Russell) en parcelas sistemticas p.ej. la investigacin de
la consistencia, complecin e independencia de un sistema de la lgica de pro-
posiciones, emprendida por Hilbert en un curso impartido en 1917-18 sobre
los Principios de la matemtica y la lgica. En fin, creo que es por los aos
1918-1920 cuando podemos reconocer sin reservas las seas de identidad de la
lgica proposicional estndar, p.ej. en \A Habilitationsschrift e Bernays (1918)
en Gttingen y en la tesis doctoral de Post (1920) en Columbia, ambas inde-
pendientes entre s. Estas seas incluyen tanto la distincin expresa entre resul-
tados tericos dentro del sistema y metatricos acerca del sistema,
' Hay varias traducciones espaolas, vid. e.g. Contribucin a la historia de la lgica de
proposiciones, en L. VEGA, ed. Lecturas de Lgica, Madrid: UNED, 1986, pg. 123.
DEL CRISTAL DE LA LGICA AL DISCURSO SIN ESPEIO 507
como la prueba de ciertas propiedades metalgicas bsicas del sistema proposi-
cional estudiado: la adecuacin funcional [Post], la consistencia en virtud de
una condicin hereditaria [Hilbert, Bernays, Post], la suficiencia y la comple-
cin sintctica [Hilbert, Post], la complecin semntica [Bernays], la decidibi-
lidad [Bernays] o efectividad [Post], la independencia [Bernays] "*. En el curso
de los aos 20 y 30, los trabajos de la escuela de Lvov-Varsovia sobre la teo-
ra de la deduccin de Principia, as como su consideracin de variantes siste-
mticas ms o menos afines, fijarn el perfil hoy familiar de la lgica proposi-
cional de los manuales. En 1935 Tarski establece que cualquier sistema propo-
sicional que cumpla ciertas condiciones generales, slo admitir una extensin
consistente y completa, a saber: el sistema bivalente de la lgica clsica. Por lo
dems, la misma dcada asiste al giro desde los sistemas axiomticos hacia los
sistemas de reglas de deduccin natural y de secuentes (Jaskowski 1934;
Gentzen 1934). Este cambio de rumbo no es filosficamente irrelevante. Se
abre, por ejemplo, a una perspectiva congruente con el papel que toca asumir a
la lgica a medida que avanza el siglo: el de oficiar no ya como la Teora el
cuerpo de verdades o de leyes fiandamental o ms general, sino ms bien
como una lgica subyacente en las demostraciones y teoras matemticas
como un sistema de condiciones y de reglas estructurales de las relaciones de
deducibilidad y teorematicidad en tales contextos.
El segundo componente antes mencionado, nuestra teora de la cuantifica-
cin de primer orden, muestra una evolucin anloga, aunque su desarrollo
haya sido algo ms lento y mucho ms complicado. Como la historia de la teo-
ra de la cuantificacin a diferencia de la historia de nuestra lgica prima-
ria viene siendo objeto de atencin desde los aos 70, me remito a la abun-
dante literatura sobre sus diversos aspectos y vicisitudes ". Me limitar a recor-
'" Vid. P. BERNAYS, Axiomatische Untersuchung des Aussagen-Kalkls der Principia
Mathematica, Mathematische Zeitschrift, 25 (1926): 305-320; en esta publicacin muy poste-
rior, Bernays silencia la conexin de su Habilitationsschrift con el curso de Hilbert 1917-18 y
omite su estudio inicial de otros sistemas que descansan en reglas de deduccin antes que en
axiomas. E. L. PoST, Introduction to a general theory of elementary propositions, Amer. ]. of
Mathematics, 43 (1921): 163-185 [trad. y notas en L. Vega (ed.), Lecturas..., 1986, pp. 317-
378]; Post revela sus fuentes de inspiracin: la tradicin algebraica de Schroder, la veritativo-
funcionai de PM y la sintctico-calculista de C.I. Lewis.
" Cf., por ejemplo, los trabajos de J. van HEIJENOORT (1976), W. D. GoLDFARB (1979),
I. GRATTAN-GUINNESS (1981) y (1997), G. H. MOORE (1988) y (1997), I. H. ANELLIS (1991),
J. W. DAWSON (1993). Para ms detalles y referencias, vid. L. VEGA RE N (1996), pgs. 211 ss.
508 Luis VEGA REN
dar que, en la dcada de 1880, la ligadura de variables de argumentos (objetos
de funciones o funciones de funciones) propuesta por la Conceptografia de
Frege tampoco es la nica opcin disponible para tratar con la cuantificacin
lgico-matemtica. Ms an, en el contexto de las Grandes lgicas, sistemas
omnicomprensivos sobre el Universo, la demarcacin a la que hoy nos atene-
mos entre la lgica de primer orden y la lgica de orden superior habra resul-
tado gratuita, de haber sido siquiera viable; habra supuesto, cuando menos, el
divorcio entre la cuantificacin lgica y la teora de conjuntos. Pero justamen-
te para soslayar las anomalas de su liaison se haban erigido sistemas como la
teora de los tipos, una construccin no slo ardua sino inevitable a los ojos de
la mayora de los lgicos-matemticos de los aos 20 y principios de los 30.
Con todo, durante el reinado de Principia Mathematica, ya empezaban a
manifestarse en Gttingen unas seas inequvocas de lo que hoy entendemos
por un lenguaje de primer orden. Aunque sus primicias quizs no puedan
remontarse ms atrs del ya citado curso impartido por Hilbert (1917-18), el
caso es que una lgica restringida, de primer orden, hace su aparicin pbli-
ca impresa en los Grundzge der theoretischen Logik de Hilbert y Ackermann
(1928), un texto abierto a la lgica general de orden superior ^. Explosiona a
partir de entonces su madurez metalgica, p.ej. con las tesis doctorales de
Herbrand (1929), en la lnea de un control finitista de las frmulas lgicas, y
Gdel (1929), sobre la complecin del clculo funcional restringido, hasta
desembocar, digamos, en la tesis de Henkin (1947). Son los celebrados resul-
tados de este periodo los metateoremas de la dcada de los 30 en torno a sus
posibilidades (complecin, compacidad) y limitaciones (indecidibilidad); la
reelaboracin de la tradicin metalgica de Lwenheim-Skolem a Gdel por
parte de Henkin, los que deparan a la lgica de primer orden una identidad
precisa como teora del anlisis lgico. Varios aos ms tarde, los resultados de
Lindstrm (1969) completan esas seas de identidad con la adscripcin de un
domicilio, un territorio propio dentro de la vasta heredad secular de las teor-
as lgico-matemticas: ste ser el acotado como la clase de equivalencia de
todas las teoras de primer orden que cumplan determinadas condiciones
'^ Como ya he sugerido anteriormente a propsito de la lgica de proposiciones, esta
estrategia de fragmentacin y estratificacin del mbito de la lgica en clculos sistemticos
proposicional y de clases, cuantificacin restringida, cuantificacin generalizada no ser
inocua para las pretensiones unitarias y universales de una Gran lgica, mxime cuando sus
secuelas disolventes se acenten al confluir con algunos factores deletreos, como las variaciones
de dominios de interpretacin alentadas por la tradicin algebraica.
DEL CRISTAL DE LA LGICA AL DISCURSO SIN ESPEJO 509
metatoricas, as que los sistemas formalizados que se atengan a ellas no admi-
tirn una extensin mayor que la cubierta por la cuantificacin clsica. 7\hora
bien, para entonces la lgica clsica de primer orden ya haba adquirido una
relativa hegemona institucional y, de hecho, constitua la base elemental del
cultivo de la disciplina en cualquier currculo decente de filosofa.
A qu haba obedecido este cambio de rgimen o, si se quiere, la transi-
cin desde el dominio anterior de la Gran lgica cristalizada en Principia
Mathematica hasta la nueva hegemona de la lgica de primer orden? Cabe
pensar en varios y diversos motivos. Desde un punto de vista lgico, una razn
de peso es la complecin de la lgica de primer orden: si S es un sistema com-
pleto y (se sigue lgicamente de S, (es deducible de S; por ende, podramos
saber que se sigue virtud descartada en el caso de la lgica de Principia por
el famoso teorema de limitacin de Gdel (1931). Otras razones tienen que
ver con el desarrollo de la axiomatizacin en teora de conjuntos y con las faci-
lidades relativas para el control de las pruebas en este contexto que ofrece su
formalizacin en trminos de primer orden. Pero tampoco faltaran motivos de
otro gnero como, por ejemplo, la complicidad de la filosofa analtica y la
orientacin nominalista de algunos filsofos reacios a asumir compromisos
ontolgicos ms fuertes que el ineludible con un universo de individuos; o
incluso, por ejemplo, el sensible influjo de los manuales elementales de los
aos 50 y 60 que imponen la presentacin de la lgica en trminos de siste-
mas de reglas de deduccin natural de primer orden. Si las razones primeras
parecen conducir a la adopcin de esta lgica como un convenio sensato, estos
otros motivos aadidos llevarn de hecho a su implantacin hasta el punto de
convertirse en la lgica formal de referencia para diversos medios relacionados
con la filosofa de la ciencia o con la filosofa del lenguaje.
Llegados a este punto, convendra resumir los movimientos de sstole en
algunas conclusiones. Valgan las tres siguientes: 1/ La constitucin de nuestra
lgica estndar al mediar el siglo, a travs del desarrollo de la lgica clsica de
primer orden, no ha sido el cumplimiento de un destino anunciado o previsi-
ble desde un principio. 2/ En el curso de este proceso de constitucin se fue-
ron produciendo desplazamientos sucesivos mientras quedaban al margen
otras opciones posibles ^. 3/ Nuestra lgica estndar adquiri su privilegiado
'^ Recordemos, una vez ms, que a la popularidad inicial de las tradiciones lgico-alge-
braicas sucedi la influencia de Principia, a partir de la segunda dcada, y a sta sucedi a su vez
510 LUIS VEGA REN
estatuto no slo en razn de sus virtudes internas, lgicas y metalgicas, ni
slo en funcin del consenso creado en torno a su simplicidad y su rendi-
miento metdicos, sino tambin a impulsos de otros motivos externos, de
carcter institucional e interdisciplinario.
Cmo se refleja la lgica del siglo XX en el espejo de la lgica estndar?
Creo que ha adquirido sesgos y tonalidades que la distinguen de tradiciones
anteriores. Un sesgo caracterstico es, por ejemplo, el inducido por el protago-
nismo de un concepto formal y efectivo de deducibilidad que (i) se centra en
la consideracin de teoras formalizadas, {2} se rige por reglas estructurales en
ese contexto y (3) es un procedimiento finito de acceso a, y control de, con-
juntos posiblemente infinitos de consecuencias. Con (/), sin ir ms lejos, no
slo se reduce sustancialmente el campo del anlisis tradicional de la inferencia,
sino que objetivos tradicionalmente prioritarios, como la convalidacin o la
invalidacin de la argumentacin en general, vienen a ser ms bien productos
derivados. Pasando de los sesgos a las tonalidades adquiridas, baste mencionar:
(a) Su papel como lgica subyacente en ciertas teoras matemticas presunta-
mente bsicas (aritmtica, teora de conjuntos, lgebras), de la que se esperan
diversos servicios: no slo formales y reductivos, en la lnea de las teoras de la
demostracin ms o menos asociadas al programa de Hilbert, o metatericos,
en el sentido convencional de determinar la capacidad relativa de diversas teo-
ras o mtodos deductivos, sino heursticos, en orden a la investigacin de
estructuras matemticas. () Una conciencia de su constitucin no slo siste-
mtica, sino terica en el sentido de envolver, cuando menos, una concepcin
particular de la relacin de deducibilidad y, en general, del anlisis lgico en
palabras de Church (1944, 1956), 1, la adopcin de un lenguaje formaliza-
do envuelve la adopcin de una teora del anlisis lgico, (c) Su propia colo-
cacin en un plano metaterico en general, metalgico en particular, de traba-
jo e investigacin. Todas estas inflexiones comportan una significativa carga
filosfica. En razn de ia)-(h), nuestra lgica moderna se ha distanciado tanto
de las concepciones que hacan de la lgica una doctrina o una ciencia filosfi-
la ascensin y la hegemona de la lgica de primer orden en el curso del segundo tercio del siglo.
Por otro lado, al margen de este cauce central de desarrollo se fueron quedando opciones infi-
nitarlas o de orden superior, sistematizaciones distintas como la propuesta por LESNIEWSKI
entre 1927 y 1931, teoras de la demostracin rivales como la intuicionista . Y, en fin,
tampoco faltaron las alternativas que perdieron su mordiente original para verse asimiladas
como extensiones o como complementos perifricos.
DEL CRISTAL DE LA LGICA AL DISCURSO SIN ESPEJO 511
ca un cuerpo de verdades sobre el mundo, el lenguaje o el conocimiento,
como de las tradiciones ms o menos comprometidas con alguna suerte de his-
toria natural del Entendimiento o de destino trascendental de la Razn. A la luz
de (<), en vez de suponer con arreglo a un tpico tradicional que la lgica es
doblemente racional pues, por un lado, procede conforme a los dictados de
la razn y, por otro lado, puede reflexionar sobre las condiciones y operaciones
de la razn misma, se supone que la lgica consiste no slo en anlisis meta-
lingsticos de textos o argumentos deductivos, sino adems y sobre todo en
anlisis metatericos de las condiciones, posibilidades y limitaciones de (clases
de) teoras deductivas, incluidas desde luego las teoras lgicas mismas.
4 . Movimientos de distole: las lgicas ms aU o al margen del espejo
En la conformacin de la lgica moderna tambin han desempeado su
papel otras lgicas ms o menos diferentes de la lgica clsica de primer orden.
Cierto es que algunas de ellas han venido a discurrir a travs de este espejo, como
rplicas o como extensiones de la lgica estndar pueden verse muestras al res-
pecto en la llamada tradicin sintctica de la lgica modal, desde Lewis 1918
hasta von Wright 1951. Pero algunas otras han ido ms all o se han abierto otros
caminos sera el caso de las tradiciones algebraica y modelista, por seguir
con el ejemplo de las lgicas modales. Hay adems sistemas divergentes desde un
principio baste recordar el programa intuicionista y hoy no faltan, en fin,
ensayos de lgicas y anlisis lgicos dispuestos a investigar como la aventurera
Alicia lo que hay al otro lado del espejo de la lgica estndar: el muestrario,
desde las lgicas no monotnicas hasta algunas variantes dentro de la informe
teora de la argumentacin, es amplio y variopinto.
La historia de la gnesis y desarrollo de las lgicas no estndar en general
an est por escribir. Disponemos de apuntes ms o menos esquemticos sobre
variaciones en algunos campos de trabajo p.ej. lgicas modales, lgicas mul-
tivalentes, lgicas intuicionistas; contamos con informes y boletines biblio-
grficos que siguen el curso de la investigacin en ciertas reas p.ej. en lgi-
ca de la demostrabilidad, en lgicas difusas o borrosas ^\ Se han escrito, en
'"^ Sobre los esquemas usuales en la historia de la modernas lgicas modales y multi(poli)va-
lentes, vid. V EGA R N (1996), pp. 24 7-251; el Historical Appendix de M. J. BEESON,
512 Luis VEGA REN
suma, memorias y biografas, pero no una historia. Y no ser fcil escribirla,
tanto por falta de la caracterizacin adecuada y comprensiva que nos sirva de
gua ^\ como por inexistencia de un cauce central de evolucin o de procesos
convergentes de desarrollo como los que hoy podemos reconstruir retrospecti-
vamente a propsito de la lgica estndar. De hecho, en la gestacin de algu-
nas de esas lgicas durante la primera mitad del siglo han influido factores tan
heterogneos como los siguientes: [a] nociones dispares contenidas en solucin
en las discusiones de finales del s. XIX y principios del s. XX, p.ej. en torno a
las ideas de implicacin y de inferencia; [b] tradiciones diversas, p.ej. la que
vindica una lgica intensional frente a la lgica extensional del lgebra de cla-
ses y de las funciones veritativas; [c] programas alternativos de findamentacin
y anlisis de las matemticas. Una consecuencia de esta complicada situacin
es la dificultad de sealar con precisin el lugar y la fecha de nacimiento de la
idea misma de otra lgica o de las lgicas. Hay, creo, dos puntos crticos a
este respecto: (/) la percepcin de las variantes lgicas alternativas entre s, o a
una lgica de referencia, como un buen motivo para poner en cuestin la exis-
tencia de una lgica universal y uniforme de una suerte de destino de los
humanos en lo formal, segn deca Alfredo Deao; () el reconocimiento
de una lgica como una teora particular y viable del anlisis lgico. Con
arreglo a (/), las alternativas lgicas no se dejan reducir a meras aproximacio-
nes a, o desviaciones de, la naturaleza genuina de la Razn o del Discurso. Con
arreglo a (), las alternativas lgicas tampoco son simples variaciones en torno
a la idea abstracta o al datum de lo lgico; ms bien, parecen poner en cuestin
Foundations of constructive mathematics, Bcrlin/Heidelberg/New York: Springer, 1985, pgs. 417-
43 8, es un lcido bosquejo histrico de la lgica intuicionista; un reciente informe sobre la lgica de
la demostrabilidad se encuentra en el Afterword de J. E BuRGESS y G. BOOLOS, Logic, logic, and
logic (R. JEFFREY, ed.), Cambridge (MA): Harvard University Press, 1998, pgs. 415-424; el desa-
rrollo de las lgicas difusas puede seguirse puntualmente desde mediados de los 80 al hilo de inven-
tarios bibliogrficos como los que van apareciendo peridicamente en la revista Fuzy Sets and
Systems, 18 (1986), 3 0-3 3 (1989), etc.
'5 En esto no hemos progresado mucho desde los 70. Por ejemplo, el que espere grandes
cosas de la nueva edicin y ampliacin del popular Deviant logic de S. HAACK (1974) en su
reciente Deviant iogic. fizzy logic: beyond the formalism, Chicago/London: The University of
Chicago Press, 1996, se ver decepcionado. Por lo dems, persiste la aficin naturalista a la con-
feccin de mapas y catlogos sin mayores incursiones reflexivas o explicativas; an as, no deja
de ser instructivo comparar el mapa de N. RESCHER (1968), Desarrollos y orientaciones recien-
tes en lgica. Teorema, 2 (1971): 51-64, con el catlogo electrnico de R SuBER (1997:
www.earlham.edu/-peters/nonstbib.htm), para hacerse una idea de cunto han proliferado las
lgicas no estndar en los ltimos treinta aos.
D E L CRISTAL DE LA LGICA AL DISCURSO SIN ESPEJO 513
el supuesto de que haya algo como lo lgico en s y ello sea concebible o cap-
table con independencia de una lgica '^. A la luz de estos criterios, la idea cabal
de unas lgicas alternativas es una idea de la lgica moderna, una idea que
deviene explcita ya bien avanzado el primer tercio del siglo XX' ' ' .
Pero, dando un paso ms, me arriesgar a aventurar un esquema del desa-
rrollo de z lgicas que contempla tres fases principales: U n a ^ ^ O, entre fina-
les del s. XIX y principios del s. XX, cuando no parece discutirse la existencia
de una Lgica universal, aunque se reconozcan algunos nidos de anomalas y
diversas variantes programticas que tienden a interpretarse bien como varia-
ciones ms o menos acertadas en torno a los principios lgicos, bien como
expresiones ms o menos perspicuas y logradas de la Lgica; son tiempos de
inquietud antes que tiempos de mudanza. XJndifase 1, entre los aos 30 y 70,
en la que se desarrollan lgicas alternativas de diverso signo complementa-
rias, divergentes, rivales, por comparacin o por contraste con una lgica de
referencia al principio la lgica de PM, luego la lgica estndar. Una fase 2,
ms propia de los aos 80 y 90, en la que no slo aumenta la tendencia hacia
la diversificacin, sino que aparecen dos fenmenos notables ligados a investi-
gaciones al otro lado del espejo: (1) los mbitos de aplicacin empiezan a
decidir sobre la ndole de la lgica adecuada segn se desprende, por ejem-
plo, de la evolucin del tratamiento de la vaguedad en trminos de conjuntos
borrosos o del desarrollo de las lgicas no monotnicas en la investigacin de
"^ Esto no quiere decir, por ejemplo, que los griegos hubieron de esperar hasta los
Analticos de Aristteles para razonar lgicamente e inferir en consecuencia. Pero hace pensar
que las formas lgicas son imperceptibles o ilocalizables sin alguna suerte de recursos como
los habilitados por Aristteles y que, en general, el uso inteligente del discurso no envuelve la
epifana espontnea o el reconocimiento inmediato de lo (formalmente) lgico.
' ' ' Por ejemplo, LEWIS (1932) Alternative systems of iogic [trad. en L. Vega, ed. 1986,
Lecturas de Lgica, o. c, pp. 247-271] considera la posibilidad de diversos sistemas lgicos de
relaciones de consecuencia irreducibles entre s, pero todos ellos parejamente coherentes y capa-
ces de justificarse en sus propios trminos. Quizs puedan apreciarse en algn otro o en el
propio Lewis (1912-1918) unos escarceos previos. Por lo dems, ni que decir tiene que es
muy anterior la idea de unas variaciones histricas o de unas variantes filosficas en lgica. As,
desde mediados del s. XIX se habla de la lgica india o de la hegeliana y, luego, se hablar
incluso de una lgica de los sentimientos, por contraste con el corpus lgico tradicional; pero
esto poco tiene que ver con nuestra idea moderna de las teoras lgicas alternativas y, de hecho,
se compadece con la firme conviccin en la existencia de una nica Lgica (cf. p. ej. J. de CAS-
TRO, Evolucin y concepto de la lgica. Boletn de la Institucin Libre de Enseanza, 27/516,
517 (1903): 86-96, 114-123, o A. GM E Z IZ QUIE RD O, Nuevas direcciones de la lgica, M adrid:
Victoriano Surez, 1907).
514 Luis VEGA REN
procesos inferenciales; (2) la promocin de nuevas ciencias en la periferia
de la lgica o en encrucijadas fronterizas con otras disciplinas '*. A la luz de
estos desarrollos, las tonalidades de nuestra lgica moderna, antes apuntadas
en el 3 como secuelas de la cristalizacin de la lgica estndar, adquieren una
coloracin tornasolada. Por ejemplo (), la condicin terica del anlisis lgi-
co, se acenta al hilo de la diversificacin de teoras lgicas, hasta el punto de
que no es infrecuente que las presentaciones de lgicas no-estndar empiecen
justamente plantendose la cuestin: Qu es una lgica>, mientras que {dj,
el papel de lgica subyacente en las teoras y en las demostraciones matemti-
cas, pierde parte del protagonismo que tena en el segundo tercio del siglo en
favor de una composicin ms coral del anlisis lgico: clara seal es la cre-
ciente multiplicacin de investigaciones bajo la rbrica: aplicaciones de ins-
trumentos lgicos al anlisis del discurso. Podemos interpretar estos fenme-
nos como sntomas de un sndrome diastlico de ruptura y dispersin de los
espejos de la lgica. Pero otro fenmeno no menos relevante es la aparicin y
progresin, en el curso de las tres ltimas dcadas, de unos anlisis del discur-
so argumentativo sin el espejo de una lgica. Veamos alguna muestra en uno
y otro sentido.
4.1 El caso de la diversificacin y dispersin se puede ilustrar conside-
rando un asunto tan capital como la determinacin de la relacin de conse-
cuencia lgica. He aqu, en principio, un tema distintivo de la lgica, siquiera
sea porque una de sus tareas primordiales no dir la nica ni, en todo
momento, la principal ha consistido en la convalidacin e invalidacin de
argumentos. Reduciendo los argumentos deductivos en general al socorrido
esquema: <r, luego a>, donde a representa la conclusin y F un conjunto de
premisas, decimos que F, luego a es un argumento vlido slo si a se sigue
de F; de modo que toda deduccin convalidable descansa en alguna relacin
de consecuencia. Pues bien, qu se entiende por una relacin del tenor de a
se sigue de F?. Ms precisamente: qu se entiende por a se sigue lgicamente
de F? Cmo o por qu tal relacin es justamente una relacin de conse-
cuencia lgica stas son preguntas no slo familiares en historia de la lgica
sino casi obligadas en filosofa de la lgica. Hoy, adems, las versiones del
'* P.ej. a tenor del manifiesto de J. van B ENT HEM, Logic, language & information: the
making of a new science?, Journal of Logic, Language and Information, 6/1 (1997): 1-3, la inter-
faz multidisciplinaria entre lgica, lenguaje, informacin, ciencias cognitivas y ciencias de la
computacin bien puede alumbrar una nueva ciencia de la informacin.
DEL CRISTAL DE LA LGICA AL DISCURSO SIN ESPEJO 515
seguirse de y el anlisis de relaciones de consecuencia han cobrado especial
relieve en el marco actual de la discusin en torno a los sistemas y las teoras
lgicas '^. Fue Tarski quien inici en el curso de los 30 el estudio de sus dimen-
siones sistemtico-deductiva, como operacin de consecuencia sobre con-
juntos de proposiciones, y lgico-semntica en trminos de modelos (tx es
consecuencia lgica de Fsi y slo si todo modelo de F toda interpretacin
que satisfaga o toda evaluacin que verifique el conjunto de premisas F es
modelo de a) . Actualmente su caracterizacin precisa se ha convertido ya en
un punto primordial de la definicin de (clases de) sistemas inferenciales y de
sistemas deductivos como lgicas, segn muestran los desarrollos de los aos
80 y 90 bien en una lnea estructural tarskiana, considerada clsica, o bien en
otras lneas de exploracin al otro lado de este espejo. Por ejemplo, dentro de
la concepcin clsica, uno de los rasgos estructurales de la relacin de conse-
cuencia es su monotona o estabilidad (si OL es consecuencia lgica de F, ser
consecuencia lgica as mismo del conjunto que resulte de aadir a F nuevas
proposiciones o premisas^ ; pero hoy buena parte, si no la mayora, de las lgi-
cas aplicadas al anlisis de la inferencia cognitiva prescinden justamente de esta
condicin, son lgicas no monotnicas. Y las variaciones sistemticas de este
gnero podran extenderse a casi cualquier rasgo o supuesto estructural clsico
de la relacin de consecuencia. La cuestin es qu significa entonces la deno-
minacin comn de lgicas o, dicho esto en otros trminos, qu tienen que ver
todas esas variantes con la relacin crucial de seguirse-lgicamente-de.
Pues bien, si abandonamos estas elaboraciones o reconstrucciones a su pro-
pia suerte y buscamos una respuesta franca y directa a la pregunta, qu enten-
demos por a se sigue lgicamente de F?, tampoco nos veremos libres de pro-
blemas. Una dificultad inicial, ya detectada en las primeras escaramuzas de los
aos 30 con las lgicas alternativas, es el conflicto entre nuestras intuiciones o
nociones pre-tericas al respecto. Hay nociones del seguirse-de que no enca-
" Cf., por ejemplo, el panorama sobre sistemas deductivos y clculos lgicos desplegado
en la entrada Formal languages and systems, firmada por H. HERR y P. SCHRODER-HEISTER,
de la Routledge Encyclopedia of Phihsophy (E. CRAIG, ed. principal), London/New York:
Routledge, 1998.
^^ Obra como un supuesto bsico en la metodologa oficial de la ciencia deductiva: signi-
fica, p. ej. , que si una proposicin es un teorema de una teora axiomtica TI , seguir siendo un
teorema de una axiomatizacin ms amplia T2 que incluya la teora inicial Ti . Tambin se ha
aducido la monotona como un rasgo distintivo de la deduccin firente a las teoras y las infe-
rencias inductivas.
516 LUIS VEGA REN
jan con algunas pautas acreditadas de inferencia. Por ejemplo, a veces se supo-
ne que una proposicin, P, se sigue lgicamente de alguna otra, a, si la asun-
cin de P se halla necesariamente sobreentendida en la asercin de tt; pero tal
suposicin no casa fcilmente con esta regla: de una proposicin contradicto-
ria se sigue lgicamente cualquier proposicin. Cabe reconocer que nuestras
intuiciones son precipitados culturales y responden a variaciones histricas de
los usos de la lgica y de las ideas sobre ella, as que nuestros problemas no dejan
de ser una larga herencia envenenada. El caso es que hoy nos movemos en una
banda de opciones desde una concepcin, digamos, minimalista de la relacin
de consecuencia lgica hasta una concepcin maximalista, entre las que median
diversas variantes. Segn la concepcin minimalista, a se sigue lgicamente de
r significa que el consecuente (o conclusin) a ser verdadero siempre que lo
sea el antecedente (o conjunto de premisas) T, de modo que la consecuencia
consiste en una relacin que preserva y transmite la verdad del antecedente al
consecuente esta nocin tiene un discurrir guadiana por la historia de la lgi-
ca desde Filn de Megara hasta nuestra lgica del s. XX^'. En cambio, segn la
concepcin maximalista, a se sigue lgicamente de F significa que, siendo a'
y r ' un consecuente y un antecedente cualesquiera de la misma forma lgica
que a y r respectivamente, si F' fiaera verdadero, entonces necesariamente a'
sera verdadero condicin contrafctica que descarta su cumplimiento vacuo,
de modo que resultaran improcedentes las reglas minimalistas del tenor de
una verdad necesaria se sigue de cualquier proposicin o de una contradic-
cin se sigue cualquier proposicin u otras por el estilo, a la vez que demanda
alguna suerte de conexin entre los trminos de la relacin de consecuencia;
ahora la consecuencia lgica rene, adems de la virtud mnima anterior de sal-
vaguarda de la verdad, las condiciones de ser una relacin formal y necesaria,
amn de envolver cierta pertinencia ilativa entre sus trminos. Esta caracteriza-
cin tambin aparece y reaparece en diversos momentos, desde que despunta en
la silogstica de Aristteles hasta nuestras lgicas de la pertinencia (relevance
logics). Entre ambas concepciones se mueven las variantes que, adems de la
condicin mnima de preservacin/transmisin de la verdad, reconocen el
carcter formal de la relacin (p.ej. conforme a la idea de deducibilidad de
^' Por ejemplo, RUSSELL y W H IT EH EAD declaran: La propiedad esencial que requerimos
de una implicacin es esta: lo implicado por una proposicin verdadera es verdadero (PM, I
[1910], parte I, sec. A. En la edic. Principia Mathematica to *56, Cambridge: Cambridge
University Press, 1962, pg. 94).
DEL CRISTAL DE LA LGICA AL DISCURSO SIN ESPEJO 517
Bolzano), o su carcter necesario (p.ej. la idea de implicacin analtica atri-
buida a Crisipo), o su carcter necesario y formal (p.ej. la idea de consequen-
tia de Buridan o la de implicacin estricta de C.I. Lewis). Por no hablar de
las subvariedades que pueden perfilar a su manera estas caractersticas, p.ej. con
arreglo a si el consecuente se halla contenido y cmo en el antecedente.
Otra cuestin latente en esta discusin es la de si hay garantas y si las hay,
cules son de la ilacin entre antecedente y consecuente, punto que nos lle-
vara desde la ndole propia del seguirse de desde su condicin semntica u
ntica hasta sus proyecciones inferenciales o cognitivas epistmicas;
en esta lnea de transicin se dice, por ejemplo, que si OC se sigue lgicamente de
r , entonces la imposibilidad de que a sea falso si T fuera verdadero ha de ser
reconocible a priori o en virtud de nuestra inteleccin de T. Por lo dems, el
punto de calificar la relacin en cuestin como relacin lgica no deja de pres-
tarse a discusiones ulteriores. As, cabe acusar a ciertos tratamientos semnticos
de no distinguir entre las implicaciones analticas o las consecuencias materiales
p.ej. del tenor de la pared es roja; luego, no es incolora y las consecuen-
cias lgicas, que se han de suponer formales o vlidas en atencin a la forma
lgica de las proposiciones concurrentes en otras palabras, una relacin de
consecuencia lgica media entre ciertas proposiciones dadas slo si mediara
igualmente entre cualesquiera otras proposiciones de la misma forma lgica que
las dadas; un argumento slo es vlido si lo es todo posible argumento de la
misma forma lgica. La formulacin ms socorrida a este respecto es la con-
sabida versin semntica tarskiana: a es consecuencia lgica de F si y slo si
todo modelo de F es modelo de a. Este planteamiento concuerda con dos
caractersticas comnmente atribuidas a la lgica: su neutralidad temtica y su
independencia con respecto a los recursos expresivos propios del lenguaje que se
tome en consideracin. Pero tambin puede verse acusado, por ejemplo, de
limitarse a establecer una especie de correlacin input-output entre sistemas de
objetos y/o asignaciones de valores, sin hacerse cargo de la especificidad de las
relaciones lceos de consecuencia dentro del mbito formal o estructuralmente
acotado de las consecuencias semnticas. As que, para dar cuenta y razn de la
peculiar conexin lgica vuelven a presentarse las condiciones de necesidad,
pertinencia o aprioricidad, por separado o en coalicin ^.
^^ La discusin de la concepcin modelista tarskiana, que vena oficiando de doctrina
ortodoxa sobre la consecuencia lgica a lo largo de la segunda mitad del siglo, se ha animado
518 LUIS VEGA REN
En todo caso, los criterios semnticos en general y, en particular, la deter-
minacin bsica de la forma lgica de las proposiciones presuponen, a su vez,
una demarcacin entre sus trminos o ingredientes extralgicos y sus trminos
lgicos. A primera vista, cabe pensar que la cuestin de fijar qu es lo que hace
que un trmino sea lgico es un asunto ms preciso y tratable que el problema
de determinar qu es lo que hace que una relacin de seguirse-de sea una con-
secuencia lgica. Pero tambin ah nos volvemos a encontrar con planteamien-
tos dispares, convenciones alternativas y criterios contrapuestos. La demarca-
cin entre unos trminos lgicos y el resto de las expresiones, lxicas o extral-
gicas, implica la decisin de mantener constante el significado de los trminos
lgicos, mientras que todos los dems tienen un significado que vara a travs
de los diversos dominios de interpretacin y las diversas condiciones de asig-
nacin que determinan las aplicaciones los modelos posibles del lengua-
je formal involucrado. Hay distintas maneras de tomar esta decisin: median-
te el listado o la enumeracin de los trminos lgicos, o a la luz de unos crite-
rios distintivos, o sobre la base de nuestras intuiciones pre-tericas de los
objetivos y funciones que cabe esperar de una teora del anlisis lgico. Por
desgracia, suelen conducir a estipulaciones o demarcaciones discrepantes entre
s y, peor an, ninguna de estas vas ha desembocado en una identificacin
convincente, en el sentido de hallarse respaldada tanto por su justificacin filo-
sfica como por su eficacia tcnica ^. Para colmo, en el horizonte actual no se
vislumbran claras seales de que pronto se vern satisfechas las expectativas de
una determinacin cabal de las relaciones o de los trminos justamente lgicos
pues, entre otras cosas, se da la circunstancia de que hay objetivos diversos y
parejamente plausibles del anlisis lgico que favorecen acotaciones distintas.
Por ejemplo, si uno centra sus intereses en el control de la relacin de deduci-
bilidad y en la contrastacin de las teoras deductivas, tender a considerar lgi-
cos unos trminos o unos operadores como los empleados por la lgica estn-
considerablemente en esta ltima dcada. El agitador ms notorio ha sido J. ET C HEM END Y , The
concept oflogical consequence, C ambridge (MA): Harvard University Press, 1990. Los ecos del
enfrentamiento entre los crticos, los revisionistas y los defensores de la concepcin tarskiana
han llegado hasta, p.ej., W. H. HANSO N, The concept of logicai consequence, The
Philosophical Review, 106/3 (1997): 365-409, entre otras revisiones crticas recientes que no tie-
nen visos de decir la ltima palabra.
^ ' La discusin en torno a la lnea divisoria entre ios trminos (constantes, operadores)
lgicos y extra-lgicos cuenta ya con una crecida literatura. Vid. la reciente revisin de K.
WARM B RO D , Logicai constants, Mind, 108/431 (1999): 503-538.
DEL CRISTAL DE LA LGICA AL DISCURSO SIN ESPEJO 519
dar; pero si uno est ms interesado en la investigacin de estructuras lings-
ticas o extra-lingsticas (p.ej. modelos matemticos), tender a considerar
lgicas otras constantes aadidas o al margen del repertorio estndar
como, p.ej., modalidades, cuantificadores de segundo orden, cuantificadores
plurales, operadores temporales o epistmicos, etc. Insisto en que las cuestio-
nes en juego no son simplemente estipulativas o de carcter tcnico. De la
opcin que se tome tanto en este respecto como en el anterior la determi-
nacin de la relacin de consecuencia dependern no slo la conformacin
de la lgica y sus relaciones con su entorno discursivo; tambin depender la
suerte de varias nociones alimentadas por la tradicin lgico-filosfica, como
las de verdad lgica, ley del pensamiento, canon del entendimiento o
norma de la razn, amn de otros conceptos ms o menos asociados a ellas,
p.ej. los de proposicin analtica, condicin a priori, necesidad discursiva.
En todo caso, la tolerancia es actualmente una virtud de obligado cumpli-
miento en lgica. Y, segn parece, la virtud ha de llevarse al extremo de reco-
nocer la existencia de lgicas autonmicas o locales en el mbito del anlisis
lgico, donde antes solan imperar los dictados de una Lgica nica, universal
y uniforme por debajo de las variaciones de ideologa o de rgimen. Ahora
bien, llegar esta virtud hasta el extremo de tolerar anlisis del discurso al mar-
gen del gobierno heternomo de una teora de la forma o de la consecuencia
lgica? Pasemos a considerar este segundo fenmeno: el de la aparicin de an-
lisis del discurso argumentativo sin el espejo de una lgica propiamente dicha.
4.2 Un caso ilustrativo del anlisis sin espejo podra ser el estudio de la argu-
mentacin plausible, un sector del ancho campo de la argumentacin cuya con-
sideracin se remonta al padre comn, Aristteles ^. Sealado con ms precisin,
este sector se encuentra en el terreno tradicionalmente confiado a la argumenta-
cin dialctica y con ella comparte unas caractersticas bsicas como las siguien-
tes: (z) es una interaccin entre agentes discursivos; () parte de unas premisas
aceptadas o aceptables; {/') procede a travs de cuestiones y respuestas; (zV) versa
sobre un asunto discutible en principio. Lo que distingue, dentro de este terreno.
^'' Cf. L. VEGA RE ON, Aristotle's ndoxa and plausible argumentation, Argumentation,
12/1 (1998): 95-113. Una muestra del tratamiento de la argumentacin plausible actualmente
en curso puede ser D. N. W ALTON, Plausible argument in everyday conversation, Albany: State
University of New York Press, 1992. Por lo dems, supongo que no ser necesario aclarar que
esta argumentacin plausible nada tiene que ver con la tradicin heurstica del razonamiento
plausible en matemticas que ha vindicado George Polya.
220 Luis VEGA REN
la argumentacin plausible son otros cuatro rasgos especficos: {v) su peculiar
carga pragmtica; {vt) su carcter gradual; {vii) su exposicin al conflicto; {viitj su
autogobierno por referencia a la opinin contraria o a un contra-argumento.
Segn Aristteles, es plausible [ndoxon] lo que as parece a todo el
mundo, o a la mayora de la gente, o a los entendidos y a todos ellos, o a
la mayora, o a los de mayor reputacin entre ellos {Tpicos, 100b21-23;
tambin 104a8-10, 105a35-39; ejemplos en 104al7-105bl8). La plausibili-
dad no es un valor semntico propio de una proposicin o un argumento,
sino una relacin pragmtica: descansa en el parecer de una comunidad o de
un grupo o de algunos de los miembros ms enterados e ilustres; y tiene una
sobrecarga peculiar en este sentido, pues ndoxos puede calificar tanto una
opinin como a una persona, con el denominador comn de su reputacin.
Envuelve adems una correlacin: la enumeracin citada representa una esca-
la descendente de grados de plausibilidad y no descarta la existencia de pare-
ceres en conflicto, de modo que el resultar ms o menos plausible guarda rela-
cin con la plausibilidad correspondiente al parecer opuesto. Dicho en otras
palabras, la plausibilidad de una posicin viene a ser correlativa a la implau-
sibilidad de la postura contraria en torno al punto debatido. Cabe explicitar
esta correlacin en los trminos de un supuesto que obra implcitamente en
algunas referencias de Aristteles. Sea A una opinin o una argumentacin
determinada y sea A* su contraria; el supuesto reza: Si A es ms/menos plau-
sible (o implausible), entonces A* resulta ms/menos implausible (o plausi-
ble). Ahora bien, en la medida en que el curso mismo de la discusin,
determinado no slo por el repertorio de creencias o de saberes o de recono-
cimientos acerca del asunto, sino por otros factores, como la habilidad dia-
lctica de los contendientes, es el que decide sobre el valor de las cartas en
juego, podemos convenir en que el agente discursivo que evite la inconsis-
tencia expresa {Tpicos, 100a 18-21) y asuma las premisas ms familiares y
plausibles (159b8-15) o, al menos, aqullas que lo sean tanto como el caso
permita (161b26-38), habr argido bien. Y lo que se necesita para apreciar
una bondad discursiva o argumentativa de este tipo es, digamos, la lgica
generada por la situacin misma y congruente con su dinmica interna, no
un sistema formal o una cobertura lgica semntica de convalidacin *. Por
^5 No han faltado intentos de proporcionar al anlisis aristotlico de lo plausible una especie
de lgica estricta, p.ej. mediante su reformulacin en los trminos de una suerte de modalidades
D E L CRISTAL D E LA LGICA AL DISCURSO SIN ESPEJO 521
lo dems, el estudio actual de argumentacin se orienta hacia una estimacin
conjunta de la calidad inferencial y de la eficacia suasoria de los buenos argu-
mentos, lejos de la contraposicin lgica versus retrica o de otras demarca-
ciones similares en el uso de la razn.
Para recapitular a la manera de los apartados anteriores, aventurar tres
conclusiones que ahora resultarn doblemente aventuradas por adquirir un
sesgo no slo retrospectivo sino prospectivo. 1/ Segn parece, a los intereses
y preocupaciones inicialmente dominantes en el campo del anlisis lgico-
matemtico por la convalidacin de las pruebas y la justificacin de las teor-
as, vienen a sucederles nuevos intereses heursticos en la exploracin de
estructuras y de contextos discursivos, donde la lgica ya no es tanto una ins-
tancia jurdica (p.ej. epistemolgica) como una caja de herramientas: un
repertorio de lenguajes, mtodos y procedimientos al servicio de la investiga-
cin. Esta condicin instrumental se ve acentuada en los nuevos mbitos
interdisciplinarios de las ciencias del lenguaje, de la computacin, ciencias
cognitivas, anlisis del discurso, etc., donde se van asentando una suerte de
colonias perifricas que generan formas de vida propia al margen de la anti-
gua metrpolis y del antiguo centro: la disciplina de la lgica estndar, la con-
cepcin de la inferencia como trasunto de la relacin semntica clsica (refle-
xiva, transitiva, montona) de consecuencia. 2/ Estos factores de dispersin
no han anulado los deseos de reunificacin dentro de una perspectiva ms
general de la idea de sistema lgico ^. Pero, por otro lado, tampoco dejan de
proyectar una sombra filosfica inquietante sobre el lmpido cristal de las
luces lgicas de la razn: en el ambiente flota una tensin tcita o expresa
entre la imagen clsica de la Lgica una y universal, y la nueva imagen frag-
mentaria de las lgicas locales o autonmicas, aplicadas a distintos sectores de
dialcticas. Pero estos intentos han resultado fallidos, cf. L. V E GA, Tci ndoxw. argumentacin y
plausibilidad, ndoxa, 1 (1993): 5-19, y (1998), art.c. D e ah no se sigue, empero, la imposi-
bilidad de teoras o de normativas lgicas del discurso dialctico en general -vid. p.ej. las nor-
malizaciones que ensayan los tratados medievales sobre obligationes con miras a regular los
compromisos adquiridos a partir de una propuesta y en el curso de su discusin, en L. V E GA
RE N, Artes de la razn, Madrid: UNE D , 1999, 3.5, pp. \\\-\ll\ sobre algunos ensayos
actuales en una direccin anloga, vid. el nmero monogrfico The logic of dialogue de
Synthese, 63/3 (1985).
^* Cf., por ejemplo, la propuesta de J.-Y. GlRARD, On the unity of logic, Rapports de
Recherche, Prog. 2, n. 1467 [INRIA-Rocquencourt], 1991, o algunas iniciativas recogidas en
Gabbay, ed. (1994).
522 LUIS VEGA REN
USO de la inferencia y del discurso ^. 3/ La sombra an puede alargarse ms
all de cualquier espejo lgico, de cualquier sistema o teora de la forma y la
consecuencia lgicas, hasta el punt o de obligarnos a replantear ciertas cues-
tiones que antes, casi sin necesidad de plantearlas, solan darse por resueltas.
Me refiero, por ejemplo, al lugar de la propia lgica en el mundo del conoci-
mi ent o, al sentido de las apelaciones a la lgica en el ejercicio de la inteligen-
cia y de la razn p . ej. en la planificacin y adopcin de decisiones inteli-
gentes, en la justificacin de dictmenes o de veredictos o, en fin, al papel
de la lgica en el anlisis del discurso.
La actitud de la mayora de los lgicos profesionales ante estos problemas
u otros parecidos suele ser inhibitoria: lo suyo es, al parecer, el ocuparse de las
cuestiones tcnicamente viables para llegar, si acaso, a convenciones acad-
mi cament e correctas. Puede que tengan no slo sus motivos, sino razn. Al
fin y al cabo, los asuntos de este gnero, en los que se ventilan el sentido
actual y la significacin fitura de la lgica, son demasiado importantes para
dejarlos solamente en manos de los lgicos. As pues, me gustara terminar
estos apuntes retro-prospectivos invitando a los espectadores de cualquier rea
a participar en el debate para animar y enriquecer con sus punt os de vista la
conversacin.
Ref er enci as bi bl i ogrf cas
OLABUENAGA, A. , Giles Deleuze: Por una flosofa de la disolucin, en Revista de
Occidente 1986 (56), pgs. 27-34.
ANELLIS, L H. , (1991) The Lowenheim-Skoiem theorem, theories of quantification,
and proof theory, en DRUCKER, T. (ed.), Perspectives on the history ofmathemati-
cal logia. Basel/Berlin/Boston: Birkhuser, 1991; 71-83.
ANELLIS, I. H., y HOUSER, Nathan R. (1988), Nineteenth century roots of alg-
brale logic and universal algebra, en ANDRKA, H. , MONK J. D. , & NMETI, L
(eds.), Algebraic Logic (Procds. of the Conference on AL, Budapest, 1988.
Colloq. Mathem. Soc. I Bolyai, vol. 54). Amsterdam/New York: North Holland,
1991;1-36.
^^ Hay quien ha llegado a preguntarse, como J. LARGEAULT, Peut-on parier de lociques
regionales?, Archives de Philosophie, 60 (1997): 129-134.
DEL CRISTAL DE LA LGICA AL DISCURSO SIN ESPEJO 523
CELLUCI, Cario (1998), Le ragioni della lgica. Bari: Laterza, 1998.
CoFFA, J. Alberto (1991), The Semantic tradition from Kant to Carnap. To the Vienna
station. Cambridge: Cambridge University Press, 1993 paperb.
DAWSON, John W. (1993), The compactness of first-order logic; from Gdel to
Lindstrom, History and Philosophy of Logic, 14/1 (1993): 15-37.
ENGEL, Pascal (1994), Philosophie de la pense logico-mathmatique. Logique, raison-
nement et normes de rationalit, en HOUD, O., MiVILLE, D., (eds.) Pense logi-
co-mathmatique. Nouveaux objects interdisciplinaires. Paris: PUF, 1994; 205-228.
GABBAY, DOV M. , ed. (1994), What is a logicalsystem?Oxford: Clarendon Press, 1994.
GOLDFARB, Warren D. (1979), Logic in the twenties: the nature of the quantifier,
The Journal ofSymbolic Logic, 44/3 (1979): 351-368.
GRATTAN-GUINNESS, Ivor (1981), On the developments of logics between the two
World Wars, American MathematicalMonthly, 88 (1981): 495-509.
I. (1988), Vida en comn, vidas separadas. Las interacciones entre matemticas
y lgicas desde la revolucin francesa hasta la primera guerra mundial, Theoria,
12/28 (1997): 13-37.
GuiLLAUME, Maurice (1994), La logique mathmatique en sa jeunesse, en J.P. PIER,
ed. Development of Mathematics, 1900-1950. Basel/Berlin/Boston: Birkhuser,
1994; pp. 185-365.
HEIJENOORT, Jean van (1976), El desarrollo de la teora de la cuantificacin. Mxico:
UNAM.
HlNTlKKA, Jaakko, ed. (1995), From Dedekind to Gdel. Dordrecht: Kluwer, 1995.
MANGIONE, Cerrado, y Bozzi, Silvio (1993), Storia della lgica. Da Boole ai nostri
giorni. Milano: Garzanti, 1995^.
MOORE, Gregory H. (1988), The emergence of first-order logic, en ASPRAY, W. y
KiTCHER, P. (eds.), History and philosophy of modem mathematics [Minnesota
Studies in the Phil. of Science, XI]. Minneapoiis: University of Minnesota Press,
1988; 95-135.
MoORE, G. H. (1997), Hilbert and the emergence of modern mathematical logic,
Theoria, 12/28 (1997): 65-90.
VEGA REN, Luis (1996), Una gua de historia de la lgica. Madrid: UNED, 1997
reimp.
WOLENSKI, Jan (1995), Mathematical logic in Poland 1900-1939: people, circles,
institutions, ideas, Modem Logic, 5/4 (1995): 363-405.