EL BASILISCO, nmero 6, enero-abril 1979, www.fgbueno.

es

CRITICA DE LIBROS

CONSIDERACIONES SOBRE LA LGICA Y SU HISTORIA

VICENTE MUOZ DELGADO
Salamanca

1. Lgica antigua y lgica nueva

a lgica antiguo-medieval, y gran parte de la moderna, se desarrolla unida a los problemas filosficos, concebida como rgano de la razn discursiva. Fue considerada, ya como una parte de la filosofa, ya j como su natural introduccin, ya como su instrumento. Dentro de ese horizonte filosfico, nunca hubo una separacin tajante entre forma y contenido, aunque haya sido calificada acertadamente de lgica formal. Era una lgica de contenido, comprensivista, donde las nociones se unlversalizan en intensin. La evolucin de la ciencia moderna y, muy especialmente, el desarrollo del pensamiento matemtico, da origen a la lgica como disciplina exacta. La lgica matemtica se considera hoy una importante realizacin de nuestro mundo cultural y su crdito aument por las aplicaciones a computadores y mecanismos automticos. Es una lgica matemtica, construida principalmente por matemticos, que emplean mtodos aritmticos, algebraicos, analticos, topolgicos, axiomticos, etc. Se logra as un mayor tipo de abstraccin y una mayor autonoma de lo formal, respecto a los contenidos. La lgica matemtica ya no es puramente formal, est formalizada. Como fruto de estos dos desarrollos, apareci la doctrina de las dos lgicas contrapuestas y enemigas o, segn otros, complementarias. Recordemos, por ejemplo, las diatribas de B. Russell, en su Historia de la filosofz occidental (1945), contra los aristotlicos, y el clebre trabajo de R. Carnap, La antigua y la nueva lgica (1930-31), publicado en el primer nmero de la revista Erkennt'nis, r86

gano del neopositivismo lgico, donde hace iina interesante contraposicin entre las dos lgicas. Se caracteriza a la moderna, como predominantemente relacional, y a la antigua, como sustancialista, sealando las ventajas de aqulla sobre sta (1). Paradjicamente, los mtodos carnapianos de anlisis del lenguaje y de bsqueda de las estructuras formales, condujeron a una progresiva revalorizacin de la lgica prematemtica y, muy especialmente, del legado grecoescolstico. Como afirman los Kneale, tras siglos de incuria o de desprecio... los logros de los lgicos medievales, que nos eran accesibles a travs de libros impresos a fines del siglo XV y comienzos del XVI, han sido reconsiderados a la luz de los descubrimientos de la lgica moderna, con lo que obras un da condenadas como tediosas e irrelevantes, son hoy tenidas por brillantes anticipaciones de innovaciones recientes. En esto ha habido muchas exageraciones, que la historiografa va corrigiendo, como ya haba observado Quine, en esta prudente premonicin, si es deplorable exagerar la ruptura entre la vieja y la nueva lgica, sera an mucho ms deplorable minimizar la importancia y novedad de la nueva (2).
(1) B. Russell, Historia d la filosofa occidental (Buenos, Aires, 1947) I, 218-19; A.J. Ayer, compilador, /^WVZWJOTO lgico (Mxico, 1965) 139-52; V. Muoz Delgado, Lgica matemtica y lgica filosfica (Madrid, 1962); H. B. Veatch, Two logics (Northwestern University Press, 1969). (2) M. y W. Kneale, El desarrollo de la lgica (Madrid, 1973) 210; J.T. Clark, Conventional logic and modern logic (Woodstock, Md. 1952) VI-VII, donde estn las palabras de Quine; V. Muoz Delgado, El formalismo como mtodo auxiliar de la historia de la lgica, Vilosofia y ciencia en el pensamiento espaol contemporneo (Madrid, 1973) 69-86. Este trabajo, presentado en el Simposio de lgica de Valencia (1971) fue motivo de algunas incomprensiones por parte de los antiformalistas. Ha merecido ser reproducido, casi enteramente, en la revista Filosofie-Logica 10 (1973) 684-96, del Centro de Informacin y Documentacin de ciencias sociales y polticas de Bucarest. EL BASILISCO

EL BASILISCO, nmero 6, enero-abril 1979, www.fgbueno.es

Es un hecho que, en amplios sectores, desaparece la contraposicin entre lgica antigua y lgica nueva, lgica de los filsofos y lgica de los matemticos, brillando con mayor claridad una cierta unidad en las normas de razonar. La lgica antigua y medieval, foirmulada en un contexto filosfico y en lenguaje natural, sera susceptible de ser interpretada desde la lgica matemtica, constituyendo diversos modelos semnticos, en correspondencia con los diferentes clculos. El precio de esa formalizacin sera la neutralizacin filosfica de la lgica greco-escolstica, desligable e independizable, tanto de la filosofa antigua como de la medieval y moderna. Distintas y an contrapuestas filosofas habran tenido el mismo modo de analizar los razonamientos. En la filosofa medieval hay tres o ms metafsicas, que se anulan mutuamente, pero todas ellas utilizaran los mismos procedimientos de anlisis de los argumentos y contraargumentos, tanto propios como del adversario. Donde aparecen las diferencias, es en filosofa y en la mezcla de los problemas lgicos y extralgicos. Las discusiones acerca de lo que es terico o prctico, sobre el objeto de la lgica, ente de razn, universales, etc. son divergencias puramente filosficas, que se critican a la luz de la misma lgica. Por ello se distingue filosofa y filosofa de la lgica, donde aparecen las diferentes escuelas de la lgica formal, en la que habra una mayor uniformidad. De ese modo, la lgica greco-escolstica se salvara del naufragio del pensamiento antiguo, producido por la aparicin de la ciencia y mentalidad modernas (3). Como juicio estimativo, pienso que se ha exagerado el valor del mtodo formalista para hacer historia de la lgica formal. Pero, tampoco es lcito ignorar sus muchos xitos, que permiten sostener que debe permanecer como un auxiliar de la historia de la lgica. Pero, solamente como auxiliar de los mtodos generales de hacer historia. Las crticas al mtodo formalista han sido muchas y deben situarse en el contexto general de ataques actuales

al formalismo, desde todos los frentes, como vamos a ver de manera escalonada.

2. Lgica y dialctica
Esa concepcin de la historia de la lgica como una unidad, expresada de varias maneras, forma griega, forma escolstica, forma india y forma matemtica, como dividieron sus magnas obras de historia, H. Scholz (1931) y J. M. Bochenski (1956), fue muy atacada, especialmente desde los sectores de predominio de la razn dialctica. La opcin formalista sera un producto decadente de la llamada razn analica, ligada al neopositivismo o que, al menos, recoge su nfasis en la importancia de la lgica formalizada. Sera una herencia bastarda de aquella famosa frase de Carnap la lgica es el mtodo del filosofar (4). Los ataques al formalismo provienen del mundo llamado socialista y del llamado capitalista. Vamos a recordar, en este apartado especialmente, las objecciones desde los autores que viven en la Europa del Este, desde Rusia a los Balcanes. En primer lugar, los marxistas protestan contra la separacin entre forma y contenido. Muchos tratados de lgica, aparecidos en las democracias de rbita rusa, constituyen una apologa de la lgica cosista y metafsica del Estagirita, revalorizando la interpretacin neoescolstica, deformadora de la gran lgica de los siglos XIV-XVL la exaltada por los formalistas. La Lgica, editada a nombre de Gorski y Tavants (1956), obra colectiva publicada por el Instituto de filosofa de Mosc, la Logik (1955) del hngaro Bela Fogarasi, el manual de Georg Klaus, Einfhrung in die frmale Logik (Berln, 1958), repiten la particin neoescolstica de la lgica en concepto, juicio y raciocinio, aunque interpretados con fuerte influjo hegeliano. Esa divisin ha desaparecido en los manuales occidentales, que se precian de modernos, y tuvo poca importancia en la gran lgica de los citados siglos XIV-XVL La lgica formal, dicen los manuales del Este citados, es una forma de ideologa burguesa. El formalismo es un arma de la ciencia burguesa, que se utiliza como instrumento poltico, repiten Bela Fogarasi y Klaus. GorskiTavants denuncian la misma situacin con estas palabras: la falsificacin idealista de los problemas de la lgica tiene sus races de clase y sus races gnoseolgicas... En su defensa de los fundamentos del capitalismo, los idealistas declaran que el mundo circundante es una ilusin..., un conjunto de sensaciones, e, incluso, un conjunto de arbitrarias lucubraciones verbales y lgicas del entendimiento. A. Joja critica la aphcacin del mtodo formalista a la silogstica de Aristteles, realizada por Lukasiewicz, y da este juicio sobre la lgica aristotlica: en verdad es formal, pues se ocupa de trminos abstractos y no concretos, de formas de pensamiento y no de un contenido concreto. No obstante, es, aunque esta cuestin pueda parecer exagerada en opinin de los logsticos.

