El orden de lo contingente: una aproximacin a la nocin de verdad contingente e inductiva en el pensamiento de G.W. Leibniz.

Introduccin.

En el presente trabajo, a partir de una lectura del De Arte Combinatoria (DAC, 1666) que ha puesto nfasis en algunos tpicos que anticipan el desarrollo posterior del pensamiento de Leibniz (Secc. I), espero elucidar con sus obras maduras- el tipo de razones que proveen de verdad a proposiciones contingentes y que, as, hacen posible interpretar el fundamento metafsico del anlisis diferencial e infinitesimal (y su correlativo y posterior desarrollo en matemticas), con especial nfasis al desarrollo temprano de la axiomtica para el procedimiento inductivo (Secc. II). Desde esto, dejar pendiente presentar, en virtud de una interpretacin propensionista del concepto de probabilidad, una nocin del principio de razn, depurada -en lo posible- de consideraciones causales y personalistas (Secc. III), justificando en trminos lgicos su dependencia del principio de lo mejor, para el mbito de las series contingentes (Secc. IV), en trminos de una nocin de equilibrio. Esta interpretacin, por lo cierto, consta de un supuesto. La continuidad entre ciertos aspectos tericos de la obra de Leibniz sobre el argumento inductivo y el efectivo desarrollo posterior en las ciencias de dicho argumento. I Si quisisemos centrarnos en un par de aspectos para dar luces del desarrollo filosfico que da cuenta del nacimiento de una lgica matemtica moderna, en lo propiamente distintivo de la tradicin dialctica escolstica (aunque no se separe del todo de dicha tradicin en la reflexin filosfica), un buen punto de partida es la nocin de sujeto lgico que mienta una variable al interior de una ecuacin. Ms aun cuando hoy resulta normal en el estudio escolar de disciplinas asociadas a las matemticas, contar con una herramienta como el clculo diferencial, con la formalizacin de una idea de infinito actual o frmulas por medio de signos, abarcando el mbito de la formalizacin lgica. A partir de la concepcin que Leibniz tiene del ente y sus afecciones (metafsica)1, en una obra temprana como el DAC2, sta relacin (ente-afeccin) se expresa en argumentos que la vehiculizan como S-P, la que ya no es pensada en trminos de los diez categoremas tradicionales, es decir, como diez modos diversos de ser (y verse afectado) el ente, modos de ser-diverso de la predicacin3, sino como una relacin
Hay que resaltar que si bien este anlisis metafsico se distingue del algebra en cuanto, sta ltima, trata de las formas aplicadas a la cantidad, i.e., a lo igual y desigual, y no de la cualidad, semejanza y desemejanza, sin embargo busca -a mi juicio- de manera anloga suponer toda relacin predicativa, a una relacin de carcter numrico con alcances metafsicos en la nocin de infinito y posibilidad, al menos, en su carcter de variacin respecto a un todo que consta de partes. 2 Utilizar la versin directa del latn del DAC de Correia (2002). 3 Witt (1989. p.41 y ss.) pone la discusin sobre las interpretaciones posibles sobre lo que mienta esta distincin en 10 categoras, en dos direcciones: como modalidades de ser (kind of beings) o modalidades de ser-diverso (being differs), este ltimo en el sentido de en qu difiere (ser) Scrates y (ser) de 5
1

numrica todo-parte. Este nmero, el ente o la cosa como lo denomina Leibniz, es pensado -con la tradicin inmediata- como una combinacin (complexio)4, siendo, en rigor, modalidades de variacin (complexiones o de lugar), que nos presentan el argumento lgico, la proposicin, al servicio de sujetos que son unidades de elementos, reales e ideales, cuyo entramado se articula, en el orden axiomtico de la exposicin de teoremas, con necesidad hipottica, para el caso de la induccin; lo ms interesante resulta entender esta recepcin que hace de la proposicin, como una articulacin que puede presentarse ex hiptesis con pura notacin matemtica, introduciendo desde ya una equivocidad en el trmino nmero que, por una parte, nombra el papel que juega el sujeto lgico (y derivadamente el predicado como relata) y, por otra, la predicacin en cuanto relacin u orden (operacin). En esta ltima, introduce la nocin de serie (de sucesos, por ejemplo) y la nocin de conjunto. En ambos momentos pueden ser calculados sus posibles combinaciones, por ejemplo, dado el nmero de cosas (exponente). En este contexto, si se toma la relacin como absoluta, la llamamos cualidad, si se la toma como relativa, la llamamos cantidad (si va de la cosa a su parte) o relacin (si va de una cosa a otra), pero hablando ms rigurosamente, si se supone la parte como diversa del todo5, tambin es una relacin la cantidad de una cosa relativa a su parte (nfasis mo DAC 2)6. Claramente cosa aqu mienta un todo de partes. Es, en este sentido, que hablo de una relacin de orden numrico, que hay que entender a la luz del hecho que, una determinada afeccin de un ente (es decir, ya en el plano de los conceptos), es comprendida como una parte, primero, en el sentido de complexiones y variaciones tpicas entre especies y gneros, dentro de argumentos y, as, en demostraciones, momentos que interpretaremos, para el intento de abordar la induccin por teoremas, con una nocin de individuo lgico, inserto en una serie de eventos posibles que designa y regula el nmero, y que caen como partes de estas especies lgicas (sortales). El individuo lgico es un evento de una serie o de un conjunto ordenado de alguna manera, y la manera cmo es ordenado puede ser expresado en una caracterstica matemtica, por ejemplo, por medio del clculo de probabilidades, dadas ciertas condiciones, lo que dejar pendiente. Lo ms interesante hasta aqu es, por lo pronto, el planteo de Leibniz en el DAC. En sus Definiciones (10), un aspecto notable que dar ms luces con la idea de infinito que le provee la matemtica7, seala que para que, por su parte, cierta complexin se determine, el todo mayor debe ser dividido en partes iguales supuestas como mnimas (nfasis mo). En el caso de verdades analticas, como las que tiene el mtodo divisorio en la bsqueda de gneros y especies, el nmero de partes es finito, dado un
pies, apuntando a unidades genricas que apuntan a diferencias de ser, lo que en la primera interpretacin no ocurre, ya que no hay diferencia en eso de ser, siendo ser algo fijo y unvoco (p.42). En este horizonte cabe notar cmo los predicables magnitud, movimiento y figura son los ms explotados desde esta nueva perspectiva. 4 El concepto de combinacin (complexio), que se expresa actualmente con la frmula del coeficiente del binomio n!/r!(n-r)!, lo atender, en vistas a exponer cmo en Leibniz encontramos anticipado los requerimientos metafsicos y lgicos para el desarrollo de una renovada concepcin de la ciencia, donde los sujetos pasan a ser factores de una ecuacin. 5 Para los efectos de nuestro presente anlisis este lo llamara el primer axioma de una lgica del todo y las partes. 6 Tmese, en este contexto, como Def. de nuestro anlisis: la cantidad es una relacin de una cosa relativa a su parte. 7 Hay cierto consenso que Leibniz realiz un estudio riguroso de matemticas, posterior en unos 20 aos al escrito del DAC, cuando vivi una estancia de 4 aos en Francia, bajo el alero de Huygens. Sin embargo, hay que resaltar que la en sus definiciones el perfil claramente matematizante del DAC en la que inserta ya una referencia a Isaac Barrow (Def. 20), quien fue el maestro de Newton.

