Breve resea de las obras de Aristteles y Leibniz en la Lgica Simblica. Presenta: Ral E. Camarillo Blsquez. 18 febrero de 2014.

I. La obra de Aristteles. Aristteles fue el fundador de la Lgica, y el primer lgico formal de la historia. La influencia de su obra ha sido muy grande durante toda la historia del pensamiento. Muchos autores consideran que el estagirita construy de una vez y para siempre todo el edificio de la lgica desde sus cimientos, pues no se concibe una forma de lgica que no tenga alguna conexin con la establecida por l. El Filsofo fue el primero en estudiar y codificar las formas de argumentacin correcta, aunque Zenn de Elea y Platn pueden ser llamados precursores de la lgica. Los escritos lgicos aristotlicos son tratados que en conjunto se han llamado Organon, y han sido organizados de la siguiente manera: Categoras, De Interpretatione, Primeros Analticos, Segundos Analticos, Tpicos y Refutaciones. Como aportacin a la lgica formal, podemos sealar que Aristteles distingui el carcter sintctico del punto de vista lgico, presentando claramente las categoras sintcticas al definir los componentes del discurso, tanto elementales (nombres y verbos con su flexin y negacin) como complejos (proposiciones), los cuales han sido tomados y utilizados por la lgica hasta nuestros das. Adems, Aristteles elabor completamente la primera teora lgica formal sistemtica y completa, que es la del silogismo categrico, y que est desarrollada en los Primeros Analticos, presentando los tres enfoques fundamentales de la lgica formal: el uso de variables, la teorizacin puramente formal de las estructuras y de las leyes de la deduccin silogstica, y el uso del mtodo axiomtico. ste ltimo es muy valorado en nuestros das, pues se ha tomado como un cauce universal para sistematizar todas las ciencias deductivas, incluyendo la lgica misma. Aristteles afirm que toda demostracin tiene tres partes fundamentales: la conclusin, los axiomas o premisas, y un gnero cuyas propiedades son objeto de

demostracin. Los axiomas deben ser evidentes, o conocidos de por s (no objeto de demostracin dentro del mismo sistema, lo que constituira una demostracin circular). Este mtodo axiomtico lo aplic a su misma teora silogstica, teniendo como estructuras primarias (axiomas) los cuatro silogismos de la llamada primera figura, a los que se pueden reducir los otros, mediante algunas reglas de transformacin o procedimientos, tales como la conversin simple de las proposiciones y el de reduccin al absurdo. Como conclusin podemos afirmar que la lgica de Aristteles desde sus inicios usaba unos recursos que estn en lnea de continuidad con la lgica simblica moderna: estructura formal, cierto grado de simbolismo, sistematizacin axiomtica, y el tomar el lenguaje como tema de estudio, para determinar las leyes del discurso correcto.

II. La obra de Leibniz. A principios del S. XX fue descubierta y valorada la obra acerca de la lgica simblica de Gottfried Wilhelm Leibniz, quien viviera del 1646 al 1716. Su obra supuso un gran avance para esta rama de la ciencia, que tuvo muchos rasgos de continuidad con la lgica tradicional y con la de Aristteles. Su objetivo fue que la metafsica contara con un instrumento para alcanzar el rigor y dignidad cientfica de las matemticas, pues le pareca que las discusiones filosficas no concluan debido a la ambigedad de los trminos y de los procesos del lenguaje cotidiano. Por ello quiso crear una lgica simblica, de carcter calculstico, con procedimientos semejantes a los de las matemticas. La gran contribucin de Leibniz al clculo fue posible tambin gracias a los diferentes desarrollos matemticos de los siglos XVI y XVII, en geometra analtica, clculo infinitesimal, y construccin de simbolismos ms manejables y seguros. Leibniz supo aprovechar estos avances para aislar la verdadera naturaleza del clculo. De esta manera, la deduccin lgica pudo tener una desvinculacin respecto a los contenidos semnticos de las proposiciones; y mediante un simbolismo, las reglas de la deduccin

lgica se pudieron reducir a meras reglas de clculo, las cuales son vlidas para consideraciones no slo cuantitativas, sino tambin cualitativas. As pudo crear un sistema para tener la deduccin lgica en trminos de puro clculo, como simples operaciones formales con smbolos, a la que llam lgica matemtica o logstica, la cual puede considerarse fundada por Leibniz, aunque su verdadera construccin sea posterior. l buscaba un mtodo que pudiera seguirse de manera segura y fcil, como el hilo de Ariadna en un laberinto; de manera que ante las controversias filosficas no hubiera necesidad de discutir, sino sencillamente tomar una pluma y calcular. Es importante aclarar que el simbolismo creado por Leibniz es un simbolismo interpretado; esto es, no son signos que carezcan de significado, sino que se opera con ellos sin tener en cuenta lo que puedan significar, y no constituyen un lenguaje artificial. El camino que abri Leibniz conduca a un lenguaje artificial, y l mismo mostraba su necesidad, pues reconoca las ambigedades de los lenguajes naturales. Sin embargo su simbolismo slo es un reflejo riguroso de las estructuras formales del lenguaje ordinario, una abstraccin mxima de ste ltimo. Leibniz, que vivi en la segunda mitad del S. XVII, no alcanz a desarrollar toda la obra que conceba sobre el clculo lgico, ni siquiera sus seguidores inmediatos lo hicieron. Fue, como ya se dijo, hasta inicios del S. XX cuando Russel y Whitehead lo retomaron en su obra Principia mathematica, aunque se empez a estudiar desde la segunda mitad del S. XIX. Es posible que las aspiraciones de Leibniz fueran demasiado amplias, pues quera lograr un sistema que construyera todo el saber a partir de combinaciones de un nmero finito de conceptos elementales. Esta aspiracin podr haber hecho que Leibniz no desarrollara ms su primer clculo lgico, algo ms modesto, pero seguramente alcanzable. Por otro lado, es posible que tambin sus ideas sobre la lgica no fueran tan aceptadas por ir a veces acompaadas de ideas filosficas vagas y algunas veces de aspecto cabalstico. Sin embargo, se podra decir que su obra pudo ser valorada hasta que los tiempos estuvieran preparados para ella, esto es, que Leibniz fue alguien anticipado para su poca.

_______ Fuente: E. AGAZZI. La lgica simblica. Barcelona. Herder, 1979. Cap. 3, nn. 6-7. Pgs. 60-82.