La Historia de la Lógica

By facebooker_232063182085170
  • Period: 500 BCE to 700

    Edad Antigua

    Siglo V(A.C.) al Siglo 7 (D.C.)
  • 480 BCE

    Protágoras (480 – 420 a.C.).

    Protágoras (480 – 420 a.C.).
    Primero en estudiar oraciones afirmativas y negativas
    Fue un Sofista.
  • 469 BCE

    Sócrates (469 – 399 a.C.).

    Sócrates (469 – 399 a.C.).
    Estudio el razonar y estudio la definición.
    Enfrento a los sofistas.
  • 460 BCE

    Demócrito de Abdera:(460-370 a. C.).

    Demócrito de Abdera:(460-370 a. C.).
    Acuño la palabra lógica, y creo el principio de la razón suficiente.
    Además de ser el máximo representante de la escuela Atomista.
  • 427 BCE

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

    Platón (427 – 347 a.C.).
    Creador del principio lógico de: “No Contradicción” (Es imposible que un enunciado sea verdadero y falso a la vez).
    Obra: “El Sofista” (Habla sobre las oraciones.
  • 384 BCE

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

    Aristóteles de Estagira: (384 - 322 a. C.)
    Los escritos lógicos de Aristóteles están contenidos en su libro Órganon que significa “instrumento” para pensar correctamente (propedéutica o metodología), este libro contiene los cinco tratados siguientes: las categorías, las proposiciones, los analíticos, (primeros y segundos) los tópicos y las refutaciones sofísticas.
    Creador del principio lógico del “Tercer Excluido”.
    Creador del silogismo categórico.
  • 371 BCE

    Teofrasto de Ereso (371 - 287 a.C.) y Eudemo de Rodas (370 - 300 a.C.).

    Teofrasto de Ereso (371 - 287 a.C.) y Eudemo de Rodas (370 - 300 a.C.).
    Aportaron los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones.
  • Period: 701 to 1400

    Edad Media

    Siglo 8 (D.C) al Siglo 14 (D.C.)
  • 735

    Carlomango de Alcuino (735-804)

    Carlomango de Alcuino (735-804)
    Escribió uno de los primeros manuales de lógico en la época medieval: Dialéctica.
  • 1079

    Pedro Abelardo (1079–1142)

    Pedro Abelardo (1079–1142)
    En sus obras, Si y no, Lógica para los que ingresan, Lógica a petición de nuestros compañeros, analiza la copula de las proposiciones, distingue la negación de un término de la preposición entera.
  • 1206

    Alberto Magno (1206-1280)

    Alberto Magno (1206-1280)
    Establece el procedimiento de convertir las preposiciones mediante un entimema o silogismo abreviado.
  • 1265

    Juan Duns Scoto (1265 – 1308).

    Juan Duns Scoto (1265 – 1308).
    Máximo Exponente.
    Introdujo el concepto de intención.
  • 1285

    Guillermo de Ockham (1285 – 1349)

    Guillermo de Ockham (1285 – 1349)
    Representan el periodo de madurez de la lógica.
    Trabajo en dirección de las que hoy se conocen como leyes de Morgan, y propuso la lógica ternaria.
  • Period: 1401 to

    Edad Moderna

    Siglo 15 (DC) al Siglo 18 (DC)
  • 1492

    Juan Luis Vives (1492-1540)

    Juan Luis Vives (1492-1540)
    En su obra De la censura de lo verdadero, representa las funciones lógicas por medio de ángulos y triángulos.

  • Gottfried Wilhelm Leibniz: (1646–1716)

    Gottfried Wilhelm Leibniz: (1646–1716)
    Precursor de la "lógica matemática"
    Fundador de la "lógica simbólica".
    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: (1707–1783)

    Leonhard Paul Euler: (1707–1783)
    Creo diagramas para ilustrar geométricamente el silogismo.
  • Period: to

    Edad Contemporánea

    Siglo 19 hasta la Actualidad

  • William Rowan Hamilton (1805–1865)

    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 (1806–1871)

    Augustus De Morgan (1806–1871)
    En la lógica matemática moderna llevan el nombre de Morgan las siguientes leyes fundamentales del álgebra de la lógica: la negación de la conjunción es igual a la disyunción de las negaciones; y la negación de la disyunción es igual a la conjunción de las negaciones.

  • George Boole (1815–1864)

    George Boole (1815–1864)
    Construye la teoría de Clases
    Represento proposiones categóricas en formulas.

  • John Venn (1834–1923)

    John Venn (1834–1923)
    Representa los procesos algebraicos de Boole en diagramas.

  • Gottlor Fregre (1848 – 1925).

    Gottlor Fregre (1848 – 1925).
    Padre de la lógica moderna, invento los cuantificadores lógicos.

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

  • Bertrand Arthur William Russell (1872–1970)

    Bertrand Arthur William Russell (1872–1970)
    Padre de la lógica contemporánea, y su obra principia matemática fue con ayuda de Alfred Whitehead.

  • Ludwing Wittgenstein (1889 – 1951).

    Ludwing Wittgenstein (1889 – 1951).
    Creo las tablas de verdad, valores o matrices.

  • Francisco Miro Quezada (1918 – 2019).

    Francisco Miro Quezada (1918 – 2019).
    Introductor de la lógica matemática en américa.