nmero finito de elementos. Pero cuando los elementos son infinitos, como las series contingentes, cabe la pregunta cmo se puede suponer un mnimo que sea infinito8. A esto se orienta fundamentalmente la reflexin en matemticas posterior, desde los hermanos Bernoulli hasta A. Robinson en el siglo XX. As, en su logica inventiva encontramos el anlisis dividido en dos partes, en lo que respecta al tipo de problemas que se plantea, una que trata con universales y que tiene que ver con la teora de las complexiones, y otra que trata con particulares, que es la teora de las variaciones de lugar, que es una teora de las proposiciones, que se funda en la primera (DAC 10) y que no hay que confundir con las verdades contingentes. Universal y particular, todo y algn, son cuantificadores de la proposicin, las cuales son todas com2naciones (DAC 55). Se puede, por ende, tanto componer como disponer, respectivamente. La primera, composicin-complexin, a su vez, puede ser absoluta o particular, del mismo modo que la disposicin o variacin de orden o lugar (permutacin). Las Divisiones, como un procedimiento analtico, tratan con trminos simples, i.e, gneros y especies, y sus aplicaciones (Usos) son triples (DAC 11). (a) dado el principio de la divisin hallar sus especies (b) dadas muchas divisiones del gnero hallar sus especies mixtas (c) dadas las especies hallar los gneros subalternos. Por otra parte, para el caso de las proposiciones, trminos complejos, tienen dos aplicaciones9 (d) dado un sujeto hallar sus predicados (e) dado un predicado hallar sus sujetos, sean afirmativos como negativos. Estos problemas y sus usos tienen que ser concebidos a la luz del planteamiento del DAC en su totalidad. Primero, hay que pensar cmo Leibniz concibe que podemos descubrir cuntos y cules conceptos constituyen un entramado conceptual determinado para diversas disciplinas, por analoga a la geometra (como una suerte de dialctica matemtica)10, en trminos tales que, a priori, es decir, por un anlisis conceptual numrico, determinamos las relaciones entre los trminos del argumento, como factores variables, en una situacin donde encontramos al menos tres instancias aritmticometafsicas del ente (i.e. de la relacin)11: equivalencia, inclusin y pertenencia. Respecto al primer punto, la equivalencia, esto lo vemos en el anlisis cuando podemos explicar un sujeto del tipo AAB como AB o A como AB donde A es equivalente a B, etc., y que Leibniz entiende como una reduccin a proposiciones idnticas, que al final son proposiciones no demostrables o axiomas para la demostracin. En conformidad, en el DAC Leibniz afirma que todo puede ser dividido tanto en partes reales, como ideales (DAC 23), al mismo tiempo que adopta esta antigua posicin

En DAC 6, Leibniz seala que los escolsticos creyeron falsamente que el nmero nace de la sola divisin del continuo y que no puede aplicarse a las cosas incorpreas. Al contrario, el nmero es algo como una figura incorprea que nace de la unin de cualquiera de los entes, p.e. de Dios, del ngel, del Hombre, del movimiento que juntos son cuatro. 9 Entonces, con todo, el arte inventiva se enfrenta al problema que, dado un sujeto cualquiera, debe poder encontrarse los predicados, o bien el sujeto, en el caso de predicados dados (DAC 56). Esto debe hacerse en compaa de un mtodo analtico (DAC 64). Cualquiera sea el caso, los predicados son clases de cosas, por eso digo que se mueven en un plano conceptual, sin desmedro que Leibniz seala que las cosas, en sus relaciones reales, tambin tienen partes: por ejemplo, tomos o molculas. 10 Leibniz se refiere a la clasificacin de los modos del silogismo categrico, empresa que inici Aristteles, como un ejemplo de complexiones. 11 Leibniz enfatiza que el nmero es un universalsimo y pertenece con razn a la metafsica (DAC 7).

aristotlica, que hay principios que son indemostrables12; en este contexto, Leibniz acepta la distincin substancia-accidente13, a partir de la cual sostiene esta teora de las variaciones, como una doctrina metafsica, distinguindola de la aritmtica, introduciendo la equivocidad mencionada arriba en el trmino nmero. Primero, hay que notar una estrecha relacin entre la equivalencia con la inclusin, en la medida que los conceptos, sujetos o, como aqu se los llama, nmeros, unos son ms grandes que otros, ya que, en la unin, por su parte, las cosas, entre las cuales existe relacin, se llaman partes, pero tomadas en unin, se llaman todo (DAC 3), entonces estos nmeros son totalidades, y hay totalidades menores y mayores. La cantidad, en este contexto, es el nmero de las partes (DAC 5, nfasis mo). Ahora bien, el todo mismo (y as el nmero o la totalidad) puede ser dividido en partes totales menores, lo cual es el fundamento de las complexiones (DAC 7). Entonces un nmero seala, por ejemplo, los diversos tipos de variar la inclusin, segn dejemos, por ejemplo, al interior de un argumento (proposicin)14 un factor invariable y tengamos el exponente o nmero de cosas15 de dichas totalidades sujetas a cambio en sus posibilidades de combinacin. Aqu cosa nombra ente y ambos denotan una relacin numrica. Finalmente, mencionemos la pertenencia, la contraparte de la inclusin. Es la relacin vista, no desde lo que abarca o comprehende un concepto, a saber, del sujeto, sino que desde lo abarcado (su extensin), a saber, desde las notas o predicados especficos de dicho sujeto que poseen individuos concretos. Sealo estos tres puntos, porque nos sern de gran utilidad para interpretar el tipo de argumento que, por una parte, Leibniz recoge de la tradicin, pero que la renueva, por ejemplo, en la forma de ecuaciones diferenciales. Si vemos detenidamente estos tres momentos tienen hoy su lugar en la formalizacin escolar de una teora matemtica: ecuacin, conjunto, pertenencia. En este contexto, las proposiciones o son afirmativas o negativas, lo que, si agregamos que Leibniz tiene en vistas la silogstica aristotlica, como teora complexiva, nos muestra cmo se conecta este punto con la conversin que pueden sufrir las proposiciones cuando ya hemos hecho mencin del cuantificador, al interior de un argumento. Esto ancla lo que Leibniz seala como la cpula (t est) de la predicacin, como afirmar y negar, y que no es sino un sumar y restar, respectivamente (en una com2nacin como + o -), con el hecho que los nmeros mientan totalidades al interior de un argumento. En este contexto, si consideramos que la definicin de algo praedicatum inest subiecto, y, por ende, donde toda definicin (juicio verdadero) es un
Ver Correia, Manuel, Metaphysics in De arte combinatoria of G.W. Leibniz. Cfr. An Post. I, 22, 84 a 31. 13 Leibniz define la variacin como un cambio de relacin, donde cambia la substancia, la cualidad y la cantidad (DAC, Definiciones), pero nada ms cambia en una cosa, sino slo el respecto, el lugar, o la conjuncin (de stos) con algn otro aspecto. Por ende, sin negar el cambio sustancial, como seala Correia, una variacin cualquiera, ya sea la complexin o del lugar, es un cambio accidental del ente, que compromete en ste el aspecto bajo el cual se ordenan o agrupan los elementos del Todo (respectum), o bien el orden en el que se supone (situm), o bien en ambos aspectos. DAC, p.32. n.5 14 Uso sinonmicamente argumento y proposicin, como en matemticas cuando decimos, por ejemplo, que =arctang (a/b) es un argumento del nmero complejo. 15 La complexio o combinatoria es la combinacin de cualidades o atributos de una naturaleza determinada, por lo que una combinacin es el grupo de exponentes mayores o iguales a uno. As, la complexio de exponente 4 es un grupo de 4 elementos. Un sistema complexivo, en este contexto, es un ordenamiento de grupos de diferentes exponentes. Ver Correia, Manuel, Categorical Propositions and logica inventiva in Leibnizs Dissertatio de arte combinatoria (1666) p .233 n.2 En conformidad al sentido metafsico que aqu se ha expuesto, la primera ordenacin es la unin, la segunda, la com2inacin y, as, sucesivamente, donde el nmero es el mismo todo abstracto (la unidad) de las unidades (DAC 5).
12

juicio analtico, cabe pensar qu tiene en vistas Leibniz (DAC 63) cuando nos dice, aludiendo a Hobbes,
que toda obra de la mente era clculo, y que por ella se obtiene la suma agregando, o la diferencia sustrayendo (Elem. de Corp. p.1 c.1 art.2). Del mismo modo, por tanto, dos son los signos primarios de los algebristas y de los analticos + y -, as tambin dos las cpulas es y no-es: en aquel caso la mente compone, en ste divide. Por tanto, en tal sentido, el es (t est) no es propiamente una cpula, sino parte de un predicado

Aqu vemos el otro sentido de nmero, sentido aritmtico que seala su carcter operativo. En las definiciones (n.20) dice
Designamos con el signo + la adicin, con la sustraccin, con ^ la multiplicacin, con v la divisin, con f. la expresin resulta o el total de una operacin, con = la igualdad. En los dos primeros y en el ltimo convenimos con Descartes, con los algebristas y con otros; Isaac Barrow, tiene otros signos en su edicin de Euclides, Cambridge, Octavo (mes), 1655.

