Historia de la lgica

La 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
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.1
Durante los siglos VII y VIII, 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.2 El pensamiento
babilnico tuvo una considerable influencia en el pensamiento de la Grecia
arcaica.3

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 lalgica 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 delsilogismo 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: Nyya y Vaisheshika. Los Nyaya 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. Ngrjuna, el fundador del camino
intermedio Madhyamika, desarroll un anlisis conocido como "catuskoti"
o tetralemma. 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 Dignga 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-Nyya, que
introdujo un anlisis formal de la inferencia en el 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 la rgida 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 y helenstica con el auge de los
filsofos de la escuela Mu'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 alFarabi, Avicena, al-Ghazali 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
de epistemologay 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
de Avicenafue responsable de la introduccin del silogismo hipottico,4 de la lgica
modo-temporal,5 6 y de la lgica inductiva.7 8 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 alGhazali, el auge de la escuela Asharite 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,9 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 de John Poinsot (15891644,
conocido como John of St Thomas), y Disputas metafsicas de Francisco
Surez (15481617).

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 y Pierre 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 [N4]. 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." (Locke, An Essay
Concerning Human Understanding, IV. 5. 6)
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 1860-1900

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 axiomas10 son conocidos como axiomas de
Peano. Uno de estos axiomas fue una formalizacin del principio de la induccin
matemtica.

Divisin de la Lgica
Actualmente existen diferentes formas de presentar la divisin de la lgica.
Nosotros nos conformaremos con seguir el estilo de divisin ms usual y con
destacar los tipos de lgica ms significativos que han surgido a lo largo de la
historia de la filosofa.
Adems de la divisin de la Lgica en sus dos bloques bsicos (tradicional y
simblica) debemos resaltar algunas de las numerosas diferencias que existen
entre ambas:

Cuadro Comparativo
Lgica Tradicional

Lgica Simblica

1. Es exclusivamente una Lgica de

trminos. Utiliza el lenguaje comn o
material.

1. Posee mayor amplitud. Utiliza un

lenguaje artificial.

2. Slo se simboliza los trminos (los

variables).

2. Se representan tanto los trminos

como las proposiciones y los signos
lgicos (variables y constantes).

3. El nico modelo de proposicin que

debe ser considerado es el tipo A de B
3. Puede analizar cualquier tipo de
(o A no es B). Slo es capaz de formular proposicin aunque indiquen
proposiciones que expresar cualidades. unarelacin.

La lgica se divide en analtica y dialctica.

La analtica pone de manifiesto por la descomposicin todas las operaciones
intelectuales que tienen lugar en el pensamiento en general; es, pues, una
analtica de la forma del entendimiento y la razn. Se llama tambin, con justo
ttulo, lgica de la verdad porque contiene las reglas necesarias de toda verdad
(formal) sin las que nuestro conocimiento no es verdadero considerado en s
mismo, independientemente de los objetos. Acorde a esto, ella no es otra cosa que
una regla para el juicio crtico de la legitimidad formal de nuestro conocimiento.
Si se quisiese hacer servir esta doctrina puramente terica y general como arte
prctico, es decir, si se empleara como rgano, vendra a ser en este caso una
dialctica, una lgica de la apariencia (ars sofstica, disputatoria), lgica que
resulta del simple abuso de la analtica. Este abuso consiste en volver solamente la
forma lgica para simular un conocimiento verdadero en el que siempre los
elementos deben estar tomados de conformidad con los objetos por razn del
contenido.
La dialctica se estudi en otro tiempo con gran diligencia. Este arte asentaba
engaosamente falsos principios bajo la apariencia de verdad, y buscaba como
consecuencia de estos principios, el afirmar ciertas cosas segn esta misma
apariencia. En tiempo de los griegos los dialcticos eran abogados y retricos que
conducan al pueblo como queran, porque el pueblo se dejaba extraviar por la
apariencia. La dialctica ha sido, pues, por mucho tiempo el arte de la apariencia;

por mucho tiempo tambin ha sido enseada en lgica este arte de la apariencia
bajo el nombre de arte de disputar. Durante este tiempo la lgica y la filosofa no
consistan ms que la formacin de charlatanes para emparentarlo todo con la
suerte.
Nada puede haber ms indigno de un filsofo que el estudio de una ciencia
semejante. La dialctica entendida as debe caer en desuso absoluto, y ser
reemplazada en por una crtica de esta apariencia.
Tenemos, pues, dos partes en la lgica: la analtica, que expone los criterios
formales de la verdad, y la dialctica que abraza los signos y reglas segn los
cuales podemos saber si una cosa conforma o no con los criterios formales de la
verdad, no obstante la apariencia por contrario.
En este sentido, pues, la dialctica tendr todava una gran utilidad como catrtica
del entendimiento.