HISTORIA DE LA LGICA Documenta el desarrollo de la lgica en varias culturas y tradiciones a lo largo de la historia.

Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lgico estaba ya implcito en Babilonia en algn sentido, la lgica como anlisis explcito de los mtodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia. Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que la lgica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lgica proviene de la tradicin griega, especialmente del Organon aristotlico, cuyos logros seran desarrollados por los lgicos islmicos y, luego, por los lgicos de la Edad Media europea. El descubrimiento de la lgica india entre los especialistas britnicos en el siglo XVIII influy tambin en la lgica moderna. La Edad Antigua La Mesopotamia En Mesopotamia, el Manual de diagnstico mdico de Esagil-kin-apli, escrito en el siglo XI a. C., se bas en un conjunto lgico de axiomas y asunciones, entre las que se incluyen la visin moderna de que, a travs del examen e inspeccin de los sntomas de un paciente, es posible determinar el problema del mismo, su etiologa y su desarrollo futuro, y las posibilidades de recuperacin. Durante los siglos VIII y VII, los astrnomos babilonios empezaron a utilizar una lgica interna en sus sistemas de prediccin planetaria, que fue una importante contribucin a la lgica y la filosofa de la ciencia. El pensamiento babilnico tuvo una considerable influencia en el pensamiento de la Grecia arcaica. La Antigua Grecia En la Antigua Grecia, emergieron dos tradiciones lgicas opuestas. La lgica estoica estaba enraizada en Euclides de Megara, pupilo de Scrates, y con su concentracin en la lgica proposicional es la que quizs est ms prxima a la lgica moderna. Sin embargo, la tradicin que sobrevivi a las influencias de culturas posteriores fue la peripattica, que tuvo su origen en el conjunto de obras de Aristteles conocido como Organon, "instrumento", la primera obra griega sistemtica sobre lgica. El examen de Aristteles del silogismo permite interesantes comparaciones con el esquema indio de la inferencia y la menos rgida discusin china. A travs del latn en Europa occidental y de distintas lenguas orientales, como el rabe, armenio y georgiano, la tradicin aristotlica fue considerada de forma especial para la codificacin de las leyes del razonamiento. Solo a partir del siglo XIX cambi este enfoque. La Antigua India Dos de las seis escuelas indias de pensamiento estn relacionadas con la lgica: Ny ya y Vaisheshika. LosNyaya Sutras de Aksapada Gautama constituyen el

