-
700 BCE
Mesopotamia
Los astrónomos babilonios empezaron a utilizar una lógica interna en sus sistemas de predicción planetaria que fue una importante contribución a la lógica y la filosofía de la ciencia.
El pensamiento babilónico tuvo una considerable influencia en el pensamiento de la Grecia arcaica. -
600 BCE
Desarrollo
Se desarrollan en Grecia los principios formales de la matemática. -
400 BCE
India
Se emergieron en india la lógica. -
340 BCE
Aristóteles
Se considera a Aristóteles el fundador de la lógica como propedéutica para todas las ciencias. Aristóteles fue el primero en formalizar los razonamientos, utilizando letras para representar términos -
250 BCE
Gong Sunlong
El filósofo chino Gong SunLong propuso la paradoja "Uno y uno no pueden ser dos, ya que ninguno se convierte en dos" -
1200
Lógica Medieval
Se entiende habitualmente por "lógica medieval"a la forma de la lógica aristotélica desarrollada en la Europa medieval. -
1300
Teoría de la suposición
La tradición alcanzó su punto más alto con las obras de Guillermo de Ockham y Jean Buridan.
Un rasgo del desarrollo de la lógica aristotélica se conoce con el nombre de teoría de la suposición, un estudio de la semántica de los términos de la proposición. -
1487
Summa Logicae
Es un libro de texto de lógica escrito por Guillermo de Ockham. A partir de la teoría de la inferencia que le sirve de hilo conductor, describe y desarrolla la lógica del silogismos. -
1500
Antigua India
En la India, las innovaciones en la escuela escolástica, llamado Nyaya. Se desarrollaron teorías semejantes a la lógica moderna, como "la distinción entre sentido y referencia de nombres propios" de Gottlob Frege y su "definición de número", así como la teoría de "condiciones restrictivas para universales" anticipando algunas de las Desarrollos en la teoría de conjuntos modernos. -
1501
Nuevas teorías (Siglo XVI)
Se desarrollaron teorías semejantes a la lógica moderna, como "la distinción entre sentido y referencia de nombres propios" -
1551
Tendencia
A mediados del siglo XVI había una tendencia a simplificar los libros de texto, revisión que varios filósofos veían como una “edad de oro” de la lógica. -
Nuevo enfoque (Siglo XVII)
La lógica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal pero tampoco supusieron un cambio radical en el concepto de la lógica como ciencia. -
Propuestas en Inglaterra
En Inglaterra se hicieron propuestas (John Wilkins [1614-1672] y George Dalgarno [1626-1687]) de construir un lenguaje en base a principios simples y con una gramática regular. Lo que esto daría como resultado sería facilitar la comunicación y hacer, por esto, más rápida la difusión de las ideas. -
Propuesta de Descartes
Descartes formuló una propuesta, en la que alude al orden numérico y a la formación de nuestros pensamientos a partir de pensamientos simples. -
Descubrimiento de la lógica India (Siglo XVIII)
El descubrimiento de la lógica India entre los especialistas británicos influyó también en la lógica moderna. -
Enfoque estructurado (Siglo XVIII)
El enfoque estructurado de los argumentos había degenerado y había caído en desgracia. -
Fundamentos (Siglo XIX)
Al comienzo del siglo XIX las investigaciones en los fundamentos del álgebra y la geometría, seguidos por el desarrollo del primer cálculo completo por Frege. -
Lógica Aristotélica
La lógica aristotélica fue ampliamente aceptada en ciencias y matemáticas y permaneció en uso amplio en Occidente hasta principios del siglo XIX. -
Argumentos (Siglo (XIX)
Hasta el siglo XIX, la lógica aristotélica y estóica mantuvo siempre una relación con los argumentos formulados en lenguaje natural. -
George Boole
George Boole publicó un breve tratado titulado El análisis matemático de la lógica. -
Leyes de Morgan
Augustus De Morgan publica en 1847 su obra Lógica formal, donde introduce las leyes de De Morgan. -
Las leyes del pensamiento
George Boole publicó un tratado muy importante titulado Las leyes del pensamiento. -
Lógica de segundo orden
Charles Peirce introdujo el término "Lógica de segundo orden" proporcionando la mayor parte de la moderna notación lógica, incluyendo los símbolos prefijados para la cuantificación universal y existencia. -
Lógica de la Aritmética
Giuseppe Peano publicó la primera versión de la axiomatización lógica de la aritmética.Uno de estos axiomas fue una formalización del principio de la inducción matemática. -
Proceso de la lógica
Bertrand Russell y Whitehead culminaron el proceso de creación de la lógica. -
Máquinas de cálculo
Aparecen los primeros intentos y realizaciones de máquinas de cálculo (Pascal y Leibniz) y aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universalis es el antecedente inmediato del desarrollo de la lógica simbólica a partir del siglo XX. -
Leibinz
Leibniz fue el primero en formular la noción de un sistema de lógica matemática aplicable de forma generalizada. Sin embargo, los documentos relevantes al respecto no fueron publicados hasta 1901. -
Niveles más abstractos
La lógica pasó a estudiarse por su interés intrínseco, y no sólo por sus virtudes como propedéutica, por lo que estudió a niveles mucho más abstractos. -
Lógicas Modales
Además de la lógica proposicional y la lógica de predicados, el siglo XX vio el desarrollo de muchos otros sistemas lógicos; entre los que destacan las muchas lógicas modales. -
Las leyes de la aritmética
Frege publica en dos volúmenes Las leyes de la aritmética, donde intenta deducir toda la matemática a partir de la lógica, en lo que se conoce como el proyecto logicista. Su sistema, sin embargo, contenía una contradicción (la paradoja de Russell).