(3) Se han celebrado varios congresos en los que se somete a discusin a problemtica del mtodo formalista, en orden a la historia de la lgica. Atti del convegno di storia della lgica (Padua, 1974), reproduce los trabajos presentados al Congreso de Parma (1972); J. Corcoran, ed., Ancient logic and its modern interpretations (Dordrecht-Boston, 1974), contiene las,ponencias del Congreso de Bfalo (1972). EL BASILISCO

(4) H. Scholz, Abriss der Geschichte der Logik (Munich, 1959); J.M. Bochenski, Historia de la lgica formal (Madrid, 1967); V. Muoz Delgado, Lgica antigua y medieval a la luz de la logstica, Salmanticensis 4 (1957) 503-41, resume ios resultados ms importantes. Ayer, ed. obra citada, p. 139. 87

EL BASILISCO, nmero 6, enero-abril 1979, www.fgbueno.es

tambin una lgica de contenido, puesto que las formas son formas de algunos contenidos y tienden al conocimiento de algunos contenidos de pensamiento. Unas lneas ms adelante, da este juicio sobre el formalismo, como mtodo: separar las formas lgicas de sus contenidos, de las formas objetivas, es un extravo formalista. Ms, si tenemos conciencia de que se trata de un extravo, podemos admitirlo en el sistema general de la lgica. Esto es ya una concesin, y un poco antes haba dicho que el procedimiento formalista no se justifica ms que provisionalmente. No est muy lejos de los que proponemos el formalismo como mtodo auxiliar (5). Este planteo del formalismo, tanto en s mismo como en sus aplicaciones a la historia, est ya algo retrasado, an dentro de la misma Unin Sovitica. Para entender mejor las dificultades, hemos de atender a dos factores: el primero es la codificacin de lo que es dialctica y el segundo al establecimiento de las relaciones entre lgica formal y dialctica. El problema de fondo es el de la compatibilidad o incompatibilidad, complementaridad o exclusin entre lgica formal y lgica dialctica. Comenzamos por el primer punto, por la determinacin del significado de dialctica, concepto equvoco y de difcil precisin. La filosofa sovitica hasta los aos 50 aproximadamente, se dedica a la exgesis de los clsicos, es decir de Marx, Engels y Lenn. Marx tuvo intencin de escribir ex profeso sobre el tema, pero en realidad lo deja sin precisin. Engels pretendi lo mismo, pero su pensamiento qued muy incompleto, y hemos de contentarnos con el An-Dhrmg{\2>l%) y las notas que incorpora en la Dialctica de la naturaleza (1927). Lenn ocupa su destierro en Suiza, analizando la lgica y la dialctica de Hegel, pero los acontecimientos de 1917, le impiden completar el tema y hay que limitarse a las notas de Cuadernos filosficos (I929, I93O). No haba una doctrina clara, ordenada y sistematizada sobre algo tan bsico en el marxismo. N o estaba determinado con precisin cul era la misin de la dialctica (6). La concepcin bsica de la dialctica, en la Unin Sovitica, sigue una lnea de desarrollo a partir de Marx, Engels y Lenn. Se destacan mucho las tres famosas leyes (paso de cambios cualitativos a cuantitativos, unidad y lucha de contrarios, negacin de la negacin). Aunque surgen diferencias en la exposicin, el punto de vista dominante parece ser que la dialctica es la ciencia de las formas y leyes generales de desarrollo del mundo objetivo, formando una unidad inseparable con la lgica y la teora del conocimiento. La dialctica es la ciencia que estudia las leyes ms generales del desarrollo de la naturaleza, la sociedad y el pensamiento humano. Hay que distinguir la lgica objetiva, que reina en toda la realidad, y la lgica subjetiva, reflejo en la mente del movimiento, que impera a travs de toda la realidad, mediante los contrarios (7).
(5) D.P. Gorski y P.V. Tavants, Lgica (Mxico, 1968) 37; A. Joja, La dialctica y las ciencias (Buenos Aires, 1969) 63-5; Bela Fogarasi, Logik (Berln, 1956) 26-7; G. Klaus, Einfh'rung in die frmale Logik (Berln, 1958)11. (6) E. Laszlo, ed., Philosophy in the Soviet Union. A Survey of the MidSixties (Dordrecht, 1967) 79-80; J.M. Bochenski, El materialismo dialctico (Madrid, 1962) 177-81. Los aos entre parntesis indican la fecha de publicacin de los escritos de Lenn y Engels. 88

Esa parece ser la opinin de hombres como Kopnin, Kedrov y otrOs autores recientes. No parece que se hayan hecho innovaciones profundas, respecto a Engels y Lenn, lo que es muy comprensible dada la veneracin oficial por esos autores. En aos posteriores, se destacan menos las contradicciones y su papel en la naturaleza y sociedad. Siguen teniendo importancia las tres leyes, pero aumenta el inters en el esmdio de las regularidades en los fenmenos de la naturaleza, al margen de la misma dialctica. Al mismo tiempo, se hace una crtica del neopositivismo, especialmente a partir de 1960, sealando que se trata de una filosofa contraria a los hechos, que es un idealismo subjetivo, irracional, opuesta al marxismo-leninismo, centrndose mucho en el aspecto epistemolgico, como hace Igor Sergio Narski, una de las mayores autoridades en el tema (8). Otro crtico como Vladimir S. Svyrev, profesor, como el anterior, en la Universidad de Mosc, reduce a cuatro puntos su crtica del neopositivismo: no han logrado definir y determinar la base emprica de la ciencia; rechaza la dicotoma analtico-sinttico y el reduccionismo, sobre todo el principio de verificacin, y las teoras formalsticas de la coherencia (9). Estas doctrinas afectan a la nocin de dialctica, en cuanto es tambin una metodologa, dialctica como lgica de la ciencia, que no es como en occidente la validez lgica de una teora cientfica, sino algo as como una descripcin fenomenolgica del proceso del conocimiento cientfico, corno seala, por ejemplo, Kopnin (10). En cuanto al segundo punto, es decir el de las relaciones entre lgica formal y lgica dialctica, hay que partir del ao 1946, porque hasta esa fecha la lgica haba estado ausente de los planes de educacin sovitica. Me refiero a lo que puede llamarse lgica filosfica, porque, en lgica matemtica, han hecho notables desarrollos, siguiendo una direccin semejante al intuicionismo occidental, en cuanto utilizan mtodos finitos y constructivos, teniendo gran inters por los problemas de la decisin, computabilidad, algoritmos y teora de funciones recursivas. En noviembre de 1946, el Comit Central del Partido decide instaurar la enseanza de la lgica formal en los estudios preuniversitarios y en algunas Universidades. Pero continan las presiones para que se determinen las relaciones entre lgica formal y dialctica, teniendo siempre precaucin ante los peligros burgueses. Para que la lgica formal se abriese camino, fue muy importante la intervencin de Stalin, contra N.Y. Marr en 1950, en el debate sobre el lenguaje, determinando que la lingstica y la lgica formal no son una superestructura y no estn conectadas con una clase social determinada. La revista Voprosy filosofi, entonces, la principal y, durante mucho
(7) En Laszlo, ed., 80; L.R. Graham, Ciencia y filosofa en la Unin Sovitica (Madrid, 1976) 65-86; W. Rod, La filosofa dialctica moderna (Pamplona, 1977) 301-17, 427-9. (8) Laszlo, 86, W. F. Boeselager, The Soviet Critique of Neopositivism (Dordrecht-Boston, 1975) 49-78. (9) Boeselager, 75-90. (10) Eli de Cortari, El mtodo dialctico (Mxico, 1970) 15-37; P.V. Kopnin, Hiptesis y verdad (Mxico, 1969) 90-1, 112; B.M. Kedrov, Clasificacin de las ciencias (Mosc, 1974-76) I, 43; II, 535. EL BASILISCO

