lgica, historia de la HIST.

Desarrollo de la lgica occidental a travs del tiempo, desde su nacimiento con Aristteles hasta la aparicin y florecimiento de la lgica moderna. Se la considera fruto de la convergencia de cuatro lneas de pensamiento marcadas por: la lgica antigua, la idea de un lenguaje universal para la ciencia, el desarrollo del lgebra y la aritmtica en el s. XIX, o desarrollo de la matemtica de la lgica, y las investigaciones de la lgica de la matemtica (ver cita).

Pulsar sobre los recuadros para acceder a la informacin

1. La lgica antigua Su creador es Aristteles con el Organon, o conjunto de obras lgicas: Categoras, que trata de los trminos, De la interpretacin, donde estudia el enunciado , Analticos primeros, donde estudia el silogismo y Analticos segundos, que trata de la demostracin, Tpicos y Elencos sofsticos, donde trata del silogismo dialctico y sofstico, respectivamente. Se afirma, no obstante, que Parmnides, los sofistas y el mismo Platn, pueden considerarse por lo menos antecedentes y predecesores de algunas teoras lgicas. Aristteles es, en todo caso, el primero en desarrollar un sistema completo de lgica, que se conoce con el nombre de silogstica. Es sta una lgica de predicados basada en los trminos y en la predicacin, o manera como se atribuye al sujeto el predicado, en la frase o proposicin, cuya estructura se indica con la expresin S es P (ver texto y ejemplo). El tratamiento de los silogismos es formal y Aristteles recurre tambin al uso de variables. Estudios de historia de la lgica han demostrado que el sistema lgico aristotlico es consistente y decidible. Su obra fue continuada y perfeccionada por Teofrasto de Eresos, segundo director del Liceo, sobre todo en lo que respecta a la lgica modal y a la lgica de enunciados o proposiciones, slo implcitamente supuesta por Aristteles. Quienes desarrollaron sistemticamente la lgica de enunciados fueron, sin embargo, los megricos (entre 400 y 275 a.C.) y los estoicos (entre 300 y 200 a.C.). Con ellos aparece el recurso a diversas formas de argumentacin, y no a la sola implicacin, y analizan el valor de las conectivas como funciones veritativas. A los megricos, entre quienes destacan Diodoro Cronos y Filn de Megara, se debe la formulacin de las primeras paradojas lgicas, atribuidas principalmente a Eublides (ver cita), el estudio de los enunciados modales e intensas discusiones sobre el sentido del condicional. Diodoro sostiene que un enunciado condicional es verdadero si y slo si no puede enunciarse, en ningn momento, como compuesto de un antecedente verdadero y un consecuente falso. Mientras que Filn sostiene que un enunciado condicional debe interpretarse verdadero en todo caso, menos cuando el antecedente es verdadero y el consecuente falso. As, para el primero, si es de noche, entonces es de da, nunca es un enunciado verdadero, mientras que, para el segundo, este enunciado es verdadero dicho durante el da. A esta interpretacin filoniana del condicional se le ha llamado modernamente implicacin material, segn

