HISTORIA DE LA LOGICA

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.