Historia de la lógica.Realizada por Aura Hernandez, Areli Garcia,Ian Amezcua y Dylan Sanchez, grupo 460

Timeline created by facebooker_1143506365836567
In History
  • 1,700 BCE

    La Lógica de Aristóteles.

    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.
  • 1,700 BCE

    la Antigua Grecia

    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.
  • 1,000 BCE

    En Mesopotamia

    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

    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

    Alcuino
    Escribió un tratado de lógica para el estudio de Trivium( gramática, lógica y retorica).
  • 1142

    Pedro Abelardo

    Pedro Abelardo
    Introduce la copula como expresión técnica e investiga la estructura del juicio modal.
  • 1200

    Guillermo de Shyreswood

    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

    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

    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

    Galileo Galilei
    distingue entre axiomas ,postulados y desarrolla el método experimental , con el tratado matemáticas de las hipótesis
  • Thomas Hobbes

    Thomas Hobbes
    en su lógica ve el razonamiento como un calculo de signos en busca de un calculo lógico
  • Siglo XIX

    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

    Lógica matematica
    Marca el inicio de la lógica matemática , el precursor es Gottfried
  • David Hilbert.

     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.

    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

    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 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.
    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.

    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.

    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.

     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.
    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.