Aqu queda clara la orientacin del mtodo lgico de Leibniz. El argumento (proposicin) es una funcin f. (o puede ser una variable), que hoy bien sabemos describe una curva, un dominio, y de sus elementos o variables, en cuanto todo de partes, podemos calcular sus posibles combinaciones entre s. Nuestro punto es ahora ver de qu manera esto hace posible la formulacin de argumentos, en estos trminos, que son teoremas que prestan un servicio para el procedimiento inductivo. Para poder abarcar este problema es importante sealar que Leibniz no deja clara, en el DAC, la posibilidad de hacerse cargo de las proposiciones singulares o, bien, de los trminos accidentales al interior de un argumento, no obstante menciona la naturaleza de su verdad. As, encontramos una alusin al trabajo aristotlico de Tpicos (DAC 84), como el lugar de los argumentos por conviccin (en el sentido de razonamientos)16, que se sirven de proposiciones de esta naturaleza, frente a la demostracin que encuentra su lugar en la definicin; claramente la nocin de lugar, refiere a lugares de argumentacin. Al mismo tiempo menciona un pasaje de la Retrica (pudiendo ser ledos ambos pasajes en paralelo, por el vnculo al menos histrico entre ambos textos), en la medida que en este ltimo concibe, al igual que Aristteles17, que, en el caso del Derecho, hay que dejar poco espacio a la discrecin a los jueces, lo que para el caso de Leibniz, es posible gracias al desarrollo de los descubrimientos que su analtica puede realizar.

En la nocin tradicional de argumento se apunta a la idea que de ciertas premisas se sigue una conclusin. Nosotros hemos hablado tambin de argumento como ecuacin. Cfr. nota 14. 17 Ya que los afectos no son propios de la accin descrita por las partes, sino atinentes al juez (Ret 1354 a 16 y ss.), all, donde recaen las reglas del juego en leyes que deben estar bien establecidas, por el bien del juicio en cuestin y donde no hay lugar para hablar fuera (salirse) de este marco de accin, desde la perspectiva del litigante no conviene inducir al juez a la ira, envidia o a la compasin (1354 a24-5), ya que esto atentara contra la premisa que las ciudades mejor gobernadas son aquellas que dejan, a travs de sus leyes, poco espacio de discrecin a sus jueces, recayendo en la norma el momento de discrecionalidad; as, el que sea grande o pequeo, justo o injusto, y todo lo que el legislador ha dejado sin explicitar, eso conviene que lo determine el mismo juez y no que tenga que aprenderlo de las partes (1354 a28 y ss. nfasis mo)

16

A partir de estos dos puntos creo que, dado que Leibniz seala que el Derecho debe proceder en trminos anlogos a la geometra18, y dado que sta versa de cosas en el espacio, magnitudes, etc., y, slo as abarca casos, eventos o individuos, es interesante reconstruir la formulacin de teoremas para la induccin, sin confundirla inmediatamente con la naturaleza de las verdades contingentes, es decir, sin haber explicitado de antemano las diferencias de planos que implica, para una ciencia emprico-inductiva, por un lado la formulacin de teoremas y, por otra parte, la verdad o razn de un trmino del cual se sirve19. Hay que recoger algunos aspectos de los textos mencionados. Primero hay que anticipar la intuicin que ve Leibniz en el razonamiento deductivo de Tpicos que, como un tipo de argumentacin a partir de premisas, su lugar de argumentacin, en el caso especfico del razonamiento forense, versa en Aristteles sobre los contrarios, que aceptan el ms y el menos (lo que no sucede en el caso de la definicin y, por ende, de la demostracin cientfica), es decir, son premisas que versan sobre lo posible, lo que implica que stas no son necesarias, sino salvo casos muy determinados. Esto ledo, con la alusin a la idea de Retrica (cfr. DAC 39) , que hace recaer en las leyes la posibilidad de tipificar el mbito de resolucin crtico del argumento propio de la retrica forense (que en Aristteles se sirven argumentos como entimemas y ejemplos, los ltimos anlogos a la induccin), nos muestra cmo el descubrimiento de cuntos y cules gneros y predicados entran en juego en el Derecho, para Leibniz, estableciendo con ellos (gneros y especies y sus combinaciones, etc.) reglas lgicas para esclarecer, a mi juicio, la pertenencia de un individuo a un caso (a una clase de eventos), lo que busca evitar, en el caso de Aristteles, la intromisin de los afectos, la cua y la amistad en el juicio de un caso. Leibniz, que de alguna manera permanece en la tradicin antigua, en cambio introduce en la estructura demostrativa, por signos y probabilidades, una matriz operacionalista en el orden de los trminos que hay que interpretar a la luz del hecho que las verdades contingentes son fruto de la voluntad divina (son leyes) y no de la esencia de las cosas mismas. El centro de la cuestin20 en este punto es que si bien hay verdades que no se pueden deducir desde universales, o sea que son verdades contingentes, sin embargo poseen un orden cierto, siendo posible formular teoremas, como las leyes de la fsica, ya que es posible a travs de un experimento coligar la ley que los subordina y explica y expresarla en frmulas. As, es posible en ciencias empricas y, en especial, en aquellas que se hacen cargo de sistemas complejos, como los sociales, por medio del instrumento probativo, que es el teorema, dotar de necesidad a sus conclusiones, o lo que es lo mismo, permitir un cierto tipo de deduccin y clculo. En este contexto, la mencin de las verdades histricas nos permite dar el paso a los textos ms maduros; Leibniz en el DAC no aclara cmo son conseguidas dichas verdades, en cuanto concepto. En la medida que estas proposiciones Leibniz las llama histricas (DAC 83) y no pueden ser conocidas a priori por la mente humana, sino que solamente a partir de la experiencia, distingue dos tipos de enunciados, por ejemplo, la mayor parte de Europa es cristiana o Judas traidor; con esto, a mi juicio, estamos en condiciones de entender las proposiciones de las cuales se sirve un teorema por

Cfr. DAC 12, donde es nombrado las 5 maneras en que se puede pactar un mandato. Hay que prestar atencin, en este contexto, qu papel puede jugar una silogstica en el descubrimiento de causas (trmino medio) en el plano de la demostracin de teoremas hipotticos, cuyos trminos se refieren a hechos o eventos probables, ahora en trminos modernos de la palabra. 20 Agradezco este hilo conductor a los comentarios del profesor Correia a la exposicin del proyecto de este trabajo.
19

18

analoga a la geometra, en virtud de distinguir 1) formular un teorema 2) a qu refiere ste.

Hay que tener en cuenta que todo este arte complicatorio est directamente ligado a los teoremas, o sea a las proposiciones, o sea a las proposiciones que son de verdad eterna, o sea, a (aquellas) que no son del arbitrio de Dios, sino que constan de la naturaleza suya misma. En verdad, todas las proposiciones singulares como histricas, por ejemplo: Augusto fue emperador de los Romanos, o las observaciones, esto es, proposiciones universales, cuya verdad, sin embargo, no est fundada en la esencia, sino en la existencia, son verdaderas como por acaso, esto es, por el arbitrio de Dios, por ejemplo, todos los hombres adultos en Europa tienen conocimiento de Dios. De tales no se da demostracin, sino induccin, a no ser que alguna vez se pueda demostrar una observacin mediante la observacin con la intervencin de un teorema. 84.- A tales observaciones pertenecen todas las proposiciones particulares que no son conversas ni subalternas de una universal. De aqu, en consecuencia, es manifiesto que en un sentido se diga que no hay demostracin de los singulares, y por qu el profundsimo Aristteles pusiera los lugares de los argumentos en los Tpicos, donde tanto las proposiciones son contingentes como probables los argumentos; de las Demostraciones en cambio, hay un solo lugar: la Definicin

II En un texto como la Sntesis y el Anlisis Universal, es decir, sobre el Arte de Descubrir y el Arte de Juzgar*, nos habla autobiogrficamente a sus inquietudes tempranas, aludiendo expresamente al DAC, lo que introduce as,
De nio aprend lgica y como ya entonces sola ahondar en la investigacin de las razones de todo lo que me propona, criticaba a mis maestros preguntndoles por qu no poda ser que as como se contaba con categoras (praedicamenta) de los trminos simples, en virtud de los cuales se ordenan las nociones, no hubiera tambin categoras de los trminos complejos que sirvieran para ordenar las verdades. (SAU p.225)

