Rubiks cube 2583645 1280

Historia de la Lógica

  • Period: 500 BCE to 1500

    Edad Media

    La Lógica Medieval se basa en el trabajo de Aristóteles, es recogida por los sacerdotes y cultivado mayormente en los conventos, escuelas y universidades de Europa Occidental.
  • 476 BCE

    Logica Medieval

    Logica Medieval
    Esta se desarrollo en la edad media. Era la lógica que se solía utilizar en esta época y toda basada en la lógica de Aristoteles. La usaban en escuelas, conventos y sacerdotes.
  • 400 BCE

    Aristóteles (384 a.c. – 322 a.c.)

    Aristóteles  (384  a.c. – 322 a.c.)
    fue el fundador de la lógica
    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
    (Primera premisa) Ningún idioma muerto se habla en la actualidad.
    (Segunda premisa) El español se habla en la actualidad.
    (Conclusión) El español no es un idioma muerto
  • 387 BCE

    Platón

    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
  • 200 BCE

    Sòcrates

    Sòcrates
    fue famosos por su habilidad para hace preguntas esenciales y criticas que llevan a sus oponentes a admitir una objeción o incluso una contradicción en su pensamiento, con lo cual provocaba un cambio en un sistema de creencias. El método socratico fue conocido como arte mayeutica
  • 100 BCE

    Teofrasto y Eudemo (silogismos hipotéticos)

    Teofrasto y Eudemo (silogismos hipotéticos)
    aportaron los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones los Megariacos plantean el significado de las proposiciones “Si - entonces” los Estoicos desarrolla la lógica Verdadero – Falso de las proposiciones.
  • 210

    Crisipo de Soli (280-206 a.C.)

    Crisipo de Soli (280-206 a.C.)
    Formuló las conectivas lógicas (y, o, si, entonces).
  • 1100

    Pedro abelardo (1079-1142)

    Pedro abelardo (1079-1142)
    filósofo, estudió a fondo los conocimientos de Aristóteles
  • 1280

    Pedro Hispano y Juan Buridan

    Pedro Hispano y Juan Buridan
    formularon la lógica medieval
  • Period: 1500 to

    Época Moderna

    La Época Moderna marca el inicio de la Lógica Matemática.
    El precursor de esta lógica es Guillermo G. Leibniz.
  • Francis Bacon

    Francis Bacon
    fue el pionero de la lógica inductiva, quien en su obra "El Novum Organon", expuso las bases de la lógica inductiva, en las que explica los métodos para determinar las relaciones de casualidad
  • wilhelm von Leibniz

    wilhelm von Leibniz
    intento dar la logica una estructura de un calculo matematico
  • David Hume

    David Hume
    lógica inductiva:señala que "una induccion se origina cuando notamos que ciertos hechos parecen repertirce... la costumbre es pues, la gran guia de la vida humana... nos obliga a esperar en el futuro una serie de acontecimientos similares a los que han apreciado en el pasado".
  • Dialéctica Hegeliana

    Dialéctica Hegeliana
    en la filosofia de Georg Wilhelm Friedrich Hegel (1770-1831), quien afirma el principio de identidad entro lo real y la razon, al declarar que "todo lo real es racional y todo lo racional es real".
    para este filosofo aleman, lo real es una totalidad cuyo movimiento es dialectico.
  • Period: to

    Edad Contemporanea

    •Logica matematica abstracta de Hamilton.
    •Augusto de Morgan: lógica radica en las relaciones de inclusión o exclusión parcial
    •En el siglo XX la lógica simbólica, producida por el filósofo L.Wittgenstein, R.Carnap. Esta lógica se da como formalismo y simbolismo, se ocupa de problemas semánticos, es decir de las relaciones entre los símbolos y lo que expresan.
    •Se producen así la logica simbólica da un acercamiento de la lógica a la lingüística y a la epistemología.
  • Marx Y Engels

    Marx Y Engels
    dialectica materialista: selllama materialista porque no se basa meramente en el razonamiento, sino que deriva de las condiciones materiales de existencia
  • John Stuart Mill

    John Stuart Mill
    considero que la induccion descansa en la uniformidad de la naturaleza. Estructuro los canones de prueba que caracterizarian la ciencia empirica.
    a) metodo de la coinsidencia
    b) metodo de la diferencia
    b) metodos combinados
    d) metodos de los residuos
    e) metodo de las variaciones concomitantes
  • logica formal

    logica formal
    representa la tradicion de estudio e investigacion en logica mas desarrollada y consolidada
  • Gorge Boole y Agustus Morgan (álgebra a la lógica.)

    Gorge Boole y Agustus Morgan (álgebra a la lógica.)
    En el siglo xix tuvo lugar a la aplicación del álgebra a la lógica.
  • Gottlob Frege (función lógica y los cuantificados)

    Gottlob Frege (función lógica y los cuantificados)
    los aportes mas destacados de este periodo son los de este alemán, quien contribuye con las tablas de verdad, los fundamentos lógicos de la aritmética, el concepto de función lógica y los cuantificados
  • charles sanders peirce (pragmatismo y la samiotica moderna,)

    charles sanders peirce (pragmatismo y la samiotica moderna,)
    considerado el fundador del pragmatismo y la samiotica moderna,quien enriquecio el metodo de la investigacion cientifica con su famosa triada de razonamientos
  • Giussepe Peano

    Giussepe 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 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.
  • Bertrand Russel (razonamiento inductivo)

    Bertrand Russel (razonamiento inductivo)
    proporciona un ejemplo que ilustra el razonamiento inductivo. Es la historia del "pavo inductista"
  • Lógica Moderna

    Lógica Moderna
    Se utilizaba la lógica matemática para comprobar diversos silogismos.
  • Ludwig Wittgenstein y R. Carnap

    nicialmente bajo la influencia formalista y logicista, dan un viraje en su filosofar orientándose hacia preocupaciones lógico - semántica.
  • Alfred North Whitehead

    Alfred North Whitehead
    publica Pricipia mathematica, en la formulan rigurosamente la logica matematica dentro del sistema mas completo que se ha esteblacido; realizan un tratamiento detallado del calculo proporcional, el calculo de las clases y el calculo de relaciones; establece la teoria de los tipos, analizan las paradojas y crean el leguaje formalizado que mas se utiliza en la actualidad
  • Rudolf Carnap (positivismo lógico)

    Rudolf Carnap (positivismo lógico)
    filosofo alemán miembro del circulo de Viena y destacado defensor del positivismo lógico, formulo un sistema cuantitativo de la lógica inductiva basado en la probabilidad
  • lógica Científica (Copi y Cohen)

    lógica Científica (Copi y Cohen)
    este tipo de lopgica "es el estudio de los principios y metodos utilizados para distinguir el argumento correcto e incorrecto"
  • Period: to

    integrantes

    Zenaida Guadalupe Lopez Barona,
    Pamela Noemi Cedillo Medina,
    Diego Rodriguez,
    Adrian Rodriguez Gonzales,