EL BASILISCO, nmero 6, enero-abril 1979, www.fgbueno.es

tiempo, nica dedicada a temas filosficos en la URSS, en el nmero de noviembre de 1950, trata de resolver el conflicto entre lgica formal y dialctica, convocando una especie de concurso, cuyas ideas se expresa en 13 extensos artculos y 42 resmenes de otras contribuciones. Un editorial de 1951, de la misma revista, quiso dar una solucin cuasi-oficial al problema, sosteniendo que ambas son legtimas, aunque destacando la superioridad de la dialctica sobre la lgica formal. Esta postura abri muchos horizontes e influye de una manera decisiva en los llamados pases satlites. Por ej., las conferencias filosficas del Congreso de Jena (1951), sobre los problemas de la lgica, tienen por base las ideas de Voprosy fUosof. Siguiendo ese clima de liberalizacin de la enseanza de la lgica, los alemanes de la Repblica democrtica comienzan en 1951 Ja primera revista de la postguerra Deutsche Zeitschrift fr Philosophie, con gran atencin, progresivamente en aumento, a la problemtica de la filosofa de la lgica. Casi al mismo tiempo, en el Berln oriental, se funda el Institu fr mathematische Logik und Grundlagenforschung y, en 1955, da comienzo la levista. Zeitschrift fr mathematische Logik de la Humboldt-Universitt (11). En Polonia, de tanta tradicin lgica en la preguerra una vez terminada la contienda mundial, se funda tambin una revista, El pensamiento filosfico, rgano del materialismo dialctico, que se interesa por los problemas de filosofa de la lgica. Pronto encuentra su complemento en Studia lgica, fundada en 1953. Se reorganiza la Academia de Ciencias, con un Centro de investigaciones lgicas, bajo la direccin de Ajdukiewicz, coordinado con el Instituto de Matemticas, presidido por A. Mostowski. Pero ya desde 1948, hay interesantes publicaciones de lgica formal, en la Polonia renacida de la ltima contienda, siempre con gran apertura a Occidente, por la natural desconfianza de sus poderosos vecinos de la orilla oriental (12). Algo parecido sucede en Rumania, donde Moisil haba cultivado la lgica antes y durante la guerra mundial. A partir de 1960, se reanudan intensamente los trabajos de lgica formal matemtica, constituyndose una verdadera escuela, donde, al lado de la tcnica ms rigurosa, se cultiva la filosofa de la lgica y se escribe acerca de su historia (13). Desaparecida la incompatibilidad entre lgica formal y dialctica, las repblicas socialistas cultivan intensamente todos los aspectos de la lgica formal. Ese nuevo ambiente ha hecho posible la celebracin eij Bucarest, del IV Congreso Internacional de Lgica, Metodologa y Filosofa de la Ciencia, a fines de agosto d 1971, donde he(11) W. Coerdt, Fragen der Philosophie. Ein Material Beitrag zur Erforschung der Scwietphilosophie in Spiegel der Zeitschrift Voprosii Filosofa, 1947-56 (Colonia-Opladen, 1960), con la traduccin alemana de los trabajos de la revista sovitica; Protokoll der philosophischen Konferenz ber Fragen der Logik: Jena, 1951 (Berln, 1953) 3-4 y passim; Ed. Huber, Um eine diakktische Logik. Diskussionem in der neuren Sou>jetphilosophie (Munich-Salzburgo, 1966)65-156; A. Philipov, Logic and Dialectic in Soviet Union (Nueva York, 1952); V. Muoz Delgado, La lgica en la Alemania de la postguerra (l96l), Estudios 18 (1962) 433-52. (12) T. Kotarbinski, La logique en Pologne (1945-55), Les Eludes Philosophiques 11 (1956) 23442. (13) G. C. Moisil, La logique mathematique pur et appliqu en Republique Socialiste de Roumanie, Teorema 2 (1972) n. 7, i5-44. EL BASILISCO '

mos podido asistir a una confrontacin entre el pensamiento de las dos Europas. Desde un punto de vista filosfico, fue an ms interesante el XV Congreso Internacional de Filosofa, que celebramos en Varna (Bulgaria), en el verano de 1973Entre otros actos, tuvimos un interesantsimo Simposio, en el Hotel Internacional de dicha ciudad, sobre las relaciones entre dialctica y lgica formal. Recuerdo, teniendo delante mis notas, que surgieron estas posiciones principales: no hay oposicin entre dialctica y lgica formal (predominante en el grupo polaco y ruso); la lgica formal est incluida en la dialctica, como una parte en el todo; la lgica formal es analtica, a priori y, por tanto, Opuesta a la dialctica; la dialctica no incluye a la lgica formal, siendo dos cosas distintas. En el grupo occidental, donde llev la voz cantante Mario Bunge, se sostuvo la superioridad de la lgica y que la dialctica es imposible de explicar sin utilizar el instrumento lgico. La impresin, al concluir, era que no hay una teora cientfica de la dialctica y que es un concepto falto de precisin. En todo caso, hay un ambiente de apertura y de colaboracin. A nadie se le impide el cultivo de la lgica formal, en nombre de la dialctica. A ello ha contribuido tambin el gran inters, desde 1950, por la ciberntica, automatizacin, computadores electrnicos, teora de la informacin, etc., que slo son comprensibles, filosficamente, desde el formalismo. Pudiramos concluir esta disgresin, diciendo que no existe, en la actualidad, enemistad entre lgica formal y dialctica. Los dialcticos no son ya enemigos del formalismo. Para conservar los dogmas del partido, basta sealar las insuficiencias y limitaciones del formalismo e interpretar al modo hegeliano-marxiano la historia de la lgica y de las matemticas (14). La filosofa de la Lgica y de su historia es diferente para los marxistas. Pero hay manuales que tienen la misma estructura que los escritos en el mundo llamado capitalista. Tengo delante los Elementos de la lgica matemtica de P. S. Novikov (1959), de la Universidad Lomonosov de Mosc, y est organizada como las de Occidente, dan(14) T.J. Blakeley, La escolstica sovitica (Madrid, 1969) 31-50, 67-98, 120-7; G. Casanova, La matemtica y el materialismo dialctico (La Habana, 1969) 137-8. 89

EL BASILISCO, nmero 6, enero-abril 1979, www.fgbueno.es