En aquel entonces, alega Leibniz, no saba an que esa era la manera de proceder de los gemetras. Por lo mismo, de lo que se trata es de encontrar una suerte de alfabeto en virtud del cual a partir de nociones primitivas o gneros supremos, a, b, c, d, e, f, y gracias a su combinacin, se haga surgir nociones inferiores. En este contexto:
deba saberse que los gneros pueden ofrecerse como diferencia, y que se puede concebir toda diferencia como gnero y todo gnero como diferencia, y es tan correcto decir animal racional como racional animal, si fuera lcito imaginarlo (SAU p.226)

Dado que los gneros ordinarios no exhiben las especies en su combinacin, Leibniz concluy que la estratificacin sera por medio, primero, de pares ordenados y, luego, ternas y sucesivamente as, en la medida que,
*

(ca. 1679). Los textos a los cuales aludo desde ahora pertenecen a la edicin de Olaso (2003) p. 225. Desde ahora SAU.

slo deberamos constituir el orden de los gneros supremos, como se hace en los nmeros, y as tambin aparecera el orden de los gneros inferiores si los gneros supremos, o que se suponen que son supremos, fueran infinitos, como ocurre con los nmeros donde los primitivos pueden ser considerados como gneros supremos, pues es posible llamar a todos los pares binariosetc.( SAU p. 226. nfasis mo).

Lo ms interesante es tomar la nocin de expresar, en la medida que se dice que (algo) expresa una cosa en lo que hay respectos (habitudines) que responden a los respectos de la cosa que va a expresarse, lo que ya venimos mencionando sobre el problema semntico que presenta el referente. En estos trminos, en Qu es Idea (1678) Leibniz agrega que
las cifras expresan nmeros, la ecuacin algebraica expresa crculos o figuras. Y lo que todas estas expresiones tienen en comn es que slo por la contemplacin de los respectos de aquello que expresa podemos llegar al conocimiento de propiedades que corresponden a la cosa que ha de expresarse. De ah resulta evidente que no es necesario que aquello que expresa sea igual a la cosa expresada, siempre que se conserve alguna analoga para sus respectos (p.209).

Es, en este sentido, que el uso de caracteres, para la expresin de los gneros supremos, empieza a cobrar sentido; en ScL, texto donde Leibniz nos recuerda que hace tiempo trata con profundidad la cuestin de que todos los pensamientos humanos se resuelven en unos pocos primitivos, pensamientos a los cuales se le asignan caracteres, nos dice que las frmulas son el compuesto de numerosos caracteres y,
si cierta frmula equivale a un carcter de modo tal que los caracteres puedan sustituirse mutuamente, esa frmula se llamar valor del carcter. El valor primigenio que se le asigna arbitrariamente al carcter y no necesita de prueba es su significacin (p.223) El clculo o sea la operacin consiste en la produccin de relaciones por medio de transformaciones de las frmulas, realizadas segn ciertas leyes prescritas. Pero cuantas ms leyes, o sea, cuanto ms condiciones prescriben al que va a calcular, tanto ms complejo es el clculo y tambin tanto menor y simple aquella caracterstica. As, pues, resulta evidente que las frmulas (en las ms simples de las cuales es posible incluir los caracteres mismos), las relaciones y las operaciones se comportan como conceptos, juicios y silogismos. Existen tambin relaciones complejas que suponen ciertas operaciones. (ibid)

Como todo esto est en conformidad al planteamiento del DAC. Por otra parte, Leibniz, siguiendo a la tradicin (SAU p.230) seala respecto a la Demostracin que,
explicar el modo de generacin de algo no es ms que demostrar la posibilidad de ese algo, lo cual es til, aunque a menudo la cosa en cuestin no sea generada de esa manera.

Se ve claramente con esto que Leibniz sigue a la tradicin en lo que respecta al estrecho vnculo entre demostrar algo y construir la conclusin a partir de premisas. De hecho,
despus que se ha forjado una hiptesis, o sea, el modo de generar algo, se tiene una cierta definicin real, de la que tambin pueden deducirse otras y de

las que se pueden elegir las que concuerden mejor con todo lo dems, cuando se busca el modo segn el cual algo ha sido realmente generado. Pero entre las definiciones reales son sin duda perfectsimas aquellas que son comunes a todas las hiptesis, o sea, a los modos de generar y que envuelven una causa prxima de algo, de las que por ltimo es inmediatamente patente la posibilidad de ese algoA este conocimiento suelo llamarlo adecuado o intuitivo. (SAU p.230)

En este contexto,
a partir de estas ideas o definiciones, pues, pueden demostrarse todas las verdades, excepto las proposiciones idnticas, que por su naturaleza es patente que son indemostrables y a las que realmente se las puede llamar axiomas (ibid).

La nocin de analiticidad que propone Leibniz est, como hemos sealado, en un estrecho vnculo a una teora de la verdad que concibe una proposicin verdadera, como aquella cuyo sujeto incluye la nocin del predicado. Esta inclusin, que hay que entender en trminos intensionales21, acontece en el caso de proposiciones idnticas, como las que provee a partir de una serie finita de pasos- las matemticas, y encuentra, en cambio, resistencia para las verdades contingentes, en la medida, claro est, que estas ltimas no son reductibles, sino por hiptesis, a las primeras por una mente humana22. Como hilo conductor, veamos en qu medida conectamos el saber a priori, para aclarar el intento de darle analiticidad a las formulaciones de los teoremas. Volvamos sobre algunos puntos, cuando Leibniz afirma que,
Una afirmacin es verdadera cuando su predicado es inherente al sujeto. Y as, en toda proposicin afirmativa verdadera, sea necesaria o contingente, universal o singular, la nocin del predicado se contiene en algn modo en la nocin del sujeto, de manera que quien entendiese perfectamente entre ambas nociones igual que las entiende Dios, se, sin ms, se enterara ya que el predicado es inherente al sujeto (nfasis mo)23.

Leibniz ve esta modalidad predicativa, desde la tradicin, tambin en su texto Verdades primeras (Vp) (1686)24 en los siguientes trminos:
Siempre pues el predicado o consecuente est incluido en el sujeto o antecedente; y en esto, precisamente consiste la naturaleza de la verdad en general.como ya observ Aristteles. Y en las proposiciones idnticas esa conexin y la inclusin del predicado en el sujeto es expresa; en las dems, en cambio, implcita, y ha de ponerse de manifiesto por el anlisis de las nociones, en el cual estriba la demostracin a priori (p.392) En Parkinson (1995, p.201), la distincin extensin-comprehensin (intensin) seala para el ltimo que incluimos, por ejemplo el concepto metal en el sujeto oro, porque el primero indica una de las notas, entre otras, del concepto oro, por lo que decimos que este ltimo es ms grande (intensionalmente) que el concepto metal (cfr. C 53: PLP 20). Esto es lo que Parkinson (ibid) llama la aproximacin intensional a la proposicin. Adems, Leibniz concibe la proposicin verdadera como proposicin idntica o reductible a una tal (C 513: P 7; C 519: P 87; P14). Cfr. arriba nocin de inclusin frente al de pertenencia. 22 Para Leibniz sin embargo la brecha no est del todo salvada, en el caso de la mente finita, para el conocimiento acabado de las verdades contingentes. Ver Parkinson (1995, p.206) 23 (16) Proposiciones (trad. Agustn Andreu). En Verdades Necesarias y Contingentes (VNC) (1686). Olaso p.379 y ss. 24 Olaso p.391 y ss.
21

Ahora, si seguimos la lnea argumentativa del VNC, vemos que Leibniz seala cmo una proposicin absolutamente necesaria es adems aquella que puede resolverse en proposiciones idnticas (p.379),
Digo entonces que la proposicin un nmero duodenario es cuaternario es absolutamente necesaria, por que puede resolverse en proposiciones idnticasY si se hubiesen dado otras definiciones, habra podido, no obstante, evidenciarse que la cosa se repite en la misma forma. Llamo a esta necesidad metafsica o geomtrica. A lo que carece de tal necesidad lo llamo contingente; pero lo que implica contradiccin, o sea cuyo opuesto es necesario, se llama imposible. Las dems cosas se llaman posibles (p.380)

