Historia De La Lógica

Timeline created by natalia dominique
  • -485 BCE

    Protágoras

    Protágoras
    En el plano sintáctico y semántico del lenguaje Protágoras fue el primero en estudiar las oraciones.
  • -470 BCE

    Sócrates

    Sócrates
    fue famosa por su habilidad para hacer preguntas esenciales y criticas que llevaban a sus oponentes a admitir una objeción o incluso una contradicción en su pensamiento. Este método socratico fue conocido como arte mayeútica. Sócrates también fue conocido por su famosa frase: "UNA VIDA SIN EXAMEN NO VALE LA PENA SER VIVIDA"
  • -427 BCE

    Platón

     Platón
    En su obra Sofista trató también las afirmaciones y las negaciones, introduce la noción del método axiomático.
  • -384 BCE

    Aristoteles

    Aristoteles
    Es conciderado como el padre de la lógica. Aristóteles definió la lógica como "ciencia que estudia los razonamientos correctos", por lo que la entendía como un instrumento al servicio de las demás ciencias. Para Aristóteles existía un tipo de razonamiento especialmente útil para la ciencia: el silogismo. Un silogismo es un razonamiento de tipo deductivo que consta de dos premisas y una conclusión (que se deduce necesariamente de las premisas).
  • 476

    Edad Media

    Esta se basa en el trabajo de Aristóteles, es adoptada por los sacerdotes y cultivada en su mayoria en los conventos, escuelas y universidades de Europa Occidental.Los estudios de los lógicos profesionales estuvieron dirigidos al comentario del Organon destacando Pedro Hispano y Juan Buridan estableciendo que “de Dos premisas contradictorias, se puede deducir cualquier conclusión”.
  • 1400

    Edad Moderna. Guillermo G. Leibniz

    Edad Moderna. Guillermo G. Leibniz
    La época moderna marca el inicio de la Lógica Matemática. Guillermo G. Leibniz sugirió tratar los enunciados como las ecuaciones en el álgebra que emplean el signo de igualdas, creo reglas para calcular el valor de verdad de un número potencialmete infinito de enunciados.
  • Edad Contemporánea

    El siglo XIX se caracteriza por el nivel de abstracción que alcanza la lógica matemática.En el siglo XX la lógica simbólica, la lógica, alejándose del excesivo formalismo y simbolismo, empieza a ocuparse y preocuparse de problemas semánticos
  • Lógica Formal

    Lógica Formal
    Sus orígenes se remontan a la tradición aristotélica. A mediados el siglo XIX tuvo un resurgimiento en el seno de las matemáticas, con un desarrollo que aún se mantiene vigente, pese a la creación de nuevas lógicas.
  • Gottlob Frege

    Gottlob Frege
    Contribuye con los fundamentos lógicos de la aritmética, el concepto de función lógica y los cuantificadores
  • Beltrand Russel y Alfred North Whitehead

    Beltrand Russel y Alfred North Whitehead
    Publican Principia Mathematica, en la que formulan rigurosamente la lógica matemática dentro del sistema mas completo que se ha establecido
  • Period:
    1561
    to

    Francis Bacon

    Filósofo inglés, en su obra El Novum Organon, publicada en 1620, expuso las bases de la lógica inductiva, en las que explica los métodos para determinar las relaciones de causalidad
  • Period: to

    Wilhelm Von Leibniz

    Intento dar a la lógica una estructura de un calculo matemático
  • Period: to

    John Stuart Mill

    Considero que la inducción descansa en la uniformidad de la naturaleza. afirmaba que si por experiencia sabemos que algo ha ocurrido una vez, volvera a ocurrir en el futuro, cuando las circunstancias sean semejantes.
  • Period: to

    Augusto 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.
  • Period: to

    Charles Sanders Peirce

    Es considerado como el fundador del pragmatismo y la semiótica moderna, quien enriqueció el método de la investigación científica con su famosa tríada de razonamientos: razonamientos abductivos, deductivos e inductivos.
  • Period: to

    Rudolf Carnap

    Formuló un sistema cuantitativo de la lógica inductiva basado en la probabilidad