sitivistas de la dimensin lgica de la ciencia. Se trata de do mucha importancia a la axiomatizacin y hasta recocompletar la teora de la ciencia, partiendo de la prctica mienda el manual de Hilbert-Ackermann y la Introduccin misma, atendiendo menos a una teora general del conocia la metamatemtica de Kleene. No solamente eso. Los rumiento. sos han escrito varias historias de la lgica medieval, practicando el mtodo formalista, de que hablamos al princiWittgenstein, por el 1945, est ocupado en la obra, pio. Tenemos a N.I. Styazhkin, que en 1964 publica, en que aparecer ms tarde, con el ttulo de Investigaciones Mosc, una obra cuyo ttulo, en versin exacta, es La filosficas (Oxford, 1953). Aunque no trata de manera Gnesis de la ida de lgica matemtica, traducido al directa de la filosofa de las ciencias, socava, en realidad, ingls con el tmlo History of mathematical Logic from dos grandes fundamentos del neopositivismo: el supuesto Leibniz to Peana (Cambridge, Mass. 1969). En el prlogo, de que hay enunciados atmicos que dan fundamento indistingue dos mtodos para hacer historia de la lgica: el falible a la ciencia y el supuesto de que las diferentes funfilolgico y el que llama lgico-retrospectivo, que es el que ciones del lenguaje se pueden limitai: a aserciones anahyo he llamado mtodo formalista. Piensa que ambos mzables en trminos de funtores de verdad. Por los mismos todos tienen ventajas y desvehtajas, intentando hacer una aos. Quine llama la atencin sobre la endeblez de la rgicombinacin. da distincin entre juicios analticos y sintticos, diferencia crucial, de herencia kantiana, en la teora neopositivisMenciona varias veces la dialctica, pero no en el ta de la ciencia y base de la aplicacin del formalismo sentido que le da el materialismo dialctico, sino en el de como mtodo de investigacin de la historia de la lgica. Abelardo y el Renacimiento. Destaca, como precusores El gran profesor de Harvard muestra que existe una relade la lgica matemtica, a Lulio Ockham, Alberto de cin continuada entre lenguaje y experiencia, sin que sea Sajonia, Guillermo de Sherwood, Pedro Hispano, etc., es aceptable una separacin radical. decir, los autores que predominan en los occidentales que emplean el mtodo formalista. No creo que se pueda peA partir de los aos 50, algunos filsofos van adquidir ms. riendo conciencia de los aspectos diacrnicos de la ciencia y de la manera cmo, de hecho, trabajan los cientficos, Para ver este acercamiento al mundo occidental, superando el dogma de la separacin entre lo que se ha podemos extractar la misma nocin de lgica formal, que llamado contexto de descubrimiento y contexto de justifinos da el popular manual sovitico Fundamentos de filosocacin, viendo la necesidad de dar cabida a los aspectos fn marxista (Mosc, 1959) de F.V. Constantinov: la histricos y sociolgicos, minimizando la exagerada sepalgica formal es la ciencia de las formas del pensamiento, racin entre ciencias formales y ciencias empricas. En esa de las reglas de inferencia de un juicio a partir de otros... perspectiva, N. R. Hanson, Patrones de descubrimiento y M. Al estudiar las estrucmras de las formas del pensamiento, Polanyi, Conocimiento personal, ambos de 1958, rechazan hace abstraccin de su origen y desarrollo. Parte de dela dualidad neopositivista entre trminos tericos y trmiterminadas leyes, ley de identidad, ley de no-contradicnos de observacin, tambin combatida por Popper. No cin, ley de tercero excluido y ley de razn suficiente. hay lenguaje observacional que sea absolutamente neutro, Gracias a ellas, pueden establecerse las condiciones neno hay datos sensoriales que sean puramente datos, sin cesarias de exactitud, rigor lgico y carcter demostrable que el observador haya contribuido de alguna manera. Las del pensamiento. Aade que nada de eso va en contra de relaciones de observacin estn determinadas por el las leyes de la dialctica (15). esquema conceptual del observador. En cualquier caso, estn ya cargadas de teora {teory-laden), se comenzar a decir algo ms tarde. Hay pues, un lugar para la lgica formal y un acercamiento al mundo de la razn analtica, aunque las concepciones del mundo y la misma filosofa de la lgica sean diOtro tipo de ataques ha sido lanzado por Kuhn, ferentes. Estructura de las revoluciones cientficas (Chicago, 1962), obra que se publica formando parte de la Enciclopedia Internacional de la Ciencia Unificada, emto de la concepcin neopositivista de la unidad de la ciencia, segura3. Reaccin antformalista en Occidente mente el libro ms importante y de mayor influjo dentro de ste movimiento, sobre todo desde la edicin de 1969. Kuhn sostiene que los modelos lgicos invocados por el Con la apertura del mundo socialista a la lgica forneopositivismo, como modos de validacin de la ciencia, mal, se sincroniza en Occidente un sentimiento de insufisolamente son vlidos en los perodos de ciencia normal, ciencia del formalismo y de la metodologa, como lgica cuando se acepta un determinado paradigma. Un paradigde la ciencia, de fuene influjo neopositivista. En los ltima es un ideal comn de explicacin, un modelo terico, mos decenios, se ha realizado una crtica del neopositiun grupo de mtodos empleados por los cientficos para vismo, fundada en un anlisis exacto del lenguaje y de los la solucin de problemas. El trnsito de un paradigma a procedimientos del hombre de ciencia, y sobre la historia otro, que constituye la revolucin cientfica, no se hace en de las ciencias, disciplina que, despus de la segunda trminos puramente lgicos. Durante el perodo de revoguerra mundial, se convierte en un dominio especializado lucin, no hay estructuras lgicas ni metodolgicas que y profesionalizado de investigacin. No se trata de negar tengan el asentimiento general, sino que hay varios paralos grandes avances y los incomparables anlisis neopodigmas en competicin y la eleccin de uno u otro paradigma es un problema de eleccin personal. Despus de ese perodo de revolucin y ruptura, vuelve a aparecer de (15) F.V. Constantinov, Fundamentos de la filosofa marxista (Mxico, 1965) 291-3. G. Novaclc, Introduccin a la lgica dialctica (Bogot, nuevo otra ciencia normal con criterios de logicidad acep1976) 23-57; V. Muoz Delgado, La lgica y su dimensin histrica. tados por todos. Pero esa estabilidad no es la que piensan Cuadernos salmantinos de filosof h 1 (1974) 120-3.
90 EL BASILISCO

EL BASILISCO, nmero 6, enero-abril 1979, www.fgbueno.es

a proponer el anlisis lgico como el nico medio que hay de clarificacin y, tal vez, de reconciliacin de la polmica desencadenada por los oponentes a la obra de Kuhn, el cual es un historiador y no un lgico y, por ello ha acertado en sealar una insuficiencia, sin anular la importancia del formalismo y del anlisis lgico. Muy distinto en este ltimo aspecto, es Toulmin, especialmente en su obra Comprensin humana (Princeton University, 1972), primera de una anunciada triloga, donde seala que el anlisis formal jams puede decirnos en qu consiste la racionalidad de la ciencia. En vez de ciencia normal y ciencia revolucionaria, prefiere hablar de transformacin conceptual, proponiendo una teora de evolucin de conceptos, a semejanza de la biolgica, donde las unidades de variacin son los conceptos individuales y no una teora o un paradigma. Nosotros juzgamos de la racionalidad de una conducta, no en funcin de la coherencia lgica de sus creencias, sino por la manera cmo se efecta el cambio, en orden a una situacin imprevista. La racionalidad de la ciencia ha de buscarse en los momentos de dificultad y de cambio conceptual. En esos momentos, los criterios lgicos son intiles, porque presuponen una estabilidad conceptual inexistente en los momentos de transformacin. Lo ms chocante de Toulmin es que niega que el cambio en la ciencia sea de naturaleza lgica y, sin embargo, es racional. Habr, pues, una racionalidad que no es lgica y tal curiosa racionalidad se manifiesta en la dimensin diacrnica del saber cientfico, infravalorando el anlisis sincrnico y esttico del lgico. ^^o voy a seguir resumiendo las ltimas controversias en algunos exponentes del extremismo, como Feyerabend, que considera un mito peligroso la idea misma de metodologa cientfica. Me basta con que quede claro que, tambin en Occidente, hay una fuerte reaccin, sealando la insuficiencia del formalismo neopositivista en lgica matemtica y en metodologa, que supone una cierta convergencia con las apreciaciones del marxismo y neomarxismo (17). Sealemos brevemente, otras corrientes que apuntan a lo mismo. Piaget y su escuela de Epistemologa gentica insisten, igualmente, en la necesidad de completar los anlisis formalizantes con el estudio psico-gentico de las estructuras lgico-formales, aunque dando siempre mucha importancia a las doctrinas neopositivistas. Los filsofos del lenguaje ordinario sealan la insuficiencia del anlisis formal, a base de la sintaxis de lenguajes artificiales. Hermeneutas, existencialistas y vitalistas consideran la opcin formalista, aphcada a la historia, como una mutilacin grave del logos en aspectos muy importantes (18). Podemos concluir, afirmando que hay una reaccin general en contra de las exageraciones formalistas, que