Nuestro asunto se centra ahora en elucidar desde esta nocin de analiticidad que propone Leibniz la nocin de necesidad a posteriori, visto desde la distincin entre necesidad metafsica o geomtrica y fsica o hipottica. Para ello, Leibniz distingue metdicamente lo siguiente (SAU p.230):
es ms combinatorio, o sea, ms sinttico, descubrir el uso o aplicacin de algo, por ejemplo, dada una aguja inmantada pensar en su aplicacin -como brjula- en una pequea caja. Por el contrario, es ms analtico descubrir los medios para alcanzar aquello que ha dado el ttulo de descubrimiento, o sea, el fin propuesto.el arte combinatorio en particular es a su vez aquella ciencia (que tambin puede ser generalmente llamada caracterstica o especiosa) en la que se trata de forma de las cosas, o sea, de las frmulas en general, a saber, la cualidad en general, o sea, lo semejante o desemejante, en cuanto unas y otras frmulas surgen combinadas entre s de a, b, c, etc., 25.

Para entender esto es fundamental ver la distincin entre necesidad metafsica y necesidad hipottica, ya que, en este punto, se abre la puerta al conocimiento inductivo, que pone proposiciones particulares (por experiencia) al servicio de la observacin (del experimento) junto a un teorema26 (DAC 83).
Por qu de lo necesario por s no se sigue lo contingente o lo hipotticamente necesario? Pues he definido lo necesario como aquello cuyo contrario no se puede entender; por tanto la necesidad y la imposibilidad de las cosas se deben buscar no fuera de ellas mismas, sino en sus propias ideas, y hay que examinar si no pueden ser entendidas o, mejor an, si implican contradiccin; pues en este lugar llamamos necesario slo aquello que es necesario por s mismo, a lo que tiene de s la razn de su existencia y de su verdad, como, por ejemplo, las verdades de la geometra. De las cosas existentes slo existe Dios, todo lo que se sigue una vez supuesta esta serie de cosas, a saber, la armona de las cosas, o sea, la existencia de Dios, es por s contingente, y es necesario slo hipotticamente, aunque nada sea fortuito puesto que todo fluye del destino, esto es, de cierta razn de la providencia. Por tanto, si la esencia de la cosa slo se puede concebir clara y distintamente (por ejemplo la especie de los animales que poseen un nmero par de patas, tambin el animal inmortal), ya debe tenrsela por posible, pero su idea contraria no ser necesaria; acaso ella sea adversa a la armona de las cosas existentes y a la existencia de Dios, por tanto, nunca habr de tener lugar en el mundo, sino que seguir siendo imposible por

Leibniz hace referencia al trmino especiosa en los Nuevos ensayos aludiendo a Vieta, especialmente en lo referente al uso de letras en la generalizacin de los nmeros en el lgebra. VII. Sobre las proposiciones denominadas mximas o axiomas. 26 Ver Correia, Manuel, Leibniz on Induction, p.158. Cfr. An. Post 91 b29-32

25

10

accidente. Por lo cual se equivocan los que declaran absolutamente imposible 27 (es decir, por s) lo que no fue, ni es, ni ser

