-
Period: 485 BCE to 347 BCE
Precursores de la lógica.
Protágoras fue el primero en estudiar las oraciones, Platón en su obra Sofista trató también las afirmaciones y las negaciones, introduce la noción del método axiomático que más tarde fue completado por Aristóteles. -
Period: 400 BCE to 476
Edad Antigua.
Durante este periodo la lógica empezó a surgir, grandes filósofos como Platón, Aristóteles y sus alumnos fueron precursores y padres de la lógica moderna. -
Period: 384 BCE to 322 BCE
Padre de la lógica moderna.
Aristóteles es considerado del padre de la lógica moderna, pues sistematizo la lógica formal codificando las formas de argumentación correcta que es donde radica la naturaleza de la lógica como ciencia.
Aristóteles aporta a la lógica la introducción del uso de variables, las proposiciones por su cantidad y su cualidad, el raciocinio deductivo, las formalizaciones de la Lógica y el desarrollo silogístico. -
Period: 370 BCE to 287 BCE
Alumnos de Aristóteles.
Teofrasto y Eudemo fueron alumnos de Aristóteles. Aportaron los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones. Los Megariacos plantean el significado de las proposiciones “Si - entonces” los Estoicos desarrolla la lógica Verdadero – Falso de las proposiciones. -
355 BCE
El instrumento (órganon).
Los escritos lógicos de Aristóteles están contenidos en su libro Órganon que significa “instrumento” para pensar correctamente (propedéutica o metodología), este libro contiene los cinco tratados siguientes: las categorías, las proposiciones, los analíticos, (primeros y segundos) los tópicos y las refutaciones sofísticas. -
Period: 476 to 1492
Edad Media.
Durante la edad media, la lógica se baso en los escritos de Aristóteles, y fue cultivada y estudiada en los conventos, escuelas y universidades de Europa occidental. Destacando Pedro Hispano y Juan Buridan estableciendo que “de Dos premisas contradictorias, se puede deducir cualquier conclusión”, los escritos de ellos se usaron del siglo XIII al XVII. -
Period: 1492 to
Edad Moderna.
La época moderna marca el inicio de la Lógica Matemática. -
Period: to
Isaac Newton
Se le debe el descubrimiento de la gravitación universal, el desarrollo del cálculo infinitesimal e importantes descubrimientos sobre óptica, así como las leyes que rigen la mecánica clásica que alimentaría el nacimiento de la mecánica cuántica. Su obra fundamental, Principios matemáticos de la filosofía natural (1686). -
Period: to
Precursor de la lógica matemática.
Gottfried Leibniz fue precursor de la lógica matemática, inventó el cálculo infinitesimal, sin conocer trabajo alguno de Newton, y su notación es la que se emplea desde entonces. También inventó el sistema binario, fundamento virtual de todas las arquitecturas de las computadoras actuales. -
Period: to
Precursor de la lógica matemática (gráficos).
Realizó importantes descubrimientos en áreas tan diversas como el cálculo o la teoría de grafos. También introdujo gran parte de la moderna terminología y notación matemática, particularmente para el área del análisis matemático, como por ejemplo la noción de función matemática. Introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos. -
Period: to
Edad Contemporanea
El siglo XIX se caracteriza por el nivel de abstracción que alcanza la lógica matemática destacando Hamilton sobre la cuantificación de todo o alguno. -
Period: to
Georg F. Cantor
Al matemático alemán Georg F. Cantor, 1845-1918, se debe la idea del infinito continuo, es decir, la posibilidad de considerar conjuntos infinitos dados simultáneamente. Se le considera el creador de la teoría de los números irracionales y de los conjuntos. -
Period: to
Friedrich G. Frege
Junto con Boole y Peano, el matemático y lógico Friedrich G. Frege, 1848-1925, partiendo del análisis de los fundamentos de la matemática lleva a cabo la más profunda renovación y desarrollo de la lógica clásica hasta el momento. Es el primero en introducir los cuantificadores u operadores y en elaborar una Teoría de la Cuantificación. -
Period: to
Norbert Weiner
El científico norteaméricano Norbert Weiner (1894-1964) en 1947 publica su libro más famoso: Cibernética, o control y comunicación en el animal y la máquina; en donde se utiliza por primera vez la palabra Cibernética. -
Period: to
Siglo XX
La lógica simbólica, que tanto debía a la matemática había desembocado, desde principio del siglo, en cuestiones irresolubles. Esto produjo un paulatino alejamiento de la lógica con respecto a la matemática, así como un deslindamiento de las competencias respectivas. -
Period: to
Alan Turing
Matemático y Lógico pionero en Teoría de la Computación que contribuye a importantes análisis lógicos de los procesos computacionales. Las especificaciones para la computadora abstracta que él idea -conocida como Máquina de Turing-, resulta ser una de sus más importantes contribuciones a la Teoría de la Computación. -
Period: to
Revolución digital.
Esta revolución se inicia con la invención de la computadora digital y el acceso universal a las redes de alta velocidad. Turing relaciona lógica y computación antes que cualquier computadora procese datos. Weiner funda la ciencia de la Cibernética. En las Escuelas modernas de Computación están presentes Lógicos que han permitido avances importantes como Hoare que presenta un sistema axiomático de los sistemas de programación. -
La siguiente revolución lógica.
La siguiente Revolución Lógica incorpora la fusión entre matemáticas y computación. Las computadoras tienden a explorar datos inteligentemente transfiriendo información de las bases de datos a las bases de conocimiento interconectadas a través de la Red a escala infinitesimal.