los neopositivistas, porque volver otra revolucin que transformar de nuevo las estructuras. Segn Kuhn, no se puede seguir la filosofa de las ciencias, sin atender a la historia y a la sociologa de los hombres que hacen las construcciones cientficas. Al filsofo, no le interesan solamente las estructuras permanentes, es necesario atender tambin a las contingencias histricas y sociolgicas de los descubrimientos y progresos cientficos, que son fruto de un grupo social, dotado de cierta estructura comunitaria compleja. La reestructuracin revolucionaria, producida en el cambio de paradigma, solamente se puede entender refirindola a los factores psicolgicos, histricos y tambin lgicos. El descubrimiento de una nueva inteligibilidad o paradigma se adquiere trabajando en el interior de un grupo social. Hay aqu tambin una convergencia con los marxistas, aunque Kuhn se interesa mucho menos por los factores econmicos y destaca poco el inters prctico de las ciencias naturales. Esto afecta a la metodologa de la historia de la ciencia y, en especial, a la de la lgica, que juega un papel tan importante en la concepcin neopositivista. Pero Kuhn concede un lugar al anlisis lgico, necesario para entender lo que pasa en un perodo de ciencia normal. En el ltimo congreso internacional de lgica, celebrado en Canad (verano de 1975), su ponencia constituy un verdadero acontecimiento, as como las de J. D. Sneed y W. Stegmller, autores que han echo una reconstruccin sistemtica de la concepcin metacientfica de Kuhn, proponiendo interesantes cambios, dentro de un nuevo concepto de estructura de una teora, desde la que se hace un reajuste del dinamismo que va de una ciencia normal a otra (16). Y lo curioso es que Stegmller vuelve

(17) St. Toulmin, La comprensin humana (Madrid, 1977); I. A. Hidalgo Tun, Disciplinaridad versus sistematismo en Toulmin, El Basilisco I (1978) 113-16; E. McMullin, Le declin du fondationalisme, Revue philosophique de Louvain 74 (1976) 235-55; M.A. Quintanilla, Ideologa y ciencia (Valencia, 1976) 61-98; P.K. Feyerabend, Contra el mtodo (Barcelona, 1975), con interesante introduccin de J. Muguerza. R.E. Butts (16) N . R . Hanson, Patrones de descubrimiento. Observaciones y explicacin y J. Hintikka, ed., Historical and Philosophical Dimensions of Logic, M.ethodology and Philosophy of Science (Dordrecht-Boston, 1977) 245-312, (Madrid, 1971); Id., Conjeturas y Constelaciones (Madrid, 1978); R. K. con los trabajos de Kuhn, Stegmller y Sneed en el Congreso de CaMerton, La sociokg de la ciencia (Madrid, \^11)\ M. Polanyi, Personal nad. W. Stegmller, The structure and dynamics oftheories (Nueva YorkKnowledge (Chicago, 1964); T. S. Kuhn, estructura de las revoluciones cienHeidelberg-Berln, 1976) 270-1. tficas (Mxico, 1971). V. la nota 17. EL BASILISCO 91

EL BASILISCO, nmero 6, enero-abril 1979, www.fgbueno.es

permite un acercamiento entre la razn analtica y la razn dialctica. \

Con ello, no quiero decir que el formalismo deje de ser un mtodo til y un auxiliar, importante, pero insuficiente. La seora E.M. Barth, en su interesante disertacin, The logic of the articles, seala, en 1974, esa insuficiencia y las graves mutilaciones que se han hecho de perodos y autores irriportantes, como la lgica fenomenolgica, la neotomista, la del perodo de interregno o dormicin, como califican Ivo Thomas y Blanch los aos 1450-1700, con evidente injusticia e ignorancia (20). As como hay un campo de trabajo sobre los fundamentos de la matemtica, Barth propone otro similar sobre los fundamentos lgicos de la filosofa, que se podra llamar mejor estudio de las estructuras conceptuales aplicadas. Es una sugerencia muy importante, que permite iniciar un mtodo global que supera los estrechos cuadros de la historia de la lgica al uso. 2) Lgica matemtica. Es el segundo sentido de lgica, sealado por Curry. Estudia la lgica filosfica, mediante procedimientos matemticos, construyendo sistemas abstractos dentro de los cuales se puedan interpretar ciertos dominios, ms o menos intuitivos, que constituyen sus modelos semnticos. Por ejemplo, un sistema de lgica proposicional bivalente, construido de manera puramente matemtica, tendr un modelo semntico en la lgica estoica, y la lgica de la proposicin analizada del Estagifita puede ser representada dentro de la lgica de la Guantificacin ordinaria. Por ese lado, es por donde se puede ver el valor auxiliar del mtodo formalista, aplicado a la historia. Sus lmites deben ser determinados por una filosofade la historia de la lgica que valore los diferentes mundos; el acmal del formalismo y el antiguo-medieval. . i : Esa es la relacin que pueda tener la lgica matemtica con la de los siglos precedentes. No es lcito ignorar la especiar relacin que tiene la lgica matemtica con la matemtica, en cuanto prototipo de ciencia formal y deductiva, .donde el concepto de demostracin estricta es fundamental en todas sus.partes. El problema de la demostracin y derivacin es esencialmente lgico. Como es algo esencial en matemtica, es natural que lgica simblica y matemticas se relacionen muy especialmente y que aqulla sea un instrumento muy singular de stas. Unido al problema de la demostracin y derivacin, va el de la naturaleza de las matemticas en general, y muchos, como el mismo Curry, incluyen tambin el tema de los fundamentos de las ciencias formales (21). Seran problemas de lgica matemtica. Pero no parece que la lgica matemtica tenga un carcter general, aplicable a todo tipo de derivaciones, ni
(20)-,E.M. Barth, M/ogZT of the articles in traditinal Philosophy (Dordrecht-Boston, 1974).5-24, 475; Ivo Thomas, Interregnm, art. Bnclyclopedy of Philosophy iNaeva.York, 1966 ss) IV, 534-.7; R. Blanch, La logique et son histoire d'Aristote a Russell (Pars, 1970), p. 169, titula ese perodo La mise en sommeil de la loquique. An desd un criterio formalista, en el s. XV y la primera mitad del XVI, sobre todo en la parte espaola, hay autores de gran categora, como creo haber demostrado en Espaa en la historia de la lgica prerrenacentista (1350-1550), La Ciudad de Dios 1&(,{W5) 12-9A:. (21) Curry, Foundations, 1-3. EL BASILISCO ;

Consecuencias en orden a la historia de la lgica

Una primera consecuencia de lo anteriormente expuesto podra ser que racionalidad rio es lo mismo que lgica matemtica. Lo lgico abarca mucho ms. Curry desde 1951 y, sobre todo, desde 1966 distingua dos sentidos de lgica: 1) Lgica filosfica. Trata del estudio de las normas y principios de razonar vlidos. Es una rama de la filosofa. Es claro que la historia de esta parcela no se puede hacer desde una opcin puramente formalista, ni desde la conviccin de que la lgica matemtica actual es toda la lgica. Eso implicara considerar la evolucin de la humanidad de una manera lineal y desde nuestra cultura occidental. Esa concepcin supone que el hombre de frica central, Asia y Amrica precolombina se desarrollan en orden a la meta de perfeccin del hombre occidental actual, tomado como modelo. ISfo podemos admitir que los chinos o los indios, grandes cultivadores de la lgica, sean inferiores o que su desarrollo ha de desembocar en algo semejante a la cultura, procedente de Europa. Una estructura social y una organizacin diferente produce distinto tipo de mentalidad y la aplicacin de nuestra racionalidad puede falsear la inteligencia de otra civilizacin. La aplicacin exagerada del mtodo formalista, mediante una neutralizacin filosfica es inadecuada en ese caso. Primero, porque es imposible hacer historia puramente neutral, ya que el formalismo es tambin una concepcin que supone una filosofa y algunas doctrinas discutibles, como la distincin entre lo analtico y sinttico. Otro inconveniente de la aplicacin de ese mtodo es que la evolucin de la lgica no va acompasada con l de la filosofa y, en algunas historias modernas, Pedro Hispano, Ockham o Alberto de Sajonia son ms importantes que Santo Toms, Escoto y an que Kanty Hegel, lo que parece una exageracin y una infravaloracin de grandes maestros de la humanidad. Bochenski deca, en 1948, que, al lado de los estoicos y escolsticos, Ni Descartes, ni Kant, ni Hegel ne meritent le nom de logicien, Cuando son autores que han producido un autntico cambio de mentalidad y son necesarios para explicar la evolucin de la lgica (19).