Esto, justamente, por la nocin de posibilidad que nos propone Leibniz, en el orden de la predicacin, modalidad que est enraizada, por una parte, en un plano teolgico que busca hacer compatible la omnisciencia divina y la libertad humana (en cuanto la mnada puede elegir las determinaciones que luego histricamente le damos como observadores finitos) y, por otra, en una reforma al anlisis lgico que hace suyo, en el orden de la predicacin, la nocin de infinito que implica ese -(no)28, que hasta entonces slo haba sido concebido al interior de proposiciones probables, como un problema sin mayores avances para la ciencia29, al menos en estos trminos, como una limitacin que pone el carcter de las premisas fruto del menor grado de conviccin que stas generan, lo que se ve reflejado en el tipo de necesidad que produce, en el orden de la argumentacin, dichas permisas. El resultado de esta reforma est fundado en el primer momento recin mencionado, lo no implica no poder reconstruir la filosofa emprica de Leibniz, desde el papel que juegan las matemticas para el conocimiento inductivo, con especial nfasis a la orientacin epistemolgica que un dato ofrece a una mente finita como la humana, en la serie de verdades contingentes que recogemos a partir, por ejemplo, de un teorema (como aquella proposicin que afirma una verdad que hay que demostrar). Hay que esclarecer entonces, el tanto tipo de razones a las que alude Leibniz, para distinguir verdades necesarias de las contingentes, como dos tipos de perspectivas que ofrece desde la nocin de nmero infinito. As, para las verdades contingentes, por las limitaciones lgicas que implica no ser reductibles a proposiciones idnticas como las arriba sealadas y, por ende, de cuya verdad no tenemos demostracin senso stricto, es necesario concebir, en el orden del referente que expresa la frmula matemtica, un equilibrio armnico que haga posible la formulacin de leyes y ecuaciones explicativas de ese orden real, que puede ser o no-ser y respecto de x (f(x)), pero que sin embargo presenta orden, esto es, razn, incluso ah donde cuando buscamos estimar el error30.
En La profesin de Fe del filsofo (1673) en Olaso (115-172) p.135-36. En el sentido que decimos que Juan es no justo, no estamos diciendo qu es, ms bien dejamos claro que no es justo, por una parte, lo que implica que puede ser infinitas otras (todos los elementos que no entren en la clase justo. 29 En este sentido, la filosofa de Leibniz oscila entre una nocin de sujeto lgico unitario, ontolgicamente fundante, o mnada y una multiplicidad que mienta la idea de infinito, tensin que puede ser expuesta, en virtud de reconstruir genticamente la consistente reforma a la lgica que introduce, por una parte, la identidad entre sujeto lgico y mnada y, por otra, la nocin de infinito (actual) como parte de la primera. 30 Aqu hay varios puntos que retomar. Cuando hago mencin al referente, esto parte de la base de que cuando hablamos del concepto de- algo, es lo mismo que hacer mencin al significado de- ello; For Leibniz, too a meaningful word is the sign of the concept, and a meanigless word is a sign without a concept (C p.512: P p.6). To be more exact (C p.432) it is a nouns (nomina) that are the signs of concepts; other parts of speech are always conceiving (modi concipiendi). It should be added that Leibniz not mean that only language-users have concepts. God have concepts (e.g. Discourse on Methaphysics, par. 8: P 19), but God does not use language. (Parkinson, p.200, n.6). Para una interpretacin convencional de la expresin del referente por una caracterstica universal, ver Rutherford (1995, p.227 y ss.). A lo que voy es que, si retomamos por ejemplo la crtica de Berkeley al mtodo infinitesimal, que se hace extensiva a Newton (En el Analista o discurso dirigido a un matemtico infiel (1734) que va dirigida a Edmund Halley, financista de los Principia) sobre sus fluxiones (analogon a los infinitesimales de Leibniz), stas recaen principalmente a lo que stas mientan, i.e., a su referente, que sobrepasan, como tal (como infinitos), lo que puede alcanzar una mente infinita (lo que es por lo dems una impiedad) (Cfr Henle & Kleinberg (1980, p.4)). En este sentido, no hay que perder de vista el intento temprano en el DAC, por posicionar un arte inventiva no slo en el orden conceptual primitivo, que por combinacin,
28 27

11

Esto lo retomaremos ms adelante con la nocin de equilibrio hipottico como inclinacin. La nocin de posibilidad, que permite sin embargo en un cierto nivel de anlisis suponer la inclusin del predicado contingente en un sujeto, hacindola una proposicin verdadera, se ve claramente reflejada en la concepcin de posibilidades no realizadas, cuya existencia no es una imposibilidad (no implica contradiccin). Cmo vuelve Leibniz esto compatible con que no hayan verdades que no sean necesarias, conforme a su definicin de juicios verdaderos? Para ello hay que distinguir, en el orden de las razones, entre aquellas verdades que, por ser necesarias, su opuesto implica contradiccin y aquellas que no, lo que implica entender la distincin de perspectivas que introduce el ojo de Dios y la mirada de un ente finito como el hombre. Paradjicamente, esta distincin abre al hombre, bajo ciertos supuestos, el mundo contingente y lo vuelve permeable de una ordenacin que reviste necesidad, dado que la voluntad divina, que elige la causa de la serie, responde justamente al principio de lo mejor, del cual se supedita el principio de razn o principio de que todo efecto tiene una causa . Es decir, aquellas verdades por acaso no caeran bajo el imperio del principio de no contradiccin, no siendo por esencia, sino por voluntad divina. Entonces qu relacin hay entre la voluntad divina y nuestro conocimiento que, por lo general, es emprico? Est sujeta la voluntad divina a la eleccin de cualquier cosa o al igual que en nuestro conocimiento inductivo guarda relacin con reglas y leyes? Es importante sealar, vinculando esto con el hecho de contar con un todo con infinitas partes, que en la verdad contingente,
si bien el predicado est en efecto incluido en el sujeto, sin embargo, aunque se contine indefinidamente el anlisis de ambos trminos, nunca se llega a la demostracin o identidad y solamente Dios que de una vez abarca lo infinito, puede ver claramente de qu manera est incluido el uno en el otro y comprender a priori la razn perfecta de la contingencia, suplida en las criaturas por la experiencia a posteriori (VNC p. 380).

Leibniz agrega aqu mismo que las verdades contingentes se relacionan con las necesarias, en cierto modo como las razones sordas (cantidades irracionales) (ibid) lo que nos da una pista de la solucin a nuestro problema, i.e., dadas las relaciones S-P analticas, se hace extensible cierta necesidad a lo contingente, as como puede mostrarse que un nmero menor est en otro mayor, resolviendo ambos hasta encontrar el mximo factor comn (p.381). Esto se engarza con el papel de la demostracin que conduce el anlisis hasta alcanzar trminos tales que conste por las definiciones que son comunes a ambos trminos de la proposicin inicial (ibid).
rene lo co(m)posible en un orden deductivo, sino que adems se propone, en el orden de las proposiciones contingentes, reunir (ordenar) las posibles las observaciones contingentes por medio de teoremas, en el caso de la induccin. Si a esto agregamos el temprano proyecto leibniciano de llevar la lgica por el camino de la (rigurosa) geometra de los antiguos, lo que implica de pasada una caracterstica nueva, que exprese en una simblica matemtica los predicables respectivos, entonces un problema central en la formulacin de teoremas a partir de frmulas, en el orden del conocimiento inductivo (que es de lo contingente), es semntico, en la medida que las frmulas expresan, en caracteres matemticos, conceptos que se pueden articular en una demostracin como si fuesen analticos, i.e., predicados que estn incluidos en el sujeto, aunque hagan referencia a un orden de cosas, cuya relacin respecto al sujeto lgico es contingente y, por ende, donde no cabe la necesidad metafsica, sino hipottica. En la medida que esa relacin particular que tiene un sujeto con una determinacin es desde la perspectiva humana contingente, no excluye que desde la perspectiva de quien todo lo sabe y quien elige lo mejor sea una determinacin infinitamente pequea (y actual) respecto de un todo mondico, que es fiel reflejo del universo entero.

12

Si las partes son infinitas en un todo cabe pensar la respuesta deflacionaria de Leibniz a Clarke cuando nos dice que el clculo infinitesimal es til cuando se trata de aplicar la matemtica a la fsica, aunque no pretendo emplearlo para dar cuenta de la naturaleza de las cosas. Pues considero las cantidades infinitesimales como ficciones tiles31, es decir, como ya mencionamos arriba, como cantidades sordas para traducir la variacin pequeamente infinita respecto de un todo en una variacin (diferencia) con necesidad hipottica. Esto, ser posible finalmente, por medio del arte de descubrir teoremas (combinaciones de conceptos) que, expresados en frmulas, doten de necesidad en sus principios a una ciencia inductiva en sus observaciones pero deductiva en su razonamiento32. Entonces, hay que aclarar que slo para la mente infinita las existencias son comprendidas a priori; l ve claramente la verdad de todos sus accidentes (cada sustancia individual) sin acudir a nada extrnseco33; la mente humana en cambio no puede demostrar lo contingente con anlisis alguno que no responda a ciertas condiciones del tipo,
que ahora vivo, que el sol brilla. Y aunque diga que el sol brilla en nuestro hemisferio a tal hora, porque tal ha sido el modo que, en el supuesto que ste contine, aquello se sigue con certeza; sin embargo (aparte de que no es necesaria esa obligacin de continuar el movimiento) tambin el que su movimiento haya sido ste es igualmente una verdad contingente, cuya razn ha de averiguarse a su vez, y no puede explicarse plenamente sin un conocimiento perfecto de todas las partes del universo, el cual excede empero, todas las facultades creadas, porque no hay ninguna parte de la materia que no est subdividida actualmente en otras, de modo que las partes de cualquier cuerpo son actualmente infinitas (p.382 nfasis mo)34

Claramente con lo dicho, hay una estrecho vnculo entre el conocimiento cierto y la necesidad bajo condiciones, el hecho que por induccin no hay demostracin, pero hay necesidad, y el recurso a un patrn de medida que recorra el infinito (lo contingente) analticamente, en el cual se hace numerable su variacin respecto al ndice de su posibilidad, a saber, la substancia individual en la que inhieren, como factor invariable,

La ltima respuesta (1716), Olaso p.713 y ss. p.720 Aqu queda pendiente los problemas lgicos, formales y materiales, que arroja el tipo de necesidad que prescribe un condicional, por ejemplo, Si a es un tringulo, a un teorema (que demuestra en este caso que para cualquier triangulo) El cuadrado de un lado es igual a la suma de los cuadrados de los otros lados menos el doble del producto de estos lados por el coseno del ngulo comprendido, pero ahora para el plano de los objetos de las ciencias fsicas o factuales. Ishiguro seala que The nature of physical things is what we express in our attempts to formulate laws of nature. We formulate them as general hypothetical propositions, ms an si hypothetical truths depend on the nature of things and not on our ideas. Cfr. en Ishiguro, Hid. Leibniz on Hipothetical Truths, Leibniz Critical and Interpretative Essays, (ed.) Michael Hooker, Minnesota, 1982, p.97 33 A ningn experimento ni evidencia externa. 34 Por ejemplo, El nmero de granos de arena en una playa, por muy grande que sea, es finito. Si
32

31

llamamos a este numero , los nmeros son todava mas grandes que , pero todos ellos son finitos y ninguno de ellos es el ms grande; en otras palabras, siempre es posible encontrar un nmero natural tan grande como se quiera, no existiendo un nmero que sea el ms grande. Sin embargo tambin hablamos del infinito actual, cuando se dice Dios es infinitamente sabio: La sabidura, entre seres humanos, es potencialmente infinita pues siempre es posible encontrar alguien mas sabio que cualquier otra persona; no existe un ser humano que sea el ms sabio de todos; Dios, por el contrario, es ms sabio que cualquier ser humano o divino y es, entonces, infinitamente sabio; y si existe, pues es entonces un buen ejemplo de infinito actual.

13

los accidentes predicables, ms aun si el resultado de esa funcin f., hipotticamente es 035. En paralelo, se vincula el saber a priori al carcter analtico de las proposiciones, vnculo que no hay que perder de vista. Dadas entonces las condiciones en la cuales lo contingente aparece a la mente finita, es importante considerar que su necesidad se debe al hecho que Dios decreta su posibilidad en trminos que,
La presciencia o preordenacin de Dios no impone la necesidad, aunque tambin sea infalible. Pues Dios ha visto las cosas en la serie ideal de los posibles, tal como iban a ser en el futuro, y, en esas series, al hombre que pecaba libremente; y al decretar la existencia de esa serie cambi la naturaleza de la cosa o hizo necesario lo que era contingente36

Esto, sin embargo,

Tampoco perjudica la libertad la predisposicin de las cosas o serie de las causas. Pues aunque nunca ocurra algo de lo que no se pueda dar razn y nunca se d indiferencia alguna de equilibrio (comos si entre la sustancia libre y lo que se halla fuera de ella pudiera oponerse todas las cosas igualmente de uno y otro lado), puesto que ms bien siempre hay ciertas preparaciones en la causa agente y en las causas concurrentes que algunos llaman predeterminaciones, pero debe decirse que estas determinaciones son inclinantes, no necesitantes, de manera que siempre queda a salvo alguna indiferencia, o sea, contingencia.37

Dejando para ms adelante la nocin de equilibrio que ya venimos anticipando, si Dios elige la actual (causa) serie del universo, entre muchas series posibles, como la que es mejor (y no que podra otra serlo), y no pudiendo ser verdadera ninguna proposicin que asevera la incompatibilidad de dos conceptos (por principio de no contradiccin), Dios38, para el caso de lo contingente (que es contingente para el hombre), elige por una
Con esto slo anticipo la idea de equilibrio que la Fsica General tiene para proceder en el clculo de sus variables, dados ciertos datos. 36 104 Vindicacin de la causa de Dios mediante la conciliacin de su justicia con sus dems perfecciones y con todos sus actos (VcP) (1710) Olaso p.632 37 VcP. 105 38 Aunque nuestro trabajo no centra en el problema que surge para una substancia individual la eleccin divina por decreto- de su nocin, si consideramos que en el DAC los conceptos primitivos a los cuales alude Leibniz (DAC 88), como pensamientos analizables, y de los cuales deducimos combinaciones y, partir de ellos, variaciones de lugar de com2naciones S-P, son conceptos positivos y, por lo tanto, ninguna proposicin que conste solamente de conceptos primitivos puede ser negativa, de ah al recurso a la conversin en dicho plano; entonces cabe la pregunta de qu manera una proposicin negativa puede ser verdadera, es decir, cmo un concepto puede excluir a otro y, por ende, si acaso es o no una falacia (o una inconsistencia), considerar la hiptesis contrafctica que Dios pueda elegir un ente no composible, como Judas no traidor, visto desde su idea, considerando a la voluntad divina, como si Dios estuviera frente a la disyuntiva de querer esto o estotro, lo que supone en la praxis a la que se refiere, la posibilidad de tener que elegir entre una alternativa u otra, lo que para Dios es posible en estos trminos sin ms?, porque en su eleccin acaso no impera tambin el principio de no contradiccin o, al menos, el principio-axioma de razn suficiente, en la medida que no puede, desde el ojo desde de quien todo lo sabe, elegir un ente no composible, ms an si coincide su eleccin con la mejor eleccin posible? La falacia si la hay- consistira entonces, a mi juicio, en posicionar la perspectiva de Dios desde la perspectiva humana, o sea, de una mente finita, donde s surgen disyuntivas de este tipo y en estos trminos, fundadas en la distincin necesidad-contingencia (probabilidad), cuando como bien lo seala en el VNC (p.388) , Concedo sin ms que Dios al decretar predetermina la mente a una eleccin dada porque prev que ella va a elegirla si se le concede la existencia, y que tambin prev su predeterminacin y su decreto predeterminante (pero en su calidad de posible). (nfasis mo). No hay que olvidar que en la medida que toda voluntad supone la inteligencia de lo que quiere, aquella que intelige lo que es mejor y
35

14

cierta inclinacin, la cual si bien responde a una norma, encuentra excepcin por ejemplo, en el milagro:
No debe creerse, sin embargo que slo las proposiciones singulares son contingentes, pues hay y pueden colegirse inductivamente ciertas proposiciones que son verdaderas de ordinario; las hay tambin que son verdaderas casi siempre, al menos en el orden natural, de suerte que la excepcin se atribuye a milagro; aun ms, que hay en esta serie de las cosas ciertas proposiciones universalsimamente verdaderas que no han de infringirse jams ni siquiera por milagro, no porque Dios no tenga el poder de infringirlas, sino porque l mismo, cuando eligi esta serie de cosas, con eso mismo decret observarlas (como propiedades especficas de esta misma serie elegida de cosas). Y con estas proposiciones, una vez establecidas en virtud del decreto divino, puede darse razn de otras proposiciones contingentes (p.382-83).

Desde estas leyes universalsimas aqu pueden derivarse las leyes subalternas de la naturaleza, que poseen slo una necesidad fsica cuya vigencia se suspende nicamente por milagro fundado en una intuicin de una causa final ms importante (p.382) Es decir, las verdades contingentes que caen en las leyes subalternas de la naturaleza responden a la intuicin de una causa final que, siguiendo la tradicin sobre el tipo de razonamiento que implica el silogismo demostrativo, pone en el trmino medio la relacin causal que ata las premisas con necesidad para una conclusin, que en este caso son axiomas que demuestran una hiptesis39 , o para nuestro asunto, un teorema para la induccin de leyes subalternas de la naturaleza.
no slo lo que le parece serlo, debe elegirlo, adems de elegir la causa de un hecho al interior de la serie y no un hecho aislado. Adems, la clave est en la nocin de posibilidad, en cuanto el acto mismo de comprender perfectamente la nocin de substancia singular considerada todava como posible comprende adems sus decretos, aunque tambin considerados como posibles; porque as como las verdades necesarias involucran slo el intelecto divino, as las contingentes involucran los decretos de su voluntad (ibid). Cuando Dios decide qu decretar Dios elige una de las series, e involucra en ella, esta mente a la que ha de sobrevenir tales sucesos (p.389). En cambio, cuando el hombre hace ciencia supone la serie. En este nivel de anlisis, Leibniz distingue que una cosa es el decreto posible involucrado en la nocin de la serie y de las cosas que entran en sta, decreto que estatuye actualizar; y otra es el decreto por el cual estatuye actualizar el decreto posible (p.389). En este contexto, Dios no hace nada son saber de antemano que lo hace. En este sentido Dios est lejos de decretar absolutamente que Judas deba hacerse traidor, que ve, ms bien, independientemente de su decreto actual, en la nocin de Judas, que ste ser traidor (es decir)sino slo que ese Judas, de quien prev que ser traidor, debe no obstante existir, puesto que su infinita sabidura ve que este mal es compensado con inmensa ganancia por bienes mayores y que la cosa no armonizara mejor de otra manera; aquello que no le toca a l querer, sino permitir por decreto si va a existir el pecador Judas, se decreta tambin en consecuencia, y se declara que cuando venga el momento de la traicin el concurso de la predeterminacin actual debe acomodarse al efecto(ibid, nfasis mo). Leibniz sostiene que esta armona, donde se concilian las dems proposiciones, se fundan (hipotticamente) en dos axiomas que como veremos estn en estrecha relacin al principio de razn: 1) toda la perfeccin de las criaturas proviene de Dios 2) la imperfeccin (proviene) de la limitacin propia de ellas. 39 Cabe sealar, para mostrar cmo Leibniz tiene un pie puesto en la tradicin, que la demostracin en Aristteles, a diferencia del razonamiento dialctico, asume (la otra en cambio pregunta) la primera parte de la contradiccin. Es decir, la tesis que se asume como una de las partes de la contradiccin es una hiptesis, por lo que podemos decir que la dialctica trabaja por hiptesis, la demostracin, anulando esta indeterminacin, por definicin. Por ejemplo la aritmtica (para Aristteles) define la unidad como lo que es indivisible en cantidad, con lo que se dice qu es una unidad y no meramente que la unidad existe. En este contexto (An post. 72 a 18 y ss.), el axioma, como aquello que ha de tener presente el interlocutor, se diferencia del principio inmediato, ya que el ltimo es una tesis que no es posible demostrar ni es necesario que la tenga presente quien va a aprehender. Por ende, no es lo mismo una definicin que un principio inmediato (axioma). La hiptesis en cambio slo afirma o niega la existencia. Finalmente, estas cosas primeras e indemostrables se conocen mejor que la conclusin (72 a 25).

