HISTORIA DE LA LGICA MATEMTICA

Introduccin

Al investigar sobre la historia de la lgica matemtica implica un viaje el pasado

especficamente a la Grecia clsica y nos obliga a referirnos a Aristteles como padre
de la lgica quien hizo los primeros aportes tericos sobre el tema

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

Del ao 600 aC hasta 300 aC se desarrollan en Grecia los principios formales de las
matemticas. Este periodo clsico lo protagonizan Platn, Aristteles y Euclides

Platn propone ideas o abstracciones. Aristteles resuelve el razonamiento deductivo y

sistematizado. Euclides es el autor que establece el mtodo axiomtico. En los Elementos
Euclides organiza las pruebas deductivas de que dispone dentro de una estructura
sistemtica, rigurosa, altamente eficaz.

Las matemticas y la lgica

Platn

Platn, 427aC - 347 aC, propone instaurar en Siracusa una utpica repblica dirigida por
filsofos. Crea la Academia de Atenas que no era solo una institucin filosfica, sino
centro de formacin poltica para jvenes aristcratas. Segn algunos especialistas, Platn
edifica su teora del conocimiento con el fin de justificar el poder emergente de la figura
del filsofo. Sostiene la existencia de dos mundos -el mundo de las ideas y el de mundo
fsico de los objetos. Segn Platn, lo concreto se percibe en funcin de lo abstracto y por
tanto el mundo sensible existe gracias al mundo de las ideas.

Aristteles

Los tratados de lgica de Aristteles, 384aC - 332 aC, conocidos como Organn,
contienen el primer tratado sistemtico de las leyes de pensamiento para la adquisicin
de conocimiento. Representan el primer intento serio que funda la lgica como ciencia.
Aristteles no hace de la lgica una disciplina metafsica sino que establece
correspondencias recprocas entre pensamiento lgico y estructura ontolgica.

Euclides

Matemtico alejandrino autor de la universal obra, los clebres Elementos. Uno de los
textos matemticos ms relevantes de la historia del pensamiento cientfico hasta del siglo
XIX. Los Elementos estn divididos en XIII Libros y constituyen la recopilacin ms
exhaustiva de las matemticas conocidas en el ao 300 aC. Su valor universal lo propaga
el uso riguroso del mtodo deductivo que distingue entre principios -definiciones,
axiomas y postulados-, y teoremas, que se demuestran a partir de los principios. A lo largo
de la historia se mantuvo la sospecha de que el quinto postulado era demostrable a partir
de los anteriores.

La ciencia matemtica

Ante el retroceso de la escuela clsica de los griegos se presentan periodos de autoridad

religiosa. El Renacimiento es el inicio de una nueva revolucin que revive la ciencia y las
matemticas. Los representantes ms destacados son Descartes, Newton y Leibniz. Este
periodo abarca del ao 1500dC al 1800 dC.

La Revolucin Digital

Esta revolucin se inicia con la invencin de la computadora digital y el acceso universal

a las redes de alta velocidad. Turing relaciona lgica y computacin antes que cualquier
computadora procese datos. Weiner funda la ciencia de la Ciberntica

Revolucin lgica

La siguiente Revolucin Lgica incorpora la fusin entre matemticas y computacin.

Las computadoras tienden a explorar datos inteligentemente transfiriendo informacin de
las bases de datos a las bases de conocimiento interconectadas a travs de la Red a escala
infinitesimal.

La lgica evoluciona pues como un gen hacia la culminacin del conocimiento libre que
nace del rigor formal de la Matemtica griega; emerge renovadamente de etapas de
persecucin tan oscuras como la Edad Media y otros intentos ms recientes; hasta el
intercambio constante y continuo de datos en la moderna era de estructura de redes que
Internet proporciona a modo neuronal a la Humanidad.
BIBLIOGRAFIA

ET Bell - 2016 - books.google.com

I Bochenski - 1968 - sidalc.net