(18) V. Muoz Delgado, La lgica formal y su dimensin histrica, 123-32. N . Rescher, Dialectics. A controversy-ofientedapproach to the theory of Knou'ledge (Albany, 1977), concluye con esta observacin global: It is a guiding objecrive throughout this book to expound a versin of dialectic that does not put the dialectical enterprise into opposition with. sejence, but seas the dialectical.and scientific approaches to rationality as mutually complementary aspects of one unified cognitive endeavor, p. 124. (19) H . B . Curry, Outlines of a formalist- Philosophy of Mathematics (Amsterdam, 1951) 65-9; Id., Foundations ofmathematical Logic (Hueva. York-Londres, 1963) 1-5; A. Dumitriu, History of Logic YV, 224-6; I.M. Bochenski, L'etat et les besoins de I'histoire de la logique formelle, Proceedings of the Tenth International Congress of Philosophy (1948) (Amsterdam, 1949) I, 1063. 92

EL BASILISCO, nmero 6, enero-abril 1979, www.fgbueno.es

que se pueda convertir en el instrumento de todo lo racional. Son hoy muchas las voces que piensan que se trata de una disciplina especial, que no agota toda la problemtica lgica, ni mucho menos que sirva de instrumento exclusivo para hacer historia, como ya hemos visto. Y an en el caso de aceptar ese instrumento como mtodo general, sera insuficiente para entender muchos aspectos de la historia. El problema se complica cada vez ms, si consideramos no ya la pluralidad de sistemas lgicos, sino la multiplicidad de lgicas. Mientras nos movemos dentro de una lgica bivalente y puramente extensional, con las mismas reglas metalgicas, nos sentimos cmodos con la rique2a y variedad de sistemas y con sus varias interpretaciones, tanto histricas como sistemticas. Durante aos, se distinguieron como lgicas fundamentales la lgica clsica, la intuicionista y la minimal. Las tres tienen un bagaje de reglas comunes, separadas entre S por el principio de tercero excluido y el principio ex falso sequitur quodlibet, negados por la lgica minimal y admitidos por la clsica bivalente. La lgica intuicionista niega la universalidad del principio de tercero excluido y hace reajustes en algunas leyes en que entra la negacin. Desde un punto de vista filosfico y epistemolgico, las diferencias entre intuicionistas y no-intuicionistas son mucho mayores. En el ao 1912 y, sobre todo, en 1918 resurge con pujanza la lgica de la modalidad y, por el ao 1920, aparecen las lgicas polivalentes. La relacin entre ambas es algo complicado, ya que segn Lukasiewicz toda lgica modal ha de ser polivalente, mientras que otros autores creen que no es posible interpretar los sistemas modales en el sentido de Lukasiewicz. En cualquier caso, tenemos que las tautologas de la lgica polivalente y modal son tambin tautologas en la lgica ordinaria y clsica. En cambio, no todas las tautologas de la lgica bivalente son vlidas en las polivalentes. Por eso, la riqueza mayor de ideas de la polivalencia tiene que aplicarse a un campo ms restringido (22). Dentro de esas divisiones, sobre todo entre lgica modal y lgica no-modal, va otro problema que afecta a la historia. El problema est en la vieja contraposicin entre intensin y extensin. Los juntores lgicos de extensin agotan la posibilidad de construir enunciados compuestos.'' las verdades lgicas se reducen a las tautologas extensionales?. Evidentemente no. Un matemtico puede reducirse a la extensionalidad y aceptar la tesis de Frege de que no tratamos de sentidos, sino' de valores de verdad como denotaciones. Pero un filsofo no puede limitarse a eso. Los funtores del lenguaje ordinario y los de la lgica antiguo-medieval son intensionales, es decir, tienen un sentido y no slo una denotacin veritativa, como sucede con las condicionales, copulativas y disyuntivas. Si aplicamos un formalismo puramente extensional, en el sentido de Frege, a la historia, con tal traduccin empobrecemos los textos, al eliminar la intensin, y quedarnos con la extensin. As tenemos ya muchas dualidades: lgica clsica y no clsica, lgica bivalente y polivalente, modal y no-modal, intensional y extensional.
(22) Dumitriu, History IV, 178-81; M.L. dalla Chiara Scabia, Lgica (Barcelona, 1976) 42-54. EL BASILISCO

Las lgicas extensionales con valores veritativo-funcionales, se pueden llamar fundamentales, ordinarias y se definen con referencia a un estado nico de cosas, al modo de la semntica de Tarski. Las lgicas intensionales admiten una descripcin con referencia a un sistema mltiple de estados de cosas, siguiendo las lneas de la semntica de Kripke. En las lgicas intensionales hay operadores especiales, que no admiten un tratamiento puramente extensional, ni veritativo-funcional, como en la lgica modal, lgica erotemtica, epistmica, temporal, probabilstica, dentica, etc. Por ejemplo, las lgicas temporales y cronolgicas introducen una nueva dimensin, la del tiempo, de especial importancia para hacer historia. Se trata de definir, mediante razonables condiciones semnticas, los operadores temporales como el futuro, el pasado, el presente, siempre, algunas veces, etc. y elaborar clculos capaces de regular sintcticamente el uso de tales operadores al hacer inferencias. Son famosos los clculos de Von Wright, A. Prior, Cochiarella, etc. De ellos se originan peculiares tipos de lgicas polivalentes, que parecen conseguir la formalizacin de algunos aspectos de la dialctica (23). N o trato de enumerar todos los desarrollos recientes de la lgica, en su extensin a campos tenidos tradicionalmente por ajenos a la matematizacin y formalizacin. Solamente quiero decir que esos progresos, al mismo tiempo que demuestran el descontento y la insuficiencia de la lgica ordinaria, pueden dar una base formalista para interpretar parcelas de la historia. As, por ejemplo, Dumitriu piensa que el pensamiento chino antiguo se interpreta mejor desde una lgica polivalente. D. Dubarle afirma la posibilidad de formalizar la dialctica de Hegel, considerando que se ha fracasado en muchos casos, porque esas tentativas se han orientado, principalmente, a la constitucin de formalismos de lgica proposicional elemental, que son extraos a la perspectiva hegeliana, donde se trata de una dialctica de los conceptos. Para tener xito, ser necesario construir un formalismo conceptual (24). N o interesa ahora recordar los intentos de logicizar la dialctica o de dialectizar la lgica, que son muchos. Baste sealar que esos nuevos formalismos posibles seran una base auxiliar para interpretar parcelas de la historia, como lo fueron los veritativo-funcionales y puramente extensionales de la lgica bivalente. Pero, en ningn caso, bastaran para un estudio histrico completo. Las dificultades sealadas a la opcin formalista volveran ahora a repetirse aqu, quedando como un instrumento importante, pero siempre insuficiente y parcial. Por otro lado, las extensiones nuevas de la lgica demuestran precisamente

(23) Chiara Scabia, 110-14; S. Haack, Dwz'tfH Log/V (Cambridge, 1977) p. 25-46, donde esmdia las interesantes reasons for deviance. En Philosophy ofLogics (1978), la misma autora habla de filosofa de las lgicas. Para un panorama de la complicada situacin actual, sigue siendo muy importante la sntesis doctrinal y bibliogrfica de N. Rescher, Topics in Philosophkal Logic (Dordrecht. 1968). domk' .'srudia, entre otras extensiones de la lgica: lgica modal, lgica epistmica, lgica polivalente, lgica de la existencia, lgica probabilstica, lgica cronolgica, lgica topolgica, lgica de la asercin, lgica de la preferencia, lgica dentica. (24) Dumitriu, History, I, 10-11; D. Dubarle y A. Doz, Logique et diakctique (Pars, 1972) 119. 93

EL BASILISCO, nmero 6, enero-abril 1979, www.fgbueno.es