15

Pues como es contingente que la serie misma exista, y depende de un libre decreto de Dios, tambin sus leyes sern, por s mismas contingentes, pero necesarias y esenciales hipotticamente, slo en cuanto se d por supuesta la serie (p.384)

Acotando el asunto del conocimiento inductivo por medio de teoremas, hay que resaltar el nfasis que guarda relacin con la certeza, esto tiene que ver la naturaleza de nuestras ideas. As, el conocimiento inductivo debe atender al carcter de las nociones (SAU p. 227) que:
Las primeras nociones de cuya combinacin surgen las restantes son distintas o confusas. Son distintas las que se entienden por s mismas, como la nocin de ser. Son confusas (y sin embargo claras) las que se pueden percibir por s mismas, como lo coloreado, que no se puede explicar a otro sino mostrndoselo. Pues aunque por su naturaleza sea resoluble (i.e. analizable), puesto que tiene una causa, sin embargo no lo podemos describir y reconocer suficientemente mediante ninguna nota que se pueda tomar por separado, sino que slo se conoce confusamente y por ello no admite una definicin nominal. La definicin nominal consiste en la enumeracin de las notas o de los requisitos40 que son suficientes para distinguir una cosa de todas las dems.

Hemos dejado entrever que toda verdad afirmativa universal se ha de poner de manifiesto por medio del anlisis, justamente en virtud del imperio que ejerce el principio de contradiccin, el cual considera a su contrario como un absurdo o un imposible (en este sentido una proposicin es falsa si encierra contradiccin). Pero adems de este principio hemos sealado el poder de los decretos divinos en el plano que para el hombre hay contingencia, que si bien no vuelven imposible su contrario, al menos lo vuelven improbable, frente al curso regular de los hechos. Es por ello que para Leibniz desde el principio anterior,
se desprenden muchas cosas de magna importancia, que, a causa, de su gran facilidad, ni han sido debidamente consideradas. De aqu surge inmediatamente el axioma admitido nada hay sin razn o ningn efecto hay sin causa41.De otro A esto hay que agregar que las cosas que se dicen en s en cuanto que se dan dentro de los predicados o en cuanto los predicados se dan en ellas, son por s mismas y por necesidad (73 b18). La nocin de universal (como segn el todo) implica la nocin de en s y en cuanto tal (b30) y, por ende, est en una entraa relacin con la definicin. Las cosas que no (se dicen) de un sujeto las llamo en s y las que se dicen de un sujeto las llamo accidentes (73 b 7). As, es como se da lo recto en s en la lnea, en cuanto lnea. Las cosas que no se dan de ninguna de estas dos maneras son accidentes (73 b5). Si, aunque es posible demostrar acerca de una figura que tiene dos rectos, pero no acerca de una figura cualquiera y el que demuestra no se sirve de una figura cualquiera: pues el cuadrado es una figura, pero no tiene el equivalente a dos rectos (73 b34 y ss.), entonces cuando hay demostracin la conclusin es universal, y es lo que se da en cada uno en s y en cuanto tal. Adems, lo en s implica una nocin causal, como cuando decimos que caminaba y relampague, pero no decimos que porque caminaba relampague, lo ltimo es un accidente (cfr.73 b10 y ss). No as cuando vinculamos morir y ser degollado, habiendo una relacin causal entre las partes (ibid). 40 En Signos y Clculo lgico (ScL) (post. 1684) (p.221), donde tambin recuerda al DAC (p.221), seala que todos los pensamientos humanos se resuelven en algunos muy pocos, que son los primitivos. Si a estos pensamientos se le asignan caracteres, a partir de ah se pueden formar caracteres de las nociones derivadas. De stas, a su vez, siempre se puede demostrar la totalidad de los requisitos y las nociones primitivas que interviene y, en suma, las definiciones o valores, y por consiguiente tambin se pueden demostrar las propiedades (affectiones) a partir de las definiciones. Requisito es aquello sin lo cual la cosa no puede ser; el agregado de todos los requisitos es la causa plena de la cosa (Demostracin, Secc. II, 1) 41 Notar el sentido aristotlico del trmino axioma, como principio admitido.

