Historia de la lógica

By Viridiana Morales G
  • 569 BCE

    Pitágoras

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

    Parmenides

    Parmenides
    Propuso su famosa frase “El ser es y es necesario que sea; el no ser, no es y es necesario que no sea”. con ella el creo el concepto moderno del los principios de identidad, , no contradicción y Tercer excluido
  • 427 BCE

    Platón

    Platón
    (427 a. C. – 347 a. C.) Platón 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
  • 384 BCE

    Aristóteles de Estagira

    Aristóteles de Estagira
    (384 a.C. – 322 a.C.) Fue considerado el creador de la Lógica, sin
    embargo, sus predecesores desarrollaron y cultivaron la inferencia y la prueba en los diferentes debates que por aquel tiempo realizaban los filósofos.
  • 370 BCE

    Eudemo de Rodas

    Eudemo de Rodas
    (37 a. C. - 300 a.C.)
    Eudemo de Rodas fue un filósofo de la antigua Grecia, considerado como el primer historiador de la ciencia. Fue uno de los alumnos de Aristóteles, merecedor de toda confianza del maestro, editó la obra de su maestro y la hizo más fácilmente accesible.

  • Gottfried Wilhelm Leibniz

    Gottfried Wilhelm Leibniz
    La época moderna marca el inicio de la Lógica Matemática. El precursor de esta lógica es
    Gottfried Wilhelm Leibniz quien introdujo el cálculo lógico llamado “Mathesis Universalis” que
    fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas
    las disputas y controversias. También desarrolló el cálculo de la Lógica Proposicional.

  • Leonhard Paul Euler

    Leonhard Paul Euler
    Euler fue precursor de la Lógica Matemática, introdujo los diagramas que llevan su nombre para
    ilustrar geométricamente los silogismos.

  • Leonhard Paul Euler

    Leonhard Paul Euler
    (1707–1783) Euler fue precursor de la Lógica Matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos

  • William Rowan Hamilton

    William Rowan Hamilton
    (1805–1865) El siglo XIX, se caracteriza por el nivel de abstracción que alcanza la lógica matemática
    destacando Hamilton sobre la cuantificación de todo o alguno.

  • Augustus De Morgan

    Augustus De Morgan
    (1806–1871)
    Augustus De Morgan, considera que la base, común de la lógica radica en las relaciones de
    inclusión o exclusión parcial o total entre clases.

  • George Boole

    George Boole
    (1815–1864) George Boole, construye la teoría de Clases.

  • John Venn

    John Venn
    (1834–1923) John Venn, aclara los procedimientos de Boole representando los procesos algebraicos en los diagramas de Venn.

  • Giuseppe Peano

    Giuseppe Peano
    (1858–1932)
    Giuseppe Peano, 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.

  • Bertrand Arthur William Russell:

    Bertrand Arthur William Russell:
    (1872–1970) Bertrand Russell, en su obra “Los principios de la matemática” propone que las matemáticas puedan reducirse a una rama de la lógica generando en su obra investigaciones sobre la inferencia y sus respectivas aplicaciones.

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