-
Period: 6000 BCE to 5000 BCE
MEZOPOTAMIA
En Mesopotamia, el Manual de diagnóstico médico de Esagil-kin-apli, escrito en el siglo XI a. C., se basó en un conjunto lógico de axiomas y asunciones, entre las que se incluyen la visión moderna de que, a través del examen e inspección de los síntomas de un paciente, su etiología. Durante los siglos VII y VIII, los astrónomos babilonios empezaron a utilizar una lógica interna en sus sistemas de predicción planetaria que fue una contribución a la lógica y la filosofía de la ciencia. -
4000 BCE
EDAD ANTIGUA
La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el siglo V y el siglo I a. C. -
Period: 4000 BCE to 3000 BCE
ANTIGUA INDIA
Nyāya y Vaisheshika. Los Nyaya Sutras de Aksapada Gautama constituyen el núcleo de textos de la escuela Nyaya, una de las seis escuelas ortodoxas de filosofía hindú.antigüedad hasta principios del siglo XVIII con la escuela Navya-Nyaya. Hacia el siglo XVI se desarrollaron teorías de lógica moderna, como "la distinción entre sentido y referencia de nombres propios" de Gottlob Frege su "definición de número", así como la teoría de "condiciones restrictivas para universales" -
Period: 3000 BCE to 2000 BCE
ANTIGUA GRECIA
emergieron dos tradiciones lógicas opuestas. La lógica estoica estaba enraizada en Euclides de Megara, pupilo de Sócrates, y con su concentración en la lógica proposicional es la que quizás esté más próxima a la lógica moderna. Se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las ciencias. Aristóteles fue el primero en formalizar los razonamientos, utilizando letras para representar términos. También fue el primero en emplear el término lógica -
Period: 3000 BCE to 1000 BCE
ANTIGUA CHINA
Confucio, Mozi, "Maestro Mo", es considerado como el fundador de la escuela Mohista (mohísmo), cuyos principios están relacionados con temas como la inferencia válida y las condiciones de las conclusiones correctas. En particular, una de las escuelas que siguieron al mohísmo, los lógicos, es considerada por varios expertos como la primera que investigó la lógica formal. -
1200 BCE
EDAD MEDIA
Baja Edad Media son importantes los aportes árabes de Al-Farabi, Avicena y Averroes, siglo XIII (Pedro Hispano, Raimundo Lulio Lambert de Auxerre, Guillermo de Sherwood) que culminaron en toda la problemática del siglo XIV: Guillermo de Ockham, Jean Buridan, Alberto de Sajonia. -
Mar 14, 1463
EDAD MODERNA14
Realizaciones de máquinas de cálculo, (Pascal, Leibniz)
Kant consideraba que la lógica por ser una ciencia a priori había encontrado su pleno desarrollo prácticamente con la lógica aristotélica
idealismo subjetivo en Fichte; idealismo objetivo en Schelling y, finalmente un idealismo absoluto en
Hegel considera la lógica dentro del Absoluto como un proceso dialéctico -
Augustos De Morgan
fue un matemático y lógico nacido en la India. En la moderna lógica matemática, llevan el nombre de De Morgan las siguientes leyes fundamentales del álgebra de la lógica: «la negación de la conjunción es equivalente a la disyunción de las negaciones»; «la negación de la disyunción es equivalente a la conjunción de las negaciones». -
George Boole
Matemático británico. Autodidacta, fundó su propia escuela de enseñanza elemental. Publicó diversos artículos sobre la combinación del álgebra y el cálculo, y desarrolló un álgebra propia, que aplicó a la lógica, sosteniendo que ésta debería ser una rama de las Matemáticas
Como inventor del álgebra de Boole, la base de la aritmética computacional moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computación. -
David Hilbert
Hilbert proponía desarrollar la matemática formalmente, partiendo de un sistema de axiomas, y mediante el uso de las reglas de inferencia de la lógica clásica. -
Gottlob Frege
En un artículo de 1.914, La lógica en la matemática, Frege afirma que la labor del matemántico está dominada por la deducción y la definición, dos actividades que dependen de leyes lógicas; debido a esto, la matemática se haya ligada más estrechamante a la lógica que a cualquier otra ciencia. De ahí que Frege considerase a las matemáticas como una extensión de la lógica. -
Giuseppe Peano
La lógica de enunciados y Peano:
Hasta el año 1878, en el que comenzó a publicarse una serie de artículos de Hugh Mc Coll (1837-1909) sobre el "Cálculo de enunciados equivalentes", se consideraba que la lógica matemática era, simplemente, la lógica de clases, el álgebra de clases.