16

modo, habra una verdad que no podra probarse a priori que no se resolvera en verdades idnticas, lo cual es contrario a la naturaleza de la verdad, que siempre es expresa o implcitamente idntica. (Vp p.392)

El principio de razn suficiente aqu expuesto, es compatible con del decreto divino actual condicionado que mencionamos antes (VNC p.389 n.16), en virtud del cual operan dos axiomas ms, 1) cuanto hay de realidad y perfeccin en las cosas emanan de Dios y 2) la limitacin proviene de las criaturas (VNC p.387),
al modo como la fuerza impresa por un agente en algn cuerpo se ve limitada por la materia o masa del cuerpo y por la inercia natural de los cuerpos, de suerte que cuanto mayor sea el cuerpo, menos ser en igualdad de condiciones- el movimiento provocado.

En este plano las verdades contingentes (que no encierran contradiccin) y que, por ende, son posibles, en cuanto estn fundadas en el libre arbitrio de Dios, poseen razones que inclinan, pero que no son necesarias42, y conllevan adems la distincin entre certeza y necesidad; todo el mundo est de acuerdo en que los futuros contingentes son seguros, puesto que Dios los prev, pero no por esto reconoce que son necesarios (p.338). La deduccin de los primeros no es necesaria sino ex hiptesis y, por as decirlo, por accidente, pero en s misma es contingente, puesto que lo contrario no implica contradiccin (p.339). As, Cassirer, en la respuesta de Leibniz a Clarke (Segunda carta, sect. i. p.21)43 cita cmo segn Leibniz, adems del principio de no contradiccin, Arqumedes se vio obligado a recurrir a un caso particular del gran principio de razn suficiente, por lo que,
It is this principle that makes physics possible, because it allows us to make the great step from mathematics to nature, to throw a bridge acroos the gap which, at first sight, seems to separate factual truth (vrits de fait) from necessary truth (vrits eternelles).

Cierre Como ya lo anticip en la introduccin queda pendiente el posterior desarrollo del Clculo infinitesimal para el anlisis de entidades divisibles en todos menores o infinitos mnimos, y en qu medida sus frmulas pueden ser la expresin de un teorema que hace posible la induccin, respondiendo a todos los requisitos que desde su juventud Leibniz le exigi al conocimiento emprico. Lo mismo para la nocin de probabilidad y equilibrio que supone el carcter inclinante de las verdades contingentes en una serie. Sin embargo, ya hemos dado un primer paso al tipo de legalidad y argumentos que propone la ciencia inductiva en Leibniz.

42 43

Cfr. Discurso de Metafsica 13, Olaso p.338 Cassirer, Ernst, Newton and Leibniz, The philosophical Review, Vol. 52, No4. (Jul. 1943), p.375

17

Referencias Aristotle. Prior and Posterior Analytics, a revised text with Introduction and Commentary by W. D. Ross, Clarendon Press, Oxford, 2001 Aristteles, Retrica, traduccin, introduccin y notas de Quintn Racionero, Gredos 31, 2000 Cassirer, Ernst, Newton and Leibniz, The philosophical Review, Vol. 52, No4. (Jul. 1943) Correia, Manuel, Metaphysics in De arte combinatoria of G.W. Leibniz, 1666 (2002). Correia, Manuel, Categorical Propositions and logica inventiva in Leibnizs Dissertatio de arte combinatoria (1666) Correia, Manuel, Leibniz on Induction Henle, J.M. & Kleinberg E.M., Infinitesimal Calculus, MIT Press, 1980 Ishiguro, Hid. Leibniz on Hipothetical Truths, Leibniz Critical and Interpretative Essays, (ed.) Michael Hooker, Minnesota, 1982 Leibniz G.W, Escritos filosficos, Edicin de Ezequiel Olaso, Machado Libros, Madrid, 2003. -Discurso de Metafsica (1686) p.323-378 (trad. T.E Zwanck) -La profesin de Fe del filsofo (1673) p.115-169 (trad. Olaso) -Proposiciones (trad. Agustn Andreu). En Verdades Necesarias y Contingentes (VNC) (1686). -Qu es Idea (1678) p.208-210 (trad. T.E.Zwanck) -Signos y Clculo lgico (ScL) (post. 1684) p.219-224 (trad. T.E. Zwanck) -Sobre la sntesis y el Anlisis Universal, es decir, sobre el Arte de Descubrir y el Arte de Juzga (SAU) (1679) p.225-234 (trad. Olaso) -Verdades primeras (Vp) (1686) p.399-402 (trad. Torretti) -Vindicacin de la causa de Dios mediante la conciliacin de su justicia con sus dems perfecciones y con todos sus actos (VcP) (1710) p.608-643 (trad. Olaso) Leibniz, G.W., Disertacin acerca del arte combinatorio (DAC), trad. Manuel .A. Correia, Ed. Universidad Catlica, 1992 Leibniz,,. G.W., Leibniz: Logical Papers (PLP), ed. Parkinson, G.H.R, Oxford, Clarendon Press, 1966 Leibniz, G.W., Philosophical Writtings (P), ed. Parkinson, London, Dent, 1973 Leibniz, G.W., Opuscules et fragments iddits de Leibniz (C), ed. Couturat, Olms, 1961 Parkinson, G.H.R, Philosophy and Logic, The Cambridge Companion to Leibniz, Cambridge Press, 1995, p.199-223 Rutherford, Donald, Philosophy and Language in Leibniz, The Cambridge Companion to Leibniz, Cambridge Press, 1995, p.224 y ss. Witt, Charlotte, Substance and essence in Aristotle, An interpretation of Metaphysics VII-IX, Cornell University Press, Itaca, 1989

18

19