la cual Si P, entonces Q equivale a O no P o Q. Entre los estoicos, Crisipo de Soli, llamado segundo fundador de la Estoa, destaca como uno de los principales lgicos griegos. La lgica estoica es una lgica de enunciados ya en desarrollo, basada en el principio de bivalencia (a ellos se debe la definicin de enunciado - que llaman axioma- como lo que puede ser verdadero o falso), que recurre a la negacin, conjuncin, disyuncin (exclusiva, y quiz la inclusiva) y el condicional filoniano, como conectivas definidas a modo de funciones veritativas; con ellas construan los principios lgicos (ver cita). Las discusiones sobre el condicional, unidas a las de los megricos, fueron tantas y tan intensas que Calmaco (s. II a.C.) afirmaba que hasta los cuervos graznan por los tejados acerca de este problema. El famoso mdico Galeno (entre los aos 129 y 199 d.C.), que escribe una Introduccin a la dialctica, as como comentarios a la lgica de Aristteles, Teofrasto y los estoicos, mezcla la lgica aristotlica con la estoica. Se le atribuye, asimismo, la introduccin de la cuarta figura del silogismo (algunos la atribuyen al filsofo judo Albalag, del s. XIII). Tras el perodo estoico, durante la poca de los comentadores, iniciada por la labor recopiladora de Andrnico de Rodas, florecen comentarios sobre las obras lgicas de Aristteles. As, Alejandro de Afrodisia (s. III), Porfirio (s. III), Simplicio (s. VI) y Filopn (s. VI). Entre los romanos del mismo perodo, especial relevancia tiene Boecio, a travs del cual penetran, por primera vez, en el occidente latino algunas de las obras lgicas de Aristteles: traduce Categoras y De la interpretacin, sobre las que tambin redacta comentarios; escribe Sobre el silogismo categrico y Sobre el silogismo hipottico, y comenta adems la Eisagog, del neoplatnico Porfirio y Topica, de Cicern. De los comentarios de Boecio a la Eisagog, procede en buena medida el llamado problema de los universales, de tanta importancia filosfica especialmente durante la Edad Media (ver cita). La lgica medieval, -entendiendo por tal la que se desarrolla en el occidente cristiano durante la Edad Media, del s. XI al XV-, es heredera de la lgica griega y, en especial, de la silogstica aristotlica. A.N. Prior destaca cuatro aportaciones nuevas y fundamentales de la Escolstica: (1) una teora general de la referencia (suppositio terminorum), (2) una teora general de la implicacin (consequentia), (3) un desarrollo de la lgica de las modalidades, y (4) el tratamiento de paradojas y problemas lgicos del lenguaje (ver cita). El primer tratado medieval de lgica es la Dialctica, de Alcuino, obra escrita en forma de dilogo para ser utilizada en el trivium, base de la enseanza elemental medieval, que Alcuino restaura a iniciativa del emperador Carlomagno. Durante un largo perodo de tiempo, la lgica queda relegada a estas nociones elementales de las artes liberales. La aparicin de los dialcticos del s. XI y las primeras discusiones sobre la naturaleza de los universales renuevan el inters por la lgica y su relacin con la gramtica. El primer lgico medieval importante es Pedro Abelardo. Sus obras de mayor inters son la Dialctica, en la que reelabora la herencia lgica dejada por Boecio, y Sic et Non, en la que introduce uno de los procedimientos ms caractersticos del estudio de las cuestiones en la Escolstica. A partir de la segunda mitad del s. XII, se conocen ya en occidente el resto de obras lgicas de Aristteles; la lgica basada en estas nuevas obras se conoci con el nombre de ars nova, o nueva lgica, la usada ya en las universidades del s. XIII. La doble direccin en el estudio de la lgica que existi en stas -por un lado, el estudio ms formal de la lgica desarrollado con cierta libertad e independencia por las facultades de artes, basado en las primeras obras conocidas del Organon aristotlico, ms Analticos primeros, Tpicos y Elencos sofsticos, y por otra, un estudio de la lgica en consonancia con la metafsica aristotlica y Analticos segundos, llevado a cabo por las facultades de teologa, ms fieles al pensamiento aristotlico- dio origen a la logica antiqua, de las facultades teolgicas, y a la logica moderna, de las facultades de artes. El autor ms representativo de esta lgica moderna es Pedro Hispano; sus obras de lgica, Summulae Logicales, fueron los manuales usuales

durante los siglos XIV y XV, con ms de 150 ediciones. A finales del s. XIII, la lgica moderna se instala en Oxford, donde consigue sus momentos ms lgidos con Roberto Kilwarby, Juan Duns Escoto (aunque los tratados lgicos se atribuyen a un Pseudo-Escoto) y, sobre todo, Guillermo de Occam. La doctrina sobre las consecuencias, desarrollada de un modo especial durante esta poca, representa una de las influencias de la lgica estoica sobre la medieval. Consecuencia es, para los medievales, un condicional o un argumento con la partcula ergo uniendo enunciados. Se discute intensamente cules son las condiciones de verdad tanto de los condicionales como de estos argumentos y se escriben al respecto tratados titulados De Consequentiis. Tales tratados, aunque no eran independientes de la lgica aristotlica, recogen algunas de las leyes fundamentales de la lgica de enunciados. Se aade la teora de la suppositio, o de la significacin de un mismo trmino segn el lugar que ocupa en un enunciado. Estas teoras guardan relacin con la teora moderna de la cuantificacin. 2. La lengua perfecta La bsqueda de una lengua perfecta -un lenguaje completo, simple y universaltiene en el Ars Magna [El gran arte], de Ramon Llull, sus orgenes medievales. Segn Llull, con 54 ideas bsicas podra tejerse un gran arte para expresar cualquier verdad necesaria al hombre. Descartes y Leibniz son -sin olvidar, no obstante, a George Dalgarno, con Ars Signorum (1616), Atanasio Kircher, con su Novum hoc inventum quo omnia mundi idiomata ad unum reducuntur [Nuevo invento con el que se reducen a uno todos los idiomas del mundo] (1660), que incluye un diccionario de 1620 palabras, y John Wilkins, con Essay towards a Real Character and a Philosophical Language [Ensayo a favor de un alfabeto real y un lenguaje filosfico] (1668)- los principales valedores de una characteristica universalis, de un lenguaje universal de proposiciones verdaderas que pudiera ser usado para razonar cientficamente. Descartes busca, desde los das en que conoce a I. Beeckman, y superando a Llull, una ciencia totalmente nueva, que permita resolver en principio todas las cuestiones (ver cita), o un lenguaje universal vinculado a la verdadera filosofa, que elimine la posibilidad de equivocarse razonando (ver cita). Leibniz -el nico, por otra parte, de sus contemporneos que no cree, como s har poco despus Kant, que la lgica sea un saber ya totalmente establecido y acabado, y a quien se atribuye la paternidad de la expresin lgica matemtica- es el defensor por antonomasia de una mathesis universalis, o lenguaje universal matemtico, que, desde su primera Dissertatio de arte combinatoria, escrita a los veinte aos, en 1666, hasta las ms tardas Elementa characteristicae generalis e Historia et commendatio linguae characteristicae y aun su proyecto de una enciclopedia universal, no cesa de identificar el razonamiento y el clculo, con el apoyo de signos o de conceptos primeros (ver cita). Adems de estos autores que pueden considerarse precursores de la lgica matemtica, ha de recordarse la Lgica de Port-Royal: Logique, ou lArt de penser [Lgica, o arte de pensar] (1622), de Antoine Arnauld y Pierre Nicole, y que mantiene una perspectiva antiescolstica y antiaristotlica, defendida anteriormente sobre todo por Petrus Ramus, pero tambin por Bacon, Descartes, Pascal y otros. Su orientacin psicologista ser decisiva a todo lo largo de los siglos XVII a XIX. Bernard Bolzano es uno de los pocos, y el principal, que no sigue esta orientacin psicologista. El hecho de contemplar la lgica como teora de la ciencia hace que se interese, no por los aspectos psicolgicos, sino por el estudio formal de los trminos y enunciados. 3) La matemtica de la lgica Pese a que el empirismo clsico ingls, Locke en especial, se olvida por completo de la lgica, son ingleses quienes, a mediados del s. XIX, comienzan a desarrollar en la prctica las ideas de Leibniz sobre un clculo lgico universal. Este perodo inicial, protagonizado por los britnicos W. Hamilton (1788-1856), G. Boole,

