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

Historia de la Lgica

Carpeta Pedaggica Carpeta Pedaggica

Historia de la Lgica

Historia de la Lgica

Edad antigua

Aristteles de Estagira (384 a.c. 322 a.c.) considerado como creador de la Lgica, sin
embargo sus predecesores desarrollaron y cultivaron la inferencia y la prueba en los diferentes
debates que por aquel tiempo realizaban los filsofos.

En el plano sintctico y semntico del lenguaje Protgoras fue el primero en estudiar las
oraciones, Platn en su obra Sofista trat tambin las afirmaciones y las negaciones, introduce
la nocin del mtodo axiomtico que ms tarde fue completado por Aristteles cuyo mrito
radica el haber sistematizado la lgica formal codificando las formas de argumentacin
correcta que es donde radica la naturaleza de la lgica como ciencia. Los escritos lgicos de
Aristteles estn contenidos en su libro Organon que significa instrumento para pensar
correctamente (propedutica o metodologa), este libro contiene los cinco tratados siguientes:
las categoras, las proposiciones, los analticos, (primeros y segundos) los tpicos y las
refutaciones sofsticas. Los analticos es el tratado que contiene la naturaleza de la lgica y el
Silogismo que trata del razonamiento lgico aristotlico usando proposiciones categricas.

Aristteles aporta a la lgica la introduccin del uso de variables, las proposiciones por su
cantidad y su cualidad, el raciocinio deductivo, las formalizaciones de la Lgica y el desarrollo
silogstico.
Ms adelante Teofrasto y Eudemo aportaron los silogismos hipotticos condicionales
perteneciente a la lgica de las proposiciones los Megariacos plantean el significado de las
proposiciones Si - entonces los Estoicos desarrolla la lgica Verdadero Falso de las
proposiciones.

Edad media

La Lgica Medieval se basa en el trabajo de Aristteles, es recogida por los sacerdotes y

cultivado mayormente en los conventos, escuelas y universidades de Europa Occidental.

Los estudios de los lgicos profesionales estuvo dirigido al comentario del Organon destacando
Pedro Hispano y Juan Buridan estableciendo que de Dos premisas contradictorias, se puede
deducir cualquier conclusin.

Edad Moderna

La poca moderna marca el inicio de la Lgica Matemtica. El precursor de esta lgica es

Guillermo G. Leibniz quien introdujo el clculo lgico llamado Mathesis Universalis que fuese
operacionalmente mecnico, inequvoco y no cuantitativo que permitiera acabar con todas las
disputas y controversias. tambin desarroll el clculo de la Lgica Proposicional. Euler es otro
de los precursores de la Lgica Matemtica, introdujo los diagramas que llevan su nombre
para ilustrar geomtricamente los silogismos.

Edad Contempornea

El siglo XIX se caracteriza por el nivel de abstraccin que alcanza la lgica matemtica
destacando Hamilton sobre la cuantificacin de todo o alguno. Augusto de Morgan considera
que la base, comn de la lgica radica en las relaciones de inclusin o exclusin parcial o total
entre clases; George Boole construye la Teora de Clases. Venn aclara los procedimiento de
Boole representando los procesos algebraicas en los diagramas de Venn. Giussepe Peano da a
la lgica el nombre de lgica matemtica creando un lenguaje simblico para las
demostraciones matemticas propuso el uso de los puntos auxiliares y un modo de simbolizar
los cuantificadores. Bertrand Russell en su obra Los Principios de la matemtica propone que
las matemticas puedan reducirse a una rama de la lgica generando en su obra
investigaciones sobre la inferencia y sus respectivas aplicaciones.
En el siglo XX la lgica simblica, que tanto deba a la matemtica haba desembocado, desde
principio del siglo, en cuestiones irresolubles. Esto produjo un paulatino alejamiento de la
lgica con respecto a la matemtica, as como un deslindamiento de las competencias
respectivas. Por un lado, la lgica, alejndose del excesivo formalismo y simbolismo, empieza a
ocuparse y preocuparse de problemas semnticos, es decir de las relaciones entre los smbolos
y lo que expresan. Se producen as un acercamiento de la lgica a la lingstica y a la
epistemologa. Filsofos como L. Wittgenstein, R. Carnap inicialmente bajo la influencia
formalista y logicista, dan un viraje en su filosofar orientndose hacia preocupaciones lgico -
semntica.