ncleo de textos de la escuela Nyaya, una de las seis escuelas ortodoxas de filosofa hind. Esta escuela realista trabaj con un rgido esquema de inferencia de cinco miembros que engloba una premisa inicial, una razn, un ejemplo, una aplicacin y una conclusin. La filosofa budista idealista se convirti en la principal oponente de los Naiyayikas.N g rjuna, el fundador del camino intermedio Madhyamika, desarroll un anlisis conocido como "catuskoti" otetralemma. Esta argumentacin de cuatro aspectos examin y rechaz sistemticamente la afirmacin de una proposicin, su negacin, la afirmacin conjunta y negacin, y finalmente, el rechazo de su afirmacin y negacin. Pero fue con Dignaga y su sucesor Dharmakirti con quienes la lgica budista alcanz su mayor altura. Su anlisis, centrado en la definicin de la implicacin necesariamente lgica, "vyapti", conocida tambin como concomitancia o penetracin invariable. A este fin, fue desarrollada una doctrina conocida como "apoha" o diferenciacin. Comprende lo que se podra llamar la inclusin y exclusin de propiedades definitorias. Las dificultades concernientes a esta empresa, en parte, estimularon a la escuela neoescolstica de Navya-Ny ya, que introdujo un anlisis formal de la inferencia en al siglo XVI. La Antigua China En China, un contemporneo de Confucio, Mozi, "Maestro Mo", es considerado como el fundador de la escuela Mohista (mohsmo), cuyos principios estn relacionados con temas como la inferencia vlida y las condiciones de las conclusiones correctas. En particular, una de las escuelas que siguieron al mohsmo, los lgicos, es considerada por varios expertos como la primera que investig la lgica formal. Desafortunadamente, debido a largida normativa legal durante la dinasta Qin, esa lnea de investigacin desapareci de China hasta la introduccin de la filosofa india por parte del budismo. La Edad Media El mundo islmico Durante un tiempo tras la muerte de Mahoma, la ley islmica consider importante formular estndares para los argumentos, lo que dio lugar a una nueva aproximacin a la lgica en Kalam, pero esta aproximacin fue ms tarde desplazada por ideas tomadas de la filosofa griega yhelenstica con el auge de los filsofos de la escuelaMu'tazili, que valoraron extraordinariamente el Organon de Aristteles. Las obras de los filsofos islmicos con influencias helensticas fueron cruciales para la recepcin de la lgica aristtelica en la Europa medieval, junto con los comentarios sobre el Organon elaborados por Averroes. Las obras de al-Farabi, Avicenna, alGhazali y otros lgicos musulmanes que en ocasiones criticaron y corrigieron la lgica aristotlica e introdujeron sus propias formas de lgica, tambin desempearon un papel central en el subsecuente desarrollo de la lgica europea medieval. La lgica islmica no solo incluye el estudio de modelos formales de inferencia y su validacin, sino tambin elementos de la filosofa del lenguaje y elementos deepistemologa y metafsica. Debido a disputas con gramticos rabes, los filsofos islmicos estuvieron muy interesados en trabajar en el estudio de las relaciones entre lgica y lenguaje, y dedicaron muchas discusiones a la cuestin del objeto de inters y

objetivos de la lgica en relacin con el razonamiento y el habla. En el rea del anlisis lgico-formal, elaboraron la teora de los trminos, proposiciones y silogismos. Consideraron el silogismo como la forma a la que toda argumentacin racional poda reducirse, y consideraron la teora silogstica como el punto central de la lgica. Incluso, la potica fue considerada, en ciertos aspectos, como un arte silogstico por muchos de los ms importantes lgicos islmicos. Entre los ms importantes desarrollos realizados por los lgicos musulmanes est el de la lgica de Avicena como sustituta de la lgica aristotlica. El sistema lgico deAvicena fue responsable de la introduccin del silogismo hipottico, de la lgica modo-temporal, y de la lgica inductiva. Otro importante desarrollo en la filosofa islmica es el de una estricta ciencia de la cita, la isnad o "revisin", y el desarrollo de un mtodo cientfico de investigacin abierta para poner en cuestin determinadas afirmaciones, la ijtihad, que poda aplicarse normalmente a muchos tipos de cuestiones. Desde el siglo XII, a pesar de la sofisticacin lgica de al-Ghazali, el auge de la escuelaAsharite al final de la Edad Media limit poco a poco la obra original sobre lgica en el mundo islmico, aunque continu posteriormente en el siglo XV. La Europa medieval Se entiende habitualmente por "lgica medieval" (tambin conocida como "lgica escolstica") la forma de la lgica aristotlica desarrollada en la Europa medieval en el periodo de c 12001600. Esta tarea comenz tras las traducciones al latn del siglo XII, cuando textos rabes sobre lgica aristotlica y la lgica de Avicena fueron traducidos a la lengua de Roma. Aunque la lgica de Avicena tuvo influencia en los primeros lgicos medievales europeos tales como Alberto Magno, la tradicin aristotlica se convirti en la dominante debido a la importante influencia del averrosmo. Tras la fase inicial de traducciones, la tradicin de la lgica medieval fue desarrollada en manuales como el de Petrus Hispanus (fl. siglo XIII), de identidad desconocida, que fue autor de un manual estndar sobre lgica, el Tractatus, que fue bien conocido en Europa durante varios siglos. La tradicin alcanz su punto ms alto en el siglo XIV, con las obras de Guillermo de Ockham (c. 12871347) y Jean Buridan. Un rasgo del desarrollo de la lgica aristotlica se conoce con el nombre de teora de la suposicin, un estudio de la semntica de los trminos de la proposicin. La ltimas grandes obras de esta tradicin son Logic deJohn Poinsot (15891644, conocido como John of St Thomas), y Disputas metafsicas de Francisco Surez(1548 1617). La Edad Moderna La lgica de Port-Royal La expresin "lgica tradicional" hace referencia, habitualmente, a la tradicin de manuales que comienza con La logique ou l'art de penser de Antoine Arnauld yPierre Nicole, ms conocido como Lgica de Port-Royal. Publicada en 1662, fue la ms influyente obra sobre lgica en Inglaterra hasta el Sistema Lgico de Mill de 1825. El

