Breve historia de la logica

  • 550 BCE

    El estudio de Pitágoras

    El estudio de Pitágoras
    En el plano sintáctico y semántico del lenguaje Pitágoras fue el primero en estudiar las oraciones.
  • 401 BCE

    La obra sofista de Platón

    La obra sofista de Platón
    Platón con esta obra trato las afirmaciones y las negaciones, e introdujo la noción del método axiomático.
  • 360 BCE

    Aristoteles de Estagira

    Aristoteles de Estagira
    Inicia su estudio de la gramática, retorica y una teoría de la interpretación, así como la lógica.
  • 348 BCE

    La obra de Platón es terminada

    La obra de Platón es terminada
    La obra de Platón fue terminada por el antiguo filosofo Aristóteles
  • 280 BCE

    Crisipo de Soli

    Crisipo de Soli
    Desplazó el centro de interés de la lógica de los enunciados simples con sujeto y predicado a los enunciados complejos
  • Gottfried Leibniz

    Gottfried Leibniz
    Sugirió tratar los enunciados como las ecuaciones en el álgebra, que emplean el signo de igualdad (=) para decir que las dos partes deben tener el mismo valor numérico
  • 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.
  • George Boole

    George Boole
    Construye la teoría de Clases.
  • William Rowan Hamilton

    William Rowan Hamilton
    Hamilton destaca sobre la cuantificación de todo o alguno.
  • Augustus De Morgan

     Augustus De Morgan
    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.
  • Begriffsschrift

    Begriffsschrift
    Gottlob Frege introduce un calculo proposicional que combina la teoría de la demostración de Leibniz con una presentación de las conectivas lógicas
  • John Venn

    John Venn
    Aclara los procedimientos de Boole representando los procesos algebraicos en los diagramas de Venn.
  • Giuseppe Peano

    Giuseppe Peano
    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.
  • Ludwig Wittgenstein y Rudolf Carnap

    Ludwig Wittgenstein y Rudolf Carnap
    Filósofos como L. Wittgenstein, R. Carnap inicialmente bajo la influencia formalista y logicista, dan un viraje en su filosofar orientándose hacia preocupaciones lógico - semántica.
  • Bertrand Arthur William Russell

    Bertrand Arthur William Russell
    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.
  • Integrantes del equipo.

    Gutiérrez Ambrosio Zaira Yamile
    Hernandez Dominguez Luis Carlos
    Méndez Jiménez Abigail
    Ornelas Fitz Leslie Lizeth
    Pérez Rivera Sofía Andrea