Logica

Historia de la Lógica

  • 600 BCE

    Integrantes de equipo

    Alonso Barradas Emili Yamilet
    Arreola Almazán Brenda Leslie
    Cantarell Zepeda Circe Desiree
    Nequiz Salazar Araceli
    Pérez González Mariana
    Grupo: 469
  • Period: 600 BCE to 476

    Edad Antigua

    La Edad Antigua comenzó en el año 3000 a.C con la invención de la escritura. Finalizó en el año 476 d.C con la caída del Imperio Romano de Occidente.
  • 569 BCE

    Pitágoras

    Pitágoras
    Formulo principios que influyeron posteriormente en el desarrollo de las matemáticas y en la filosofía racional en Occidente. Fue el primero en estudiar las oraciones.
  • 427 BCE

    Platón

    Platón
    (427 a.C - 347 a.C)
    Fue un filosofo Griego seguidor de Sócrates y maestro de Aristoteles. En 387 fundo la Academia (Escuela Filosófica). Participo activamente en la enseñanza de la forma del dialogo.
  • 384 BCE

    Aristóteles de Estagira

    Aristóteles de Estagira
    (384 a.C - 322 a.C)
    Es considerado el creador de la Lógica, definió la Lógica como "Ciencia que estudia los razonamientos correctos".
    Los escritos de Aristoteles están contenidos en su libro Órganon que significa "Instrumento" para pensar correctamente.
    Lo primero que hace Aristoteles es estudiar las Oraciones (singulares, universales y particulares) y estableció el Silogismo.
  • 371 BCE

    Teofrasto de Ereso

    Teofrasto de Ereso
    (371 a.C - 287 a.C)
    Fue un filosofo Griego, estudió en la escuela de Platón. Aristóteles legó a Teofrasto sus escritos, y lo designó como sucesor en el Liceo.
  • 370 BCE

    Eudemo de Rodas

    Eudemo de Rodas
    (370 a.C - 300 a.C)
    Fue un filosofo de la Antigua Grecia. Fue uno de los alumnos de Aristoteles, edito la obra de su maestro y la hizo más accesible.
    Una gran aportación radica en la sistematización del legado filosófico de Aristóteles.
  • 280 BCE

    Crisipo de Soli

    Crisipo de Soli
    (280 a.C - 206 a.C)
    Desplazo el centro de interés de los enunciados complejos.
    Dio para la lógica una definición exacta de la proposición y de las reglas concernientes a la división sistemática de todas las proposiciones en simples y compuestas.
  • Period: 476 to 1453

    Edad Media

    La Edad Media Comienza en el año 476 y se extiende hasta el año 1453 cuando ocurre la caída del Imperio Romano de Oriente.
  • 1200

    Pedro Hispano

    Pedro Hispano
    S. XVII
    Se le conoce por ser el autor de el "Tractatus", un importante manual de lógica que se utilizó en las universidades europeas desde el siglo XIII hasta el XVII.
    Su obra puede dividirse en dos partes principales. La primera versa sobre las doctrinas de la lógica antigua y la lógica nueva y la segunda parte contiene doctrinas que han sido tratadas por la lógica moderna.
  • 1300

    Juan Buridán

    Juan Buridán
    (1300 d.C - 1358 d.C)
    Fue un filósofo escolástico francés, destacó en los estudios de lógica y en los comentarios a Aristóteles. Fue defensor del principio de causalidad.
  • Period: 1453 to

    Edad Moderna

    La Edad Moderna abarca desde el año 1453 hasta 1789, año en que se produce el comienzo de la Revolución Francesa.
    Esta época marca el inicio de la Lógica Matemática.
  • Gottfried Wilhelm Leibniz

    Gottfried Wilhelm Leibniz
    (1646 d.C –1716 d.C)
    Fue un filósofo, matemático, lógico, teólogo, jurista, bibliotecario y político alemán, fue uno de los grandes pensadores de los siglos XVII y XVIII.
    Introdujo el cálculo lógico llamado “Mathesis Universalis” que permitiera acabar con todas las disputas y controversias. También desarrolló el cálculo de la Lógica Proposicional.
  • Leonhard Paul Euler

    Leonhard Paul Euler
    (1707 d.C – 1783 d.C)
    Fue un matemático y físico suizo. Se trata del principal matemático del siglo XVIII.
    Fue precursor de la Lógica Matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos.Las representaciones de este tipo reciben el nombre de diagramas de Euler.
  • Period: to

    Edad Contemporánea

    La Edad Contemporánea comienza en el año 1789 con la Revolución Francesa hasta nuestros días.
  • William Rowan Hamilton

    William Rowan Hamilton
    (1805 d.C – 1865 d.C)
    Fue un matemático, físico, y astrónomo irlandés, se caracteriza por el nivel de abstracción que alcanza la lógica matemática destacando Hamilton sobre la cuantificación de todo o alguno.
  • Augustus De Morgan

     Augustus De Morgan
    (1806 d.C – 1871 d.C)
    ​Fue un matemático y lógico británico nacido en la India.
    El trabajo de De Morgan en lógica formal, publicado en 1847, es principalmente notable por su desarrollo del silogismo numéricamente definido, este único principio es suficiente para demostrar la validez de todos los modos de razonamiento aristotélicos. Por lo tanto, es un principio fundamental en el razonamiento deductivo.
  • George Boole

    George Boole
    (1815 d.C – 1864 d.C)
    fue un matemático y lógico británico, construyo la teoría de clases.
    Boole manifestó que su trabajo más importante, su Investigación sobre las Leyes del Pensamiento (1854), en el que se sustentan sus teorías matemáticas sobre la Lógica y la Probabilidad.
  • John Venn

    John Venn
    (1834 d.C – 1923 d.C)
    Fue un matemático y lógico británico. Es especialmente conocido por su método de representación gráfica de proposiciones y silogismos conocido como los diagramas de Venn. Estos permiten una comprobación de la validez o invalidez de un silogismo.
  • Gottlob Frege

    Gottlob Frege
    (1848 d.C - 1925 d.C)
    Fue un matemático, lógico y filósofo alemán.
    La Lógica moderna comenzó en 1879 con la publicación de "Begriffsschrift" donde Frege introduce un cálculo proporcional que combina la teoría de la demostración de Leibniz con una presentación de las conectivas lógicas.
  • Giuseppe Peano

    Giuseppe Peano
    (1858 d.C – 1932 d.C)
    Fue un matemático, lógico y filósofo italiano, conocido por sus contribuciones a la lógica matemática y la teoría de números.
    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 Arthur William Russell

    Bertrand Arthur William Russell
    (1872 d.C –1970 d.C)
    Fue un filósofo, matemático, lógico y escritor británico.
    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.