libro presenta una muy libre doctrina cartesiana (que la proposicin es una combinacin de ideas antes que de trminos, por ejemplo) dentro de un marco que se deriva ampliamente de la lgica de trminos aristotlica y medieval. Entre 1664 y 1700 se publicaron ocho ediciones, y el libro tuvo considerable influencia. Fue frecuentemente reeditado en Inglaterra hasta finales del siglo XIX. El tratamiento que realiza Locke de la proposicin en el Ensayo es, esencialmente, el de Port-Royal: "Las proposiciones verbales, que son palabras, [son] los signos de nuestras ideas, ya vayan juntas o separadas en oraciones afirmativas o negativas. As, pues, la proposicin consiste en juntar o separar esos signos, de acuerdo con las cosas con las que estn de acuerdo o en desacuerdo." Los trabajos ms conocidos dentro de esta tradicin son los de Isaac Watts, Logick: Or, the Right Use of Reason(1725), Richard Whately, Logic (1826), y John Stuart Mill, A System of Logic (1843), que fue una de las ltimas grandes obras de la tradicin. La Edad Contempornea Histricamente, Descartes puede que haya sido el primer filsofo en haber tenido la idea de usar el lgebra, especialmente sus tcnicas para resolver cantidades desconocidas en las ecuaciones, como vehculo para la exploracin cientfica. La idea de un clculo de razonamiento fue tambin cultivada por Gottfried Wilhelm Leibniz. Leibniz fue el primero en formular la nocin de un sistema de lgica matemtica aplicable de forma generalizada. Sin embargo, los documentos relevantes al respecto no fueron publicados hasta 1901 y muchos de ellos siguen sin estar publicados, y la actual comprensin del poder de los descubrimientos de Leibniz no empez a desarrollarse hasta los aos ochenta. Gottlob Frege en su Begriffsschrift (1879) extendi la lgica formal ms all de la lgica proposicional para incluir constructores como "todo" y "algunos". Mostr cmo introducir variables y cuantificadores para revelar la estructura lgica de las oraciones, que podra estar ocultas tras su estructura gramatical. Por ejemplo, "Todos los seres humanos son mortales" se convierte en "Toda cosa x es tal que, si x es un ser humano entonces x es mortal." La peculiar doble notacin dimensional de Frege hizo que su obra fuese ignorada durante muchos aos. En un magistral artculo de 1885 ledo por Peano, Ernst Schrder y otros, Charles Peirce introdujo el trmino "Lgica de segundo orden" proporcionando la mayor parte de la moderna notacin lgica, incluyendo los smbolos prefijados para la cuantificacin universal y existencial. Los lgicos de finales del siglo XIX y de comienzos del XX estuvieron ms familiarizados con el sistema lgico de PeirceSchrder, aunque generalmente se reconoce que Frege es el Padre de la lgica moderna. En 1889, Giuseppe Peano public la primera versin de la axiomatizacin lgica de la aritmtica. Cinco de los nueve axiomas son conocidos como axiomas de Peano. Uno de estos axiomas fue una formalizacin del principio de la induccin matemtica.