Lógica

Historia de la lógica

  • Period: 4000 BCE to 401

    Edad Antigua

  • 569 BCE

    Pitágoras: (569 a. C. – 475 a. C.)

    Pitágoras: (569 a. C. – 475 a. C.)
    En el plano sintáctico y semántico del lenguaje fue el primero en estudiar las oraciones.
  • 427 BCE

    Platón (427 a. C. – 347 a. C.)

    Platón (427 a. C. – 347 a. C.)
    En su obra Sofista trató también las afirmaciones y las negaciones, introduce la noción del método axiomático que más tarde fue completado por Aristóteles.
  • 322 BCE

    Aristóteles de Estagira (384 a. C.–322 a. C.)

    Aristóteles de Estagira (384 a. C.–322 a. C.)
    Considerado como creador de la Lógica, sistematizó la lógica formal codificando las formas de argumentación correcta que es donde radica la naturaleza de la lógica como ciencia; aporta a la lógica la introducción del uso de variables, las proposiciones por su cantidad y su cualidad, el raciocinio deductivo, las formalizaciones de la Lógica y el desarrollo silogístico.
  • Period: 476 to 1492

    Edad Media

    Conocida como "lógica escolástica". Desarrollada en la Europa Occidental cuando textos árabes sobre la lógica aristotélica y lógica Avicena fueron traducidos a la lengua de Roma.
  • 735

    Alcuino (735-804)

    Alcuino (735-804)
    Escribió un tratado de lógica para el estudio del TRIVIUM (Gramática, Lógica y Retorica)
  • 1079

    Pedro Abelardo (1079-1142)

    Pedro Abelardo (1079-1142)
    Introduce la "cópula" como expresión técnica e investiga la estructura del juicio modal
    Cúpula: Concepto que relaciona al sujeto con el predicado, relación que se establece por medio de una afirmación o negación
  • Period: 1492 to

    Edad moderna

  • Gottfried Wilhelm Leibniz (1646–1716)

    Gottfried Wilhelm Leibniz (1646–1716)
    Marca el inicio de la Lógica Matemáticas introduciendo el cálculo lógico llamado “Mathesis Universalis” que fue operacionalmente mecánico, inequívoco y no cuantitativo.También desarrolló el cálculo de la Lógica Proposicional.
  • Curiosidad

    Curiosidad
    Se mantiene el pensamiento que Aristóteles había llevado la ciencia de la lógica hasta la perfección, por lo que era imposible que hubiera modificaciones de importancia.
  • Leonhard Paul Euler (1707–1783)

    Leonhard Paul Euler (1707–1783)
    Precursor de la Lógica Matemática, introdujo los diagramas que llevan su nombre para ilustrar geométrica mente los silogismos.
  • Period: to

    Edad contemporánea

  • . George Boole (1815–1864)

    . George Boole (1815–1864)
    Construye la teoría de Clases.
  • Giuseppe Peano (1858–1932)

    Giuseppe Peano (1858–1932)
    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 y un modo de simbolizar los cuantificadores.
  • Lógica Moderna

    Lógica Moderna
    Comenzó con la publicación de la Begriffsschrift donde Gottlob Frege introduce un cálculo proporcional que combina la teoría de la demostración de Leibniz con una presentación de las conectivas lógicas.
  • Period: to

    Lógica Moderna

    También denominada lógica simbólica o matemática. Se aplican principios matemáticos a la lógica antigua. A mediados del siglo XIX, los matemáticos británicos George Boole y Augustus De Morgan abrieron el campo de la nueva lógica, que luego fue desarrollada por el matemático alemán Gottlob Frege, esta lógica se basa en la aplicación de símbolos por medio de tablas de verdad, que nos permiten ver lo verdadero o falso que son las versiones de una acción.
  • Integrantes del equipo

    Integrantes del equipo
    Irineo Ramírez Gustavo Emmanuel
    Hernandez Santiago Armando
    Lopez Guerra Karla Quetzali
    Esparza Martínez Led