HISTO

RIA

El nacimiento de la lgica propiamente dicho est directamente relacionado con el

nacimiento intelectual del ser humano. La lgica emerge como mecanismo espontneo en
el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla.
Poncair destaca cinco etapas o revoluciones en ese proceso que se presentan entre dos
grandes tpicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas se
identifican como: Revolucin Matemtica, Revolucin Cientfica, Revolucin Formal y
Revolucin Digital adems de la prxima y prevista Revolucin 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.

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, suetiologa y su desarrollo
futuro, y las posibilidades de recuperacin.

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.

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

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, loslgicos, es considerada por varios expertos como
la primera que investig la lgica formal.

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

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.

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 de John Poinsot (15891644,
conocido como John of St Thomas), y Disputas metafsicas de Francisco Surez(1548
1617).

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.

Edad
Contempo
La idea de un clculo de razonamiento fue tambin cultivada por Gottfried Wilhelm
rnea
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." 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 Peirce-Schrder, 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