Historia de la Lógica

Timeline created by aarmandblack35
In History
  • -350 BCE

    Aristóteles

    Aristóteles
    Aristóteles aporta a la lógica la introducción del uso de variables, las proposiciones por su cantidad y su cualidad, el raciocinio deductivo, las formalizaciones de la Lógica y el desarrollo silogístico.
  • Lógica

    Lógica
    Es una ciencia formal , y rama de la Filosofía , como de las matemáticas (Lógica Matemática),que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad. Estudia las leyes del pensamiento. En este trabajo se tratará sobre su desarrollo a través del tiempo.
  • Period:
    -500 BCE
    to
    -100 BCE

    Antecedentes

    La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el siglo V y el siglo I a. C. En este trabajo nos enfocaremos en la Antigua Grecia.
  • Period:
    -470 BCE
    to
    -347 BCE

    Precursores de la Lógica

    Antes de la utilización del termino Lógica u Organón como le llamaba Aristóteles , los griegos utilizaban el arte de la discusión ,el diálogo o la conversación , métodos para argumentar y defender sus puntos de vista
  • Period:
    -470 BCE
    to
    -400 BCE

    Sócrates

    Fue famoso por hacer preguntas esenciales y críticas, con lo cual provocaba un cambio en un sistema de creencias
  • Period:
    -427 BCE
    to
    -347 BCE

    Platón(Arístocles)

    Alumno de Sócrates .Platón expone su filosofía en forma de diálogos en los que se abordan temas como el ser, la belleza, la justicia, entre otros.
  • Period:
    -384 BCE
    to
    -322 BCE

    Fundación de la Lógica

    Se considera que Aristóteles fue el fundador de la lógica, hacia el siglo IV a. C. 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.Establece el silogismo en donde dadas unas premisas se debe llegar necesariamente a una conclusión , sin embargo, no cualquier agrupación de estas da conclusiones validas.
  • Period:
    -384 BCE
    to
    -322 BCE

    Organón

    Los escritos lógicos de Aristóteles están contenidos en su libro Organón que significa “instrumento” para pensar correctamente (propedéutica o metodología), este libro contiene los cinco tratados siguientes: las categorías, las proposiciones, los analíticos, (primeros y segundos) los tópicos y las refutaciones sofísticas. Los analíticos es el tratado que contiene la naturaleza de la lógica y el Silogismo que trata del razonamiento lógico aristotélico usando proposiciones categóricas.
  • Period:
    -380 BCE
    to
    -320 BCE

    Tradiciones opuestas

    En la Antigua Grecia, emergieron dos tradiciones lógicas opuestas. La lógica estoica estaba enraizada en Euclides de Megara, pupilo de Sócrates, y con su concentración en la lógica proposicional es la que quizás esté más próxima a la lógica moderna. Sin embargo, la tradición que sobrevivió a las influencias de culturas posteriores fue la peripatética, que tuvo su origen en el conjunto de obras de Aristóteles conocido como Organon (instrumento).
  • Period:
    -78 BCE
    to
    -5 BCE

    Crisipo de Solos

    Desplazó el centro de interés de los enunciados simples a enunciados complejos , utilizando la "Y" la "O" y "Si entonces" para unir diferentes enunciados.
  • Period:
    476
    to
    1492

    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. Se estudia en la estructura de las enseñanzas del Trivium como una de las artes liberales pero sin especiales aportaciones.Aquí están tratados una cantidad de nuevos problemas en la frontera de la lógica y la semántica que no fueron tratados por los pensadores antiguos.
  • Period:
    1453
    to

    Lógica Moderna

    La lógica se utilizará para estudiar la validez de las deducciones matemáticas y será sometida a un proceso de formalización simbólica. Esto quiere decir que para realizar los análisis lógicos se empleará un lenguaje simbólico similar al de las matemáticas. Libniz sugirió tratar los enunciados como las ecuaciones en el álgebra , empleando el signo de igualdad (=).Son de especial importancia la idea de Descartes de una Mathesis universalis.Aparecen realizaciones de máquinas de cálculo
  • Period: to

    Lógica del siglo XIX

    En 1847, George Boole publicó "El análisis matemático de la lógica", y en 1854 "Las leyes del pensamiento". La idea de Boole fue construir a la lógica como un cálculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones matemáticas como la suma y la multiplicación. Otro importante contribuyente inglés fue John Venn, quien en 1881 publicó su libro Lógica Simbólica, donde introdujo los famosos diagramas de Venn.
  • Period: to

    Lógica Contemporánea

    Descartes y Leibniz idearon un cálculo de razonamiento, este ultimo fue fue el primero en formular la noción de un sistema de lógica matemática aplicable de forma generalizada. Gottlob Frege en su Begriffsschrift (1879) extendió la lógica formal más allá de la lógica proposicional para incluir constructores como "todo" y "algunos".
    En 1889, Giuseppe Peano publicó la primera versión de la axiomatización lógica de la aritmética.
  • Period: to

    Lógica del siglo XX

    En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental en el que logran gran parte de la matemática a partir de la lógica, evitando caer en las paradojas en las que cayó Frege. En contraste con el trabajo de Frege, Principia mathematica tuvo un éxito rotundo y llegó a considerarse uno de los trabajos de no ficción más importantes e influyentes de todo el siglo XX. Principia mathematica utiliza notación inspirada en la de Giuseppe Peano.