Logica

Lógica Desde aristóteles hasta nuestros días

  • 569 BCE

    Pitagoras

    Pitagoras
    En el aspecto sintáctico y semántico del lenguaje Pitagoras fue el primer filosofo en estudiar las oraciones.
  • Period: 500 BCE to 100 BCE

    Edad Antigua

    se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el siglo V y el siglo I a. C.
  • 427 BCE

    Platon

    Platon
    Introduce la noción del método axiomático, el cual más tarde sería complementado por Aristoteles.
  • 318 BCE

    Aristoteles

    Aristoteles
    Se considera como el creador de la lógica, sus ideas tuvieron gran influencia en el mundo occidental por más de dos mil años.
  • Period: 476 to 1453

    Edad media

    Es influenciada por el trabajo de Aristoteles, y se reparte alrededor de las escuelas, conventos y universidades de Europa occidental, es recogido por sacerdotes.
  • 1300

    Estudios Lógicos

    Estudios Lógicos
    El estudio de los Lógicos profesionales se basó en el organon, de los cuales destacaron Petrus hispanus y Joannes Buridanus, estableciendo que "de dos premisas contradictorias se puede sacar cualquier conclusión".
  • Period: 1453 to

    Edad Moderna

    Su inicio se fija en la caída de Constantinopla, y su final se data en la revolución Francesa, la lógica encuentra un nuevo rumbo en las interpretaciones racionalistas de Port Royal, pero tampoco provocó un cambio radical en el concepto de la lógica como ciencia.
  • Leibniz

    Leibniz
    Fue el que inició la lógica matemática, quien introdujo el calculo lógico llamado "Mathesis Universalis". También desarrolló el calculo de la Lógica Proporcional.
  • Euler

    Euler
    Fue el precusor de la lógica matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismo.
  • Period: to

    Edad contemporanea

    La lógica se extendió más allá de la lógica proposicional para incluir constructores como "todo" y "algunos". Mostró cómo introducir variables y cuantificadores para revelar la estructura lógica de las oraciones, que podría estar ocultas tras su estructura gramatical. Por ejemplo, "Todos los seres humanos son mortales" se convierte en "Toda cosa x es tal que, si x es un ser humano entonces x es mortal.
  • Hamilton

    Hamilton
    Se caracteriza por el nivel de abstracción que alcanza la lógica matemática destacando Este sobre la cuantificación de todo o alguno.
  • Augustus de Morgan

    Augustus de Morgan
    Considera que la base "normal" de la lógica se da en las relaciones de inclusión o exclusión parcial o total entre clases
  • George Boole

    George Boole
    Construye la teoría de Clases
  • John Venn

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

    Giuseppe Peano
    Da el nombre de la lógica matemática creando un lenguaje simbólico para las demostraciones matemáticas. Propuso un modo de simbolizar los cuantificadores.
  • Russel

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

    Lógica Simbólica

    En el siglo XX la lógica simbólica, que tanto debía a la matemática había desembocado, desde principio del siglo, en cuestiones irresolubles. Esto hizo que la lógica se alejase de la matemática y se empieza a preocupar por problemas semánticos.
  • Wittgestein

    Wittgestein
    inicialmente bajo la influencia formalista y logicista, da un cambio de ideas en su filosofar orientándose hacia preocupaciones lógico - semánticas.