sobre todo, A. de Morgan, W.S. Jevons y el alemn E. Schroeder (1841-1912), representa el desarrollo de la matemtica de la lgica -o lgebra de la lgica-, poderosamente influida por los cambios experimentados en el lgebra y la geometra entre 1825 y 1900, iniciados con la distincin entre lgebra aritmtica y lgebra simblica, hecha por George Peacock (1791-1858) en Tratado de lgebra (1842-1845). Boole concibe la lgica como un lgebra de clases; se basa en el supuesto de que la lgica es una parte de la matemtica, y el paralelismo que se establece entre ambas le permite entender los enunciados como ecuaciones. En Las leyes del pensamiento (1854) formula las leyes del anlisis matemtico de la lgica. Las investigaciones posteriores en la matemtica de la lgica son desarrollos de sus teoras, correccin de sus errores, mejora y simplificacin de los mtodos de expresin, o ampliacin de sus perspectivas, hasta su axiomatizacin. As, por ejemplo, William Stanley Jevons, constructor por otra parte de una mquina de razonar, sugiere que la suma o unin de clases (x+y) sea entendida como la clase de las cosas que son x, y o x e y a un tiempo (o inclusiva), nocin tambin admitida por A. de Morgan, y reemplaza la expresin booleana del complemento de clase, 1-a, por la actual, a . Ch.S. Peirce, que llama a su sistema lgebra General de la Lgica, es uno de los autores que amplan la obra empezada por Boole, elaborando algebraicamente la lgica de las relaciones; de ah surge la idea de que la lgica de enunciados es la base de la lgica en general. 4. La lgica matemtica La lgica moderna nace propiamente con la publicacin, en 1879, por Gottlob Frege, de Conceptografa (ver cita), ensayo que, junto con su obra de mayor importancia, Fundamentos de la geometra (1884), pas inadvertida hasta que la obra de Russell, Principios de las matemticas (1903), llam la atencin sobre su contenido. La pequea obra de 1879 representa la formalizacin completa de la lgica elemental, o el primer sistema completo de lgica elemental, y muestra que la aritmtica se identifica con la lgica, o que es una parte de la lgica, en aparente contraposicin con la postura de Boole. La teora de los cuantificadores ha sido considerada como la novedad de mayor relieve introducida por Frege y una de las aportaciones lgicas de mayor importancia del s. XIX; aplicada a los enunciados categricos representa un punto claro de unin entre la lgica aristotlica de trminos y la lgica de enunciados iniciada por los estoicos. Los Principia Mathematica (1910-1913), de A.N. Whitehead y B. Russell, culminan la comprensin de la lgica como sistema deductivo iniciada por la obra de Frege, cuyo desarrollo, en diversas vertientes, persiste en la actualidad como teora lgica admitida ya como clsica. Despus de los Principia Mathematica, las investigaciones lgicas se han ocupado preferentemente del perfeccionamiento de la formulacin axiomtica del sistema de lgica que proponen y del estudio de las propiedades formales de los clculos lgicos: consistencia, completud y decidibilidad. El rechazo del punto de vista de Frege, reafirmado en principio por Whitehead y Russell, de que la matemtica es lgica, lleva a la aparicin de filosofas de la matemtica rivales: la filosofa formalista de la matemtica de Hilbert y la concepcin intuicionista de Luitzen Egbertus Jan Brouwer. Reaccin tambin a la obra lgica de Whitehead y Russell son las lgicas no clsicas polivalentes, no fundadas ya en el principio de bivalencia: Lukasiewicz y Post son los primeros en desarrollar lgicas trivalentes. Arend Heyting (1898-1980) formula una lgica intuicionista, que aplicando los principios matemticos de Brouwer abandona el principio del tercero excluso.