el estado de insatisfaccin que producira la identificacin entre lgica y lgica matemtica. Esos progresos contribuyen a poner en duda la unidad de la lgica y la legitimidad de la privilegiada situacin de la lgica bivalente. De cara a la historia, nuestra situacin actual se complica cada ve2 ms. Esa multiplicidad de sistemas de una misma lgica y la multiplicidad de lgicas imposibilitan cualquier absolutizacin del formalismo y acentan su carcter histrico y temporal. Esta situacin actual de la lgica abre nuevas vas de acercamiento a la dialctica. Esa distincin de Curry entre lgica filosfica y lgica matemtica nos hace ver cmo la lgica no es solamente matemtica y el progreso de sta implica la necesidad de una filosofa de ambas lgicas que explique su epifana, en distintos perodos de la historia. La lgica y el formalismo tienen historia y, como seala Joja, una historia dramtica. La filosofa no puede menos de preguntarse con Paulette Destouches-Fevrier es la lgica universal y nica, normativa a priori, arbitraria, bajo ciertas condiciones de coherencia, independiente de todo contenido y de la misma estructura del pensamiento humano o debe adaptarse a cada dominio de conocimiento, en particular a las teoras fsicas?. Fevrier est pensando en que la mecnica cuntica sugerira una nueva lgica, en orden a dominios, donde reina la probabilidad. Eso justificara las lgicas cunticas y probabilitarias, arruinando toda la concepcin tradicional de la perennidad de formalismos independientes del mundo (25). Los filsofos marxistas seran an ms exigentes, en orden a un planteo autntico de la historia. Joja, por ejemplo, distingue tres cosas: a) lgica formal filosfica, que estudia las formas lgicas subjetivas, tal como son en el proceso real del conocimiento, b) Lgica formal matemtica o simblica, que estudia tanto las formas subjetivas, como las formas noticas, que pueden expresar la variedad de las formas objetivas, estudiadas por las distintas disciplinas, c) Lgica dialctica, la unidad completa de lo subjetivo y lo objetivo, investiga las formas noticas en su valor de reflejo, como tambin las formas objetivas muy generales en relacin con su posibilidad de expresin cientfica. Es, en consecuencia, la ciencia de las leyes del desarrollo de ntegro contenido concreto del mundo y del conocimiento del mismo, la unidad de la lgica, de la dialctica y de la teora del conocimiento (26). Una historia de la lgica deber recoger los aspectos sealados por Curry ms la dialctica. La historia tanto de la lgica como de la ciencia, tienen una dimensin de pasado y otra de futuro. As como en la ciencia se habla de prediccin y retrodiccin, en la historia de la lgica podemos distinguir la historicidad retrospectiva, que permite considerar la evolucin discursiva del homo sapiens desde los procesos de hominizacin hasta nuestro das, y la historicidad prospectiva o predictiva, que permita aventurar las futuras lneas de progreso.

Hemos visto las crticas acerca de la lgica de la ciencia y las crticas formuladas por hombres como Kuhn y Toulmin. Ser muy interesante, para la historia, sacar las consecuencias pertinentes de los cambios de paradigmas o de transformaciones del pensamiento cientfico, teniendo en cuenta que la lgica es siempre un ingrediente importante de toda ciencia normal, valindose de la terminologa de Kuhn. Muguerza habla ya de racionalidad interparadigmtica e intraparadigmtica, lo que, en definitiva, indica que la historia de la lgica no puede desligarse de la de la ciencia (27). La historia de la lgica, en los aspectos puramente formales, necesita tambin tener en cuenta una importante distincin: una cosa es hacer lgica, hacer matemticas, enunciar leyes y teoremas y otra diferente es hablar acerca de ese hacer en la historia. Cuando hablamos acerca de lo formal en la historia, es necesario atender a los contextos sociales, psicolgicos, econmicos y a todas las circunstancias que han motivado su aparicin en un perodo determinado. Ese contexto circunstancial puede no afectar a la validez de una ley o teorema determinado, que contina teniendo vigencia en otra estructura social o econmica completamente diferente, como sucede en matemticas. La lgica del Estagirita puede haber nacido en una sociedad esclavista y continuar, en lo fundamental, siendo vlida en otro contexto social diferente, al menos durante mucho tiempo. Es la grandeza del formalismo (28). Una autntica historia de la lgica tiene, pues, muchas exigencias y es un ideal en gran parte an sin realizar.

(27) J. Muguerza, Lgica, historia y racionalidad, Revista de Occidente (1974) n. 138, 190-229; P. Raymond, Materialisme dialectique et logique (Pars, XSniy. todo se juega en la espinosa cuestin de las relaciones entre la lgica y las ciencias, en particular las matemticas... Para qu sirve la lgica...? Qu unin tiene con los conocimientos cientficos.' Participa de su progreso? Mejora sus instrumentos? Controla su valor?. Solamente las respuestas a esas preguntas permitirn dar un juicio sobre el imperialismo, el formalismo, el fijismo antihistrico de algunos de sus seguidores, p. 41-2. (28) Javier de Lorenzo, La matemtica y el problema de su historia (Madrid, 1977) 12-33, 111-26, donde hay importantes ideas sobre la historicidad de la matemtica, su multiplicidad y coexistencia, que son aplicables al formalismo como tal. EL BASILISCO

(25) P. Destouches-Fevrier, La structure des theories physiques (Pars, 1951) 1-7. (26) A. Joja, La lgica dialctica, 46-52; Eli de Cortari, Iniciacin a la lgica (Mxico, 1969) 21-2. 94

EL BASILISCO, nmero 6, enero-abril 1979, www.fgbueno.es

Debe abarcar todos los tipos de racionalidad a travs del tiempo. Con Dumitriu y otros, podemos distinguir, desde un punto de vista muy general, dos posibles racionalidades: a) El logos eletico. Sera la racionalidad de lo dado, lo inmutable, la racionalidad fija, donde predominan la identidad y la no-contradiccin. Una autntica historia deber recoger la aparicin de esa lgica, codificada en los griegos y matematizada en los modernos. Es la racionalidad occidental. Dentro de ella habr que explicar los sucesivos cambios, las razones del mismo, el influjo de la estructura social y econmica en cada perodo, atendiendo a los mltiples aspectos sealados y al influjo de la ciencia, b) El logos heraclieo. Es otro tipo de racionalidad, en permanente evolucin, que se desarrolla destacando especialmente las transformaciones. Es la lgica de la diversidad, lgica de los opuestos. Es el tipo de racionalidad predominante en el mundo marxista. Una lgica de la diversidad, seala Dumitriu, deber contener unas categoras dialcticas, una hermenutica dialctica, razonamiento dialctico y sofismas dialcticos. Es decir, deber ser un novum Organum, an enfieri. Dimitriu afirma: de Tales a Aristteles, es decir hasta el Organum, transcurren ms de 250 aos. De Hegel a nuestros das solamente han pasado 150 aos. Parece, por ende, razonable formular la hiptesis de que, en la prxima centuria, se constituir el Organum dialctico, si realmente es posible (29). Intentos no faltan. Como las dos racionalidades estn en mutua interaccin, ser necesario que la historia tenga muy en cuenta la evolucin de los dos logos, como algo complementario. Dentro de cada aspecto, el historiador deber atender a la filosofa y a la ciencia, a los contextos sociales y econmicos, al mundo oriental y al occidental, en todas sus fases de desarrollo. La lgica y su historia tendrn sentido, si nos muestran las condiciones ambientales en que aparece. Ser completa si atiende a todos los aspectos. Deber explicar cmo llega a convertirse en disciplina independiente, cmo se convierte en Organum y cmo cambia en el tiempo, deber estudiar los lgicos y pensadores ms importantes e indicar sus concepciones, sobre la base de los textos y de sus diferentes contextos, sin proyectar sus propias ideas. As concebida la historia de la lgica, podemos decir que se trata de un desidertum, a pesar de los numerosos e importantes trabajos (30). Una de las historias ms completas es, en este sentido, la de.Antn Dumitriu, profesor de lgica en la Uni(29) Diunitriu, History,m., 229-33, 308-9; E. V. Ilienkov, Lgica dialctica (Mosc, 1911), en la conclusin afirma: hemos procurado slo ventilar una serie de condiciones y premisas para el trabajo posterior en esta direccin que, sin duda, debe ser colectivo... La creacin de la Lgica, comprendida como un sistema de categoras constituye apenas una etapa. El paso siguiente debe ser la realizacin del sistema lgico en la investigacin cientfica concreta... Se requiere una alianza de l dialctica y las investigaciones cientficas concretas, comprendida y realizada, como una colaboracin prctica de la filosofa y las ciencias naturales, de ia filosofa y las esferas histrico-sociales del conocimiento, p. 409. Es decir, la tarea de la primera etapa est an en vas de realizacin, el exponer sistemticamente la lgica marxista-leninista. Ib. (30) Dumitriu, History, I, IX-XIL EL BASILISCO

versidad de Bucarest, que presento, brevemente, en el apartado siguiente.

5. La Historia de la Lgica de Antn Dumitriu

Es la primera historia que se escribe, con este sentido integral e integrador. La primera edicin se publica en Bucarest 1969, con el ttulo Istoria hogicii y en 1975, en la misma ciudad, aparece la segunda edicin revisada y aumentada. Es un imponente volumen de 1.212 pginas (31). Pero el gran acontecimiento es que ha sido traducida al ingls, obteniendo as una mayor audiencia, por tratarse de una lengua ms universal, y haber sido muy mejorado el texto y el arte tipogrfico. Se titula History of Logic (Tunbridge Wells, Kent, Abacus Press, 1977), distribuida en cuatro volmenes. El primer volumen se divide en tres grandes partes: la lgica en las culturas no-europeas (mentalidad primitiva. China antigua, India); la lgica en Grecia (presocrticos, sofistas, Scrates y Platn con las escuelas socrticas, Aristteles y la escuela peripattica, los estoicos, los epicreos y la nueva Academia); retricos y comentaristas (lgica y retrica en Roma, escolasticismo antiguo con los comentaristas griegos y latinos hasta Casiodoro). Son 342 p. repletas de citas de textos originales y de mucha bibliografa, precedidas de un juicio sumario acerca de las principales historias de la lgica. Al final de cada parte, van unas conclusiones generales como resumen, basadas en gran cantidad de documentacin, sobre autores que no aparecen en las historias generales. El vol. II desarrolla en dos partes: la lgica escolstica (formacin de la escolstica con la aportacin rabe, juda y cristiana, lugar de la lgica entre los saberes medievales, los universales, terminologa, parva logicalia, propiedades de los trminos, syncategoremata, consequentiae, insolubilia); lgica del Renacimiento (aristotelismo renacentista, lgica del humanismo). Son 266 pginas de increble erudicin, donde se recogen los trabajos, influidos por la opcin formalista, pero atendiendo a los textos impresos y manuscritos, a la ciencia, a la filosofa y teologa, principales escuelas y universidades, etc. El vol. III contiene dos partes principales: la lgica metodolgica (comienzo de la ciencia experimental, Bacn, Descartes y el poscartesianismo hasta nuestros das, la ciencia contempornea y sus problemas, las nuevas dialcticas desde Meyerson hasta Lupasco y Theillard de Chardin, la ciencia como lenguaje desde Wittgenstein hasta Toulmin, la nueva semitica, induccin y probabilidad, lgica de la investigacin desde Campbell y Popper'hasta Kuhn y StegmUer, Laicatos, etc.); desarrollo de la lgica moderna (de Leibniz a Kant, lgica transcendental, lgica de Hegel, reacciones al romanticismo desde Kant a nuestros das, dialctica materialista hasta nuestros das, el psicologismo en la lgica y corrientes relacionadas, fenomenologa y lgica pura). Son 394 pginas, que atienden a
(31) Ya muy utilizada en las pginas anteriores. Un resumen de a concepcin de A. Dumitriu, sobre la edicin de 1969, en V. Muoz Delgado, La lgica y su dimensin histrica, p. 117^20; Luis Villegas, La historia de la lgica de Antn Dumitriu, Estudios filosficos 21 (1972) 449-55. 95

EL BASILISCO, nmero 6, enero-abril 1979, www.fgbueno.es

tantos aspectos relacionados, omitidos en las historias formalistas.

te, dejando hablar a los textos y a sus grandes expositores sin estridencias. Dumitriu llama a su mtodo integrador y es una denominacin muy acertada, porque no parte de un tipo de mentalidad estereotipado que inutilice para entender culturas y civilizaciones distintas de nuestro mundo. Seala las exageraciones de los que parten, tanto de la ciencia actual como de la lgica matemtica, proyectando esas ideas sobre otros medios completamente distintos. Dialctica y lgica tienen cabida en est historia, sealando no solamente la historia retrospectiva sino aventurando tambin prospectivas futuras. No, hay un concepto unvoco de lgica, ni tampoco de ciencia. Se trata de tener en cuenta todas las contribuciones, relacionarlas e interpretarlas. La historia abarca todos los factores que han contribuido al desarrollo de la lgica. La lgica es la totalidad de su propio devenir, la suma integral de todos los momentos de su historia. La lgica, dice, es su historia y la historia de la lgica es la misma lgica. La mayora de las historias que tenemos son parciales, la de Durnitriu es completa, global, integradora. N o es ni matemtica slo, ni exclusivamente filosfica, no es esttica ni dinmica, sino todo eso a la vez. La historia de la lgica es el devenir expansivo del logos en el mundo. Ese logos tiene un nmero indefinido de modalidades y es la suma de todas ellas. Esas modalidades aparecen, a veces como opuestas, pero son complementarias. Esa complementaridad de todas sus fases, de sus varios horizontes y aspectos conduce a la comprensin completa de esta disciplina y de su historicidad. Desde un punto de vista muy general se puede ver, a travs de la historia esta complementaridad: la lgica como anlisis del mecanismo del pensamiento (el logos como ratio) y la lgica como anlisis del mecanismo de la expresin, en la cual se incorpora el pensamiento {logos como sermo). Son complementarios sermo y ratio no deben separarse. El pensamiento tiene capacidad para reflejar todas las cosas, pero tambin para reflejarse a s mismo. Por eso, el pensamiento del pensamiento, como dijeron los griegos y los escolsticos, es una funcin tpicamente lgica. l logos es la lgica de lo idntico, pero tambin de lo diverso, permitiendo incluir dos aspectos igualmente complementarios (32). En esa conjuncin de temas lgicos, dialcticos, filosficos y metodolgicos encuentra Dumitriu los momentos ms importantes de la manifestacin del logos en la historia. Todos los momentos son algo vivo, de manera que en lgica no hay arqueologa, ni restos de museo. Todos los aspectos y sus manifestaciones son algo valioso, como manifestacin del alma espiritual que est debajo. Las condiciones sociales y econmicas son muy importantes, como sealan los marxistas, para explicar esas xplicitaciones del logos, pero debajo de todo est la vitalidad del hombre que intenta dominar el mundo, para ponerlo a su servicio. H e querido sealar el horizonte de esos cuatro volmenes de historia, limitndome a una caracterizacin. Pienso, en mejor ocasin, volver con detenimiento a comentar cada una de sus partes y aportaciones.
(32) Dumitriu, Ib. IV, 259-66. EL BASILISCO

Finalmente, el volumen IV est consagrado a la/g/c? matemtica (periodizacin, Lulio, Leibniz, lgebra de la lgica, Frege, Peano y la escuela kaia.na., Principia Matbematica, paradojas lgico-matemticas, desarrollos hasta nuestros das, lgicas polivalentes, el problema de la decisin, la tcnica formal a nivel de sistema y metasistema, consideraciones generales, reacciones ante la lgica formalizada en autores como Piaget, Poirier, Blanch, Sesmat, Onicescu y los intentos de formalizar la lgica dialctica). Finalmente, un ltimo captulo dedicado a inferir las conclusiones generales de toda la obra. Son 276 pginas. Este ndice del contenido de la obra y de su estructura es muy elocuente y nos indica que se trata de una autntica historia, con sentido de la verdadera historiografa, que cumple gran parte de las condiciones exigidas por nuestras reflexiones anteriores. S recogen los anlisis de los formalistas, pero se hacen reajustes desde otras perspectivas, por ejemplo, en la interpretacin de Lukasiewicz de la silogstica aristotlica, de la lgica estoica y de la visin de Bochenski-Bobner de la escolstica. Se ve mejor la continuidad de la escolstica y del mundo griego. En ambos mundos, hay las dos vertientes del /ogw, que son sermo y ratio, que se complementan sin separarse. Se atiende a la lgica de la ciencia, en todos sus aspectos, indicando su enorme riqueza. Se estudian las concepciones de filsofos y cientficos sobre la naturaleza de la lgica, describiendo su aportacin. Quedan integradas grandes corrientes filosficas, omitidas en otras historias, y se estudia el contexto social que explica la aparicin de las distintas mentalidades. Hay factores que influyen en el camino que sigue el pensamiento. Hay un modelo de pensamiento en que florece la lgica matemtica, que no se puede aplicar a los escolsticos y a los griegos y menos a los chinos antiguos o a la India. La historia es as algo con sentido. En todo brilla una concepcin general de la lgica, rica y amplia, que permite englobar a Oriente y Occiden96