Historia de la Lógica

  • 650 BCE

    Lógica antigua

  • 550 BCE

    Parménides

    Parménides
    Parménides de Elea fue un filósofo griego. Nació entre el 530 a. C. y el 515 a. C.​ en la ciudad de Elea, colonia griega de Magna Grecia. Parménides escribió una sola obra: un poema filosófico en verso épico del cual nos han llegado únicamente algunos fragmentos conservados en citas de otros autores.
  • 500 BCE

    Epiménides

    Epiménides
    Mediante la paradoja del mentiroso muestra que existen afirmaciones que no son ni verdaderas ni falsas, en contra del supuesto fundamental de la lógica megárico-estoica.
  • 400 BCE

    Euclides de megara

    Euclides de megara
    Euclides de Mégara fue un filósofo socrático Griego que vivió alrededor de 400 a. C. y fundó la escuela megárica. Los traductores medievales a menudo le confundieron con el matemático Euclides de Alejandría. Euclides nació en Mégara, pero
  • 322 BCE

    Aristóteles

    Aristóteles
    Crea seis obras lógicas, posteriormente compiladas por miembros del Liceo en el siglo I a.C bajo el título Órganon, destacan su doctrina de los individuos y los términos.
    Desarrolla dos teorías en base a cuatro juicios (particulares,universales, afirmativos y negativos): teoría de la inferencia inmediata y teoría de la conversión.
    Utiliza el modo axiomático para validar 19 silogismos auténticos.
  • 300 BCE

    Filón de megara

    Filón de megara
    Según Megara, para que un condicional sea verdadero basta con que no se dé el caso de que el antecedente sea verdadero y el consecuente sea falso.
  • 50 BCE

    Ciceron

    Ciceron
    Marco Tulio Cicerón​ fue un jurista, político, filósofo, escritor y orador romano.​ Es considerado uno de los más grandes retóricos y estilistas de la prosa en latín de la República romana.
  • 304

    Porfirio

    Porfirio
    escribe una Isagoge (“Introducción”) a la lógica de Aristóteles en el III d.C. con intención de aclarar y desarrollar algunos puntos oscuros de las Categorías.
  • 400

    Lógica medieval

  • 430

    San Agustín

    San Agustín
    Dice al comienzo de su
    inacabada De dialectica que la dialéctica es la ciencia de bien argumentar: dialectica est
    bene disputandi scientia.
    En esta afirmación parece asumir que la lógica era una parte de la dialéctica
  • 500

    Alta edad media

  • 525

    Boecio

    Boecio
    Tradujo Categorías, Sobre la interpretación e Isagoge de Porfirio a finales del siglo V y principios del VI, siendo estas las principales obras de lógica que conocieron en la Edad Media hasta que a mediados del siglo XII.
  • 1249

    Guillermo de Shyreswood

    su summulae contiene una exposición completa de la silogística
  • 1277

    Pedro Hispano

    Pedro Hispano
    Las Summulae de Pedro Hispano destacan como manual de lógica en el cual se recoge el
    conocimiento considerado estándar sobre esta materia en la Baja Edad Media.
  • 1300

    Baja edad media

  • 1349

    guillermo de ockham

    guillermo de ockham
  • 1358

    Jean Buridan

    Jean Buridan
  • 1390

    Alberto de Sajonia

    Alberto de Sajonia
  • 1500

    Logica renacentista y moderna

  • La Lógica o el Arte de Pensar de los jansenistas Antoine Arnauld y Pierre Nicole

    La Lógica o el Arte de Pensar de los jansenistas Antoine Arnauld y Pierre Nicole
    asistir al hombre para que éste pueda distinguir lo verdadero de lo falso. Doctrina del concepto. Doctrina del juicio. Doctrina del razonamiento.Doctrina del método.
  • Logica simbolica o matematica

  • George Boole

    George Boole
    Utilizo ecuaciones algebraicas para representar afirmaciones lógicas. Formalizó la lógica proposicional a través de proposiciones simples que él nombró “categóricas”. La proposición categórica es “una sentencia que afirma o niega”, la compleja que él llamó “hipotética” es la que “se define como dos o más categóricas unidas por una cópula”. Para representarlas y deducirlas creó dos cuadros con las principales claves.
  • Ernest Schröder

    Ernest Schröder
    Recopiló todos los avances de la segunda mitad del siglo XIX en Lecciones sobre el álgebra de la lógica dividido en tres volúmenes.
  • PUBLICACIÓN DE PRINCIPIA MATHEMATICA

    PUBLICACIÓN DE PRINCIPIA MATHEMATICA
    Escrita por Bertrand Russell y Alfred N. Whitehead, su sistema lógico era muy complejo
  • CHARLES SANDERS PEIRCE

     CHARLES SANDERS PEIRCE
    Lógico más importante a comienzos del siglo XIX. Reconoció una limitación de la lógica de Aristóteles. Hizo que los lógicos además de ver al individuo y la clase de individuo al que pertenece, notaran las relaciones que puede haber en individuos. Abordó la lógica con herramientas matemáticas.
  • GOTTLOB FREGE

    GOTTLOB FREGE
    En 1879 publica una obra llamada Conceptografía. Un lenguaje de fórmulas, semejante al de la aritmética, para el pensamiento puro. Cuantifico las variables, además consiguió unificar la lógica de enunciados, predicados y relaciones, mediante una sintaxis que toma en cuenta la estructura interna de las oraciones y las conexiones entre ellas. Formalizó los cuatro juicios de Aristóteles. Definió un cálculo para la lógica de predicados.
  • PUBLICACIÓN DE ELEMENTOS DE LA LÓGICA TEÓRICA

    PUBLICACIÓN DE ELEMENTOS DE LA LÓGICA TEÓRICA
    Escrito por David Hilbert y Wilhem Ackermann. Fue el primer manual de lógica simbólica que puede considerarse contemporáneo. Distingue entre lógica de primer orden y lógica de segundo orden.
  • Józef Maria Bocheński

    Józef Maria Bocheński
    dividió la lógica en 5 grandes periodos