historia de la lógica y quien fue el padre de la lógica.

Aristóteles nació en 384 a. C. en la ciudad de Estagira (razón por la cual se lo apodó el Estagirita),6 no lejos del actual Monte Athos, en la península Calcídica, entonces perteneciente al Reino de Macedonia (actual Macedonia). Su padre, Nicómaco, fue médico del rey Amintas III de Macedonia,7 hecho que explica su relación con la corte real de Macedonia, que tendría una importante influencia en su vida. En 367 a. C., cuando Aristóteles tenía 17 años, su padre murió y su tutor Proxeno de Atarneo lo envió a Atenas, por entonces un importante centro intelectual del mundo griego, para que estudiase en la Academia de Platón.8 Allí permaneció por veinte años.8 Tras la muerte de Platón en 347 a. C., Aristóteles dejó Atenas y viajó a Atarneo y a Aso, en Asia Menor, donde vivió por aproximadamente tres años bajo la protección de su amigo y antiguo compañero de la Academia, Hermias, quien era gobernador de la ciudad.8 Cuando Hermias fue asesinado, Aristóteles viajó a la ciudad de Mitilene, en la isla de Lesbos, donde permaneció por dos años.7 8 Allí continuó con sus investigaciones junto a Teofrasto, nativo de Lesbos, enfocándose en zoología y biología marina.7 Además se casó con Pythias, la sobrina de Hermias, con quien tuvo una hija del mismo nombre.8 En 343 a. C., el rey Filipo II de Macedonia convocó a Aristóteles para que fuera tutor de su hijo de 13 años, que más tarde sería conocido como Alejandro Magno.7 8 Aristóteles viajó entonces a Pella, por entonces la capital del imperio macedonio, y enseñó a Alejandro durante, al menos, dos años, hasta que inició su carrera militar.8 En 335 a. C., Aristóteles regresó a Atenas y fundó su propia escuela, el Liceo (llamado así por estar situado dentro de un recinto dedicado al dios Apolo Licio).8 A diferencia de la Academia, el Liceo no era una escuela privada y muchas de las clases eran públicas y gratuitas.7 A lo largo de su vida Aristóteles reunió una vasta biblioteca y una cantidad de seguidores e investigadores, conocidos como los peripatéticos (de περιπατητικός, 'itinerantes', llamados así por la costumbre que tenían de discutir caminando).7 La mayoría de los trabajos de Aristóteles que se conservan son de este período.7 Cuando Alejandro murió en 323 a. C., es probable que Atenas se volviera un lugar incómodo para los macedonios, especialmente para quienes tenían las conexiones de Aristóteles.7 8 Tras declarar (según se cuenta) que no veía razón para dejar que Atenas pecara dos veces contra la filosofía (en referencia a la condena de Sócrates), Aristóteles dejó la ciudad y viajó a Calcis, en la isla de Eubea, donde murió al año siguiente, en 322 a. C., por causas naturales.7 8.

El nacimiento de la lógica propiamente dicho está directamente relacionado con el nacimiento intelectual del ser humano. La lógica emerge como mecanismo espontáneo 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 tópicos: del rigor y la formalidad, a la creatividad y el coas. Las etapas se identifican como: Revolución Matemática, Revolución Científica, Revolución Formal y Revolución Digital además de la próxima y prevista Revolución Lógica. Lógica Matemática La lógica matemática cuestiona con rigor los conceptos y las reglas de deducción utilizados en matemáticas lo que convierte la lógica en una especie de metamatemática. Una teoría matemática considera objetos definidos -enteros, por ejemplo- y define leyes que relacionan a estos objetos entre sí, los axiomas de la teoría. De los axiomas se deducen nuevas proposiciones -los teoremas-, y a veces, nuevos objetos. La construcción de sistemas formales -formalización, piedra angular de la lógica matemática-, permite eliminar la arbitrariedad en la elección de los axiomas y definir explícita y exhaustivamente las reglas de la deducción matemática. Las matemáticas y la lógica Del año 600 aC hasta 300 aC se desarrollan en Grecia los principios formales de las matemáticas. Este periodo clásico lo protagonizan Platón, Aristóteles y Euclides. Platón propone ideas o abstracciones. Aristóteles resuelve el razonamiento deductivo y sistematizado. Euclides es el autor que establece el método axiomático. En los Elementos Euclides organiza las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa, altamente eficaz.