THenara REVISTA DE Fuiosorta, Nim. 29, 2002 LEIBNIZ Y LA LOGICA Julian Velarde Lombrafia. Universidad de Oviedo Resumen: En este trabajo se resefian y comentan las investigaciones realizadas en Espafia, durante los tiltimos 30 aftos, en torno a «la Iégica de Leibniz». Hemos agrupado, para su tratamiento, los temas espectficos de a légica leibniziana en los siguientes apartados: (1) Lacaracteristica. (2) La lengua universal. (3) Los calculos. (4) La Ciencia General (Enciclopedia): método de andlisis / sfntesis. (5) La verdad. ©) El panlogismo Abstract: This paper isa commented review of the studies about Leibniz's Logic made in Spain during the last thirty years. In order to achievea better treatment, Ihave divided the specific topics of Leibniz's Logic in the following sections: (1) Characteristica; (2) Universal Language; (3) Calculis (4) General Science (Encyclopaedia): method of analysis/synthesis; (5) Truth; (6) Panlogism. 0.-Introduccién Latarea que se nos ha encomendado es una resefia de las investigaciones realizadas en Espafia, durante los iltimos treinta afios, sobre la Logica de Leibniz. Y ello bajo el supuesto de que ottos se ocupardn de otras parcelas de la obra de Leibniz. Pero, bajo este supuesto, Ja primera dificultad que se nos presenta es la de delimivar nuestra carea, i. e., en la obra de Leibniz, ;qué abarca su ldgica? Aun sin llegar al extremo superior —interpretacién panlogista como la de Couturat y Russell—, es evidente (y asi lo reconocen todos los historiadores de la logica) que para Leibniz la légica constituye el método general aplicable a todos los ambitos del saber, haciendo posible la unificacién de todos ellos en la Enciclopedia, ideal filosdfico de Leibniz y ocupacién constante en su vida. Esbozaremos el siguiente esquema de los limites de la ldgica en la obra de Leibniz, (Velarde 19892: 166-206), aun siendo conscientes de que tales imites son difusos: Leibniz es considerado el precursor de la ldgica formal moderna por dos razones fundamentales: Primera, por su idea que inspira la elaboracién de una characterstica universaliso ideografia lbgica (en tanto que establece una correspondencia biunivoca entre ignos simples ideas simples y entre sighos compuestos e ideas compuestas) es considerado el precursor de la légica simbolica moderna. Y, segunda, por sus investigaciones sobre un calculus ratiocinator (en el que las operaciones ldgicas pueden ser sustituidas por operaciones mateméticas) es precursor de la légica matemdrica. El tema de la caracteristicase escinde en dos: el de una lengua caracteristica (una ideografia) y el de una lengua (hablada) universal. Por otra parte, el calculus ratiocinatorha de set, segiin Leibniz, un procedimiento mecénico (visible) que conduzca el razonamiento y la invencién sin incertidumbre y sin error, tanto en metafisica y en moral como en geometria y en anilisis, de manera que los multiples célculos (entre los que se encuentran como mis ilustrativos de los matemiéticos el célculo infinitesimal y el calculo geométrico) son todos ellos especies218 Thémata. Revista de filosofia, Niimero 29, 2002 del célculo general 0 ciencia de las formas, que posibilita la «esencial calculabilidad de todas las cosas». Entre los célculos particulares iniciados por Leibniz y mas atinentes ala Iégica moderna estén: el silogistico, el proposicional, el de relaciones, el binario y el de probabilidades. La concepcién que Leibniz tiene del célculo general se apoya en su ideal de la unificacién del sabery en el convencimiento de a posibilidad de una ciencia general o Enciclopedia. La ciencia general constituye toda la Iégica de Leibniz, quien aconcibe, en este sentido amplio, como el método general aplicable a todas las ciencias. En cuanto tal, comprende dos partes: La légica demostrativa y la légica inventiva, confundiéndose, asf, con el doble método (seguro, sistematico y en orden progresivo) del analisis y de la sintesis, que sirve, respectivamente, para demostrar las verdades ya descubiertas y para descubrir verdades nuevas. La idea de verdad en general, los tipos de verdades y sus sistematizacién constituyen, asf, temas de la légica leibniziana. Y, finalmente (0 inicialmente), estd el tan discutido panlogismo de Leibniz: la relacién entre su légica y su metafisica. En resumen, segtin el esquema anterior, los temas especificos de la légica leibniziana (y organizadores de nuestra exposicién) serfan los siguientes: (1) La caracteristica, (2) La lengua universal. (3) Los edleulos, (A) La Ciencia General (Enciclopedia): método de andlisis/ sintesis. (5) La verdad. (6) El panlogismo. L.- La caracteristica En Espafia, el investigador que més ha ahondado en el pensamiento légico de Leibniz, desarrollando sus ideas seminales, es Miguel Sanchez Mazas. Segtin él (Sanchez-Mazas 1980: 68), la caracteristica universal de Leibniz y de manera mds precisa su caracter(stica numérica tenia, en el espiritu de su autor, un fin esencial: proporcionar un método de decisién que permite demostrar verdades o verificar consecuencias en todas las materias sujetas al razonamiento humano. Sdnchez-Mazas no sélo investiga las aportaciones de Leibniz en este terreno, sino que, ademés, simplifica, desarrolla y perfecciona los proyectos leibnizianos de la caracteristica (Sénchez-Mazas 1953a, 1953b, 1988, 1991, 1992a, 1992b, 1994). Sanchez-Mazas (1955, 1963) desatrolla los célculos leibnizianos «de segundo tipo», en los que a cada nocién es asociado un par de ntimeros caracteristicos. Sanchez- Mazas (1979,-1980), en el contexto de estos célculos «de segundo tipo», simplifica la aritmetizacién leibniziana dela silogistica, mediante la traduccién aritmética dela tercera operacién fundamental para el célculo intensional de las nociones y de la silogfstica, la negacién (ademés de la combinacién de las nociones a y 6, como el minimo comin miiltiplo de los ntimeros caracteristicos A y B;y la alternativa de dos nociones ay bcomo el maximo comtin divisor de los nimeros caracter{sticos Ay B), tratando esta operacién monaria a través de la nocién de imposible (a y no-a, equivalente intensional de la clase vacia, con el ntimero caracteristico F = P,x.... x P, = [Np «., N,Jen donde Pp ..., Py son los ntimeros caracteristicos asociados a las nociones primitivas) y de la nocién del universal (el término ente, con ntimero caracteristico I, la unidad aritmética). De manera que para calcular, en funcién de las dos constantes 7 y F, el niimero caracteristico “FT dela negacién de la nocidn h (por ejemplo, 10-hombre) basta considerar que los nuimeros Hy 7H deben satisfacer las ecuaciones siguientes: La combinacién de dos nociones opuestas hy shes la nocién falsa o irreal f (47h) = fy la operacién aritmética correspondienteTreinta atios de estudios leibnizianos 219 enel modelo, ie.,el minimo comin miiltiplo de Hy +H debe ser igual al nimero pleno F (el ntimero natural maximo del conjunto de los ntimeros caracteristicos representativo del sistema considerado, y que Sénchez-Mazas llama el ntimero hipersaturada). Por tanto, [H, 3H] = Fry la alternativa de dos nociones opuestas h y +h es la nocién universal u: (hu +h) = u, cuyo ntimero caracteristico es la unidad (factor comin de todos los ntimeros del conjunto), y la operacién aritmética correspondiente en el modelo, i. ., el maximo comtin divisor de Hy >H debe ser igual ala unidad. Por lo tanto (H’, +H) = 1. Ademds, puesto que el producto Hx +H de dos mimeros naturales es igual al producto de su minimo comtn miiltiplo [H, +1] y su méximo comtin divisor (H, +4), obtenemos Ja siguiente ecuacién: Hx sH = (H, -H] x (H,, 3H) = Fx 1 = F. Por lo que el nimero caracteristico ~H de —h (negacién de 4) puede ser calculado asi: aH = F/H. De esta manera, la representacién de los cuatro tipos de proposiciones silogisticas es como sigue: A: Omnis homo est rationalis. [H , aR) = F E: Nullus homo est lapis: (H_ , L| = F FE: Quidam homo est doctus (H , D) + F O: Quidam homo non est doctus: [H , sD] + F. Esta representacién permite una aritmetizacién coherente de toda la silogistica, y «lo hace, ademds, del modo mds sencillo posible, es decir, sobre la base de la asociacién de un solo nttmero caractertstico a cada concepto y sin recurtir, pues, a asociat acada concepto un par de ntimeros caracteristicos, como Leibniz se resigné a hacer en los cdculos légicos del «segundo tipo», aunque tan infructuosamente como en el caso de los del «primer tipo» (Sanchez-Mazas 1992b: 211). Ademds, con la representacién aritmética de la negacién de un concepto (0 proposicién), Sanchez-Mazas reduce el célculo del «segundo tipo» aun cilculo del «primer tipo» enriquecido con el ntimero maximo o hipersaturado. En efecto, el segundo mimero caracteristico del par asociado por Leibniza cada concepto no es independiente del primero, sino que puede siempre obtenerse a partir de éste y del mimero hipersaturado F, que es una constante. De esta manera cabe obtener una aritmetizacién de las nociones (proposiciones) en correspondencia con un dlgebra de Boole numérica de los divisores de un ntimero, m{nimo comin miltiplo de todos ellos. ‘SAnchez-Mazas (1991, 1994, 1996) da un paso mds en el desarrollo y perfeccionamien- todela caracteristica numérica, pasando del modelo anterior (élgebra de Boole numérica de los divisores de un ntimero) a otro: Algebra numérica, que, en los casos finitos, es isomorfa con la primera, pero que no se ve —como la primera— anclada en lo finito, sino que admite una versién con infinitos nuimeros, y puede, por tanto, utilizarse para la aritmetizacién de sistemas ldgicos con infinitas variables. Este modelo de caracteristica es como sigue: El conjunto de los ntimeros racionales del intervalo semi-abierto (0, 1[ (conjunto de los componentes binarios del nimero maximo, suma de todas las potencias negativas de 2) representa el conjunto de conceptos (0 proposiciones). Sanchez-Mazas elige, entre los distintos sistemas de numeracién de 2" , el hexadecimal (de base 16 = 2) para representar en él las potencias negativas de 2. Y en esta base representa las tres operaciones siguientes: (1) minimo compuesto binario comtin (o supremo binario) para la combinacién de conceptos (0 conjuncién de proposiciones); (2) maximo componente binario comtin (0 infimo binario) para la alzernativa de conceptos (0 disyuncién de proposiciones); y (3) complement binario (o diferencia aritmética entre el ntimero maximo del conjunto y el ntimero caracter(stico del concepto negado) para la negacién de un concepto (de una proposicién).