Historia de la lgica

Histricamente la palabra lgica ha ido cambiando de sentido. Comenz siendo una modelizacin de los razonamientos, propuesta por los filsofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales. Etimolgicamente la palabra lgica deriva del trmino griego logos 'razn, palabra, discurso'. En un principio la lgica no tuvo el sentido de estructura formal estricta.

Edad Antigua
La lgica, como un anlisis explcito de los mtodos de razonamiento, se desarroll originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el siglo V y el siglo I a. C. En China no dur mucho tiempo: la traduccin y la investigacin escolar en lgica fue reprimida por la dinasta Qin, acorde con la filosofa legista. En India, la lgica dur bastante ms: se desarroll (por ejemplo con la nyya) hasta que en el mundo islmico apareci la escuela de Asharite, la cual suprimi parte del trabajo original en lgica. A pesar de lo anterior, hubo innovaciones escolsticas indias hasta principios del siglo XIX, pero no sobrevivi mucho dentro de la India colonial. El tratamiento sofisticado y formal de la lgica moderna aparentemente proviene de la tradicin griega. Se considera a Aristteles el fundador de la lgica como propedutica o herramienta bsica para todas las ciencias. Aristteles fue el primero en formalizar los razonamientos, utilizando letras para representar trminos. Tambin fue el primero en emplear el trmino lgica para referirse al estudio de los argumentos dentro del lenguaje apofntico como manifestador de la verdad en la ciencia.

Edad Media
Averroes, uno de los principales rabes en rescatar la lgica aristotlica y regresarla a Occidente. Con el nombre de Dialctica en la Edad Media la Lgica mantiene la condicin de ciencia propedutica. As se estudia en la estructura de las enseanzas del Trivium como una de las artes liberales pero sin especiales aportaciones en la Alta Edad Media. En su evolucin hacia la Baja Edad Media son importantes las aportaciones rabes de Al-Farab; Avicena y Averroes, pues fueron los rabes quienes reintrodujeron los escritos de Aristteles en Europa. En la Baja Edad Media su estudio era requisito para entrar en cualquier universidad. Desde mediados del siglo XIII se incluyen en la lgica tres cuerpos

separados del texto. En la logica vetus y logica nova es tradicional escritos lgicos

Edad Moderna
Un nuevo enfoque adquiere esta lgica en las interpretaciones racionalistas de Port Royal, en el siglo XVII, (Antoine Arnauld; Pierre Nicole) pero tampoco supusieron un cambio radical en el concepto de la Lgica como ciencia. Los filsofos racionalistas, sin embargo, aportaron a travs del desarrollo del anlisis y su desarrollo en las matemticas (Descartes, Pascal y Leibniz) los temas que van a marcar el desarrollo posterior. Son de especial importancia la idea de Descartes de una Mathesis universalis y de Leibniz en la bsqueda de un lenguaje universal, especificado con precisin matemtica sobre la base de que la sintaxis de las palabras debera estar en correspondencia con las entidades designadas como individuos o elementos metafsicos, lo que hara posible un clculo o computacin mediante algoritmo en el descubrimiento de la verdad. Aparecen los primeros intentos y realizaciones de mquinas de clculo, (Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o Caracterstica Universal, es el antecedente inmediato del desarrollo de la lgica a partir del siglo XX.

Siglo XIX
A partir de la segunda mitad del siglo XIX, la lgica sera revolucionada profundamente. En 1847, George Boole public un breve tratado titulado El anlisis matemtico de la lgica, y en 1854 otro ms importante titulado Las leyes del pensamiento. La idea de Boole fue construir a la lgica como un clculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones matemticas como la suma y la multiplicacin. Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lgica formal, donde introduce las leyes de De Morgan e intenta generalizar la nocin de silogismo. Otro importante contribuyente ingls fue John Venn, quien en 1881 public su libro Lgica Simblica, donde introdujo los famosos diagramas de Venn.

Siglo XX
El siglo XX sera uno de enormes desarrollos en lgica. A partir del siglo XX, la lgica pas a estudiarse por su inters intrnseco, y no slo por sus virtudes como propedutica, por lo que estudi a niveles mucho ms abstractos.

En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental en el que logran gran parte de la matemtica a partir de la lgica, evitando caer en las paradojas en las que cay Frege. Los autores reconocen el mrito de Frege en el prefacio. En contraste con el trabajo de Frege, Principia mathematica tuvo un xito rotundo, y lleg a considerarse uno de los trabajos de no ficcin ms importantes e influyentes de todo el siglo XX. Principia mathematica utiliza una notacin inspirada en la de Giuseppe Peano, parte de la cual todava es muy utilizada hoy en da.