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

Diccionario de filosofa en CD-ROM. Copyright 1996. Empresa Editorial Herder S.A.,

Barcelona. Todos los derechos reservados. ISBN 84-254-1991-3. Autores: Jordi Corts
Morat y Antoni Martnez Riu.