Historia de la Lógica (Luis Rodriguez, Paola Martínez,Armando Manríquez)
-
Period: 480 BCE to 1 CE
La lógica clásica
-
427 BCE
Platón
Sostiene la existencia de dos mundos:
El mundo de las ideas
El mundo físico de los objetos
Aparte de crear la academia de atenas -
384 BCE
Aristóteles
Planteo el Organón unos tratados de la lógica que representa el primer intento serio que funda la lógica como ciencia -
300 BCE
Euclides
Realizo uno de los textos matemáticos más relevantes de la historia del pensamiento científico llamada los celebres elementos una exhaustiva compilación de las matemáticas conocidas en el año 300 a.c -
280 BCE
Crisipo de Solo
le dio el interés de la lógica de los enunciados simples con sujeto y predicado s los enunciando complejos -
262 BCE
Apolonio de Perga
Fue el autor de una obra que habla de las curvas cónicas, una manera de geometría de la época helenistica -
Rene Descartes
crea la Geometría analítica, aporta un corpus cuantitativo al asunto y permite el uso de métodos algebraicos -
Isaac Newton
Realizo distintos descubrimientos como el de la gravitación universal, desarrollo cálculo infinitesimal y descubrimientos óptica
considerados los principios matemáticos de la filosofía natural -
Gottfriend W. Leibniz
El Publica la obra “Generales inquisiciones de
análisis de nociones que fundamenta el cálculo lógico
Fundo la Academia de ciencias de Berlin en 1700 -
Georg Whilhelm Friedrich Hegel
Fue el autor de “Ciencia de la lógica” y
Constitución de la lógica dialéctica. -
Nikolai I. Lobachevsky
Funda la Geometría No Euclidiana y renueva fundamentos que hasta ese momento cimentaban la Geometría -
Augustus De Morgan
su mayor contribución a la lógica fueron la creación de las leyes de Morgan y su teoría del desarrollo de las relaciones de la lógica y las matemáticas -
Geoorge Boole
Aplico el calculo matematico a la logica -
Giussepe Peano
el le da a la lógica el nombre de lógica matemática creando un lenguaje simbólico para las demostraciones matemáticas propuso el uso de los puntos auxiliares -
Lutzen Egbertus Jan Brouwer
Fue el fundador de la escuela de la Lógica intuicionista -
Kurt GÖdel
Sus contribuciones a la lógica matemática, destacando la demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y la prueba de incompletez semántica. Sobre las proposiciones indecibles de los sistemas de matemática formal establece que es imposible construir un sistema de cálculo lógico suficientemente rico en el que todos sus teoremas y enunciados sean decibles dentro del sistema
