Historia de la lógica.Realizada por Aura Hernandez, Areli Garcia,Ian Amezcua y Dylan Sanchez, grupo 460
-
1700 BCE
La Lógica de Aristóteles.
-Aristóteles construye su Lógica partiendo de un análisis
s del conocimiento racional .Su Lógica es pues más humanista que metafísica. -
1700 BCE
la 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. -
1000 BCE
En Mesopotamia
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 una paciente, es posible determinar el problema del mismo, su etiología y su desarrollo futuro, y las posibilidades de recuperación. -
500 BCE
La logica 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, -
700
El pensamiento babilónico
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. -
804
Alcuino
Escribió un tratado de lógica para el estudio de Trivium( gramática, lógica y retorica). -
1142
Pedro Abelardo
Introduce la copula como expresión técnica e investiga la estructura del juicio modal. -
1200
Guillermo de Shyreswood
En 1200 termina el manual de la lógica escolástica as antigua, donde formula el esquema de decisión dicotómica( llamado el Árbol de Porfirio -
1540
Juan Luis Vives
su obra de la censura de lo verdadero , representa las funciones de la lógica por medio de angulos y triángulos -
Escolástica
corriente teológica que utilizo parte de la corriente grecolatina para comprender las revelaciones religiosas del cristianismo, uso principalmente la lógica de Aristoteles para estudiarla. -
Galileo Galilei
distingue entre axiomas ,postulados y desarrolla el método experimental , con el tratado matemáticas de las hipótesis -
Thomas Hobbes
en su lógica ve el razonamiento como un calculo de signos en busca de un calculo lógico -
Siglo XIX
Los matemáticos británicos George Boole y Augustus de Morgan abrieron el nuevo campo de la lógica matemática -
Lógica matematica
Marca el inicio de la lógica matemática , el precursor es Gottfried -
David Hilbert.
A partir de las fuentes griegas de Euclides, publica en 1899 su obra “Fundamentos de Geometría”, en la que formula sus principios de axiomatización de la geometría. Según sus teorías, es necesario establecer un conjunto de postulados básicos antes de plantear de modo más detallado cualquier tipo de problema físico o matemático. -
La era contemporánea.
Esta etapa se caracteriza por el resurgimiento de la formalización rigurosa de las matemáticas. En este periodo se crea la lógica simbólica, la escuela formal, la lógica booleana, el cálculo proposicional, la inducción matemática, el cálculo de secuentes -
Guiseppe Peano.
La enunciación de los principios del italiano Guiseppe Peano (1858-1932), acerca de lógica matemática y su aplicación práctica quedaron contenidos en su obra “Formulaire de mathematiques”. Los axiomas de Peano permiten definir el conjunto de los números naturales. -
Lógica matematica
Da el nombre de lógica matemática creando un lenguaje simbolico , planteo el uso de puntos auxiliares y una manera ara representar los cuantificadores -
La evolución de la lógica
La lógica evoluciona de etapas tan oscuras como en la edad media en la moderna la estructura de redes que el internet proporciona de manera neuronal a la humanidad -
Kurt Gödel.
Kurt Gödel (1906-1978), aporta múltiples 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 prueba de incompletez semántica”. En “Sobre las proposiciones indecidibles 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 -
La 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. -
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. -
Benoit Mandelbrot.
El gran impulsor de la matemática contemporánea y pionero de la geometría fractal a quien la computación pura revela la moderna “Geometría de la Naturaleza”. Fractal y geometría fractal son el corpus principal de sus investigaciones además de los sistemas irreversibles. A la práctica totalidad de disciplinas se aplican hoy sus principios dando por sentado paradigmas como la “Teoría del Caos” que a finales del siglo XX ya contemplaba el estudio de sistemas dinámicos, irreversibles, caóticos. -
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.
