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. El tratamiento de los silogismos
es formal y Aristteles recurre tambin al uso de variables.

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, 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.

Prior destaca cuatro aportaciones nuevas y fundamentales de la Escolstica:
(1) una teora general de la referencia, (2) una teora general de la implicacin,
(3) un desarrollo de la lgica de las modalidades, y (4) el tratamiento de
paradojas y problemas lgicos del lenguaje. 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 universal-
tiene 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, 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 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.

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, . 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.


3. La lgica matemtica

La lgica moderna nace propiamente con la publicacin, en 1879, por Gottlob
Frege, de Conceptografa, 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.