Teofrasto

Historia de la lógica

  • 500 BCE

    Integrantes del Equipo 8 Grupo 452

    1.-Fabiola Guadalupe Mont Santos
    2.-María Jose Femat Camacho
    3.-Evelyn Karina Hernandez Montiel
    4.-Martin Zepeda
  • 450 BCE

    Logica Dialectica (450)

    Logica Dialectica (450)
    En la antigüedad griega, la dialéctica era el arte de la discusión.
    Sócrates, hábil para hacer preguntas que llevaban a sus oponentes(los sofistas) a admitir su ignorancia, el método socrático fue conocido como arte mayeútica.
    Mientras que Platón decía que la dialéctica era un objeto de entrenamiento filósofo.
    https://www.youtube.com/watch?v=iKBICsGA-bM
  • 300 BCE

    Aristoteles (384 a.C-322 a.C)

    Aristoteles (384 a.C-322 a.C)
    Aristóteles fue el fundador de la lógica, allá por 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.
  • 300

    Teofrasto (371 a.C- 287 a.C)

    Teofrasto (371 a.C- 287 a.C)
    Aporto 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.
  • 320

    Crisispo de Solo (281- 78 a.C)

    Crisispo de Solo (281- 78 a.C)
    Desplazo el centro de interés de la logica de los enunciados simples con sujeto y predicado y predicado a los enunciados complejos
  • 400

    Platón (427-347 a.C)

    Platón (427-347 a.C)
    Platón en su obra Sofista trató también las afirmaciones y las negaciones, introduce la noción del método axiomático
  • 450

    Protágoras (490-420 a.C)

    Protágoras (490-420 a.C)
    Protágoras fue el primero en estudiar las oraciones,
  • 1090

    Pedro Abelardo (1079-1142)

    Pedro Abelardo (1079-1142)
    Destacó por su gran dominio de la silogística y sus estudios sobre el significado de los términos.
  • 1200

    Pedro Hispano (1215-1277)

    Pedro Hispano  (1215-1277)
    Estableció que de dos premisas contradictorias se puede deducir cualquier conclusión
  • 1300

    Juan Burridan (1295-1358)

    Juan Burridan (1295-1358)
    Ayudo a Pedro Hispano con el establecimiento de que de dos premisa contradictorias se puede deducir cualquier conclusión
  • 1350

    Lógica Medieval (1350)

    Lógica Medieval (1350)
    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. estuvo dirigido al comentario del Organon destacando Pedro Hispano y Juan Buridan estableciendo que “de Dos premisas contradictorias, se puede deducir cualquier conclusión".
    https://www.youtube.com/watch?v=2aePANVYnJg
  • Gullermo Leibniz (1646-1716)

    Gullermo Leibniz (1646-1716)
    Introdujo el cálculo lógico llamado “Mathesis Universalis” que fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas las disputas y controversias. también desarrolló el cálculo de la Lógica Proposicional.
  • Euler (1707-1783)

    Euler (1707-1783)
    Euler es otro de los precursores de la Lógica Matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos.
  • Augusto de Morgan (1806-1871)

    Augusto de Morgan (1806-1871)
    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.
  • Dialéctica Hegeliana (1810)

    Dialéctica Hegeliana (1810)
    Surge un sentido diferente de la dialéctica,Georg W. F. Hegel, afirma el principio de identidad entre lo real y la razón al declarar que "todo lo real es racional y todo lo racional es real".
    Las frases del método dialéctico de manera simple son tesis, antitésis y síntesis
  • George Boole (1815-1864)

    George Boole (1815-1864)
    Construye la Teoría de Clases
  • Lógica Matematica (1860)

    Lógica Matematica (1860)
    Para realizar los análisis lógicos se empleará un lenguaje simbólico similar al de las matemáticas. El precursor de esta lógica es Guillermo G. Leibniz quien introdujo el cálculo lógico llamado “Mathesis Universalis” que fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas las disputas y controversias.
  • Lógica Moderna (Simbólica) (1879)

    Lógica Moderna (Simbólica) (1879)
    Se caracteriza por el nivel de abstracción que alcanza la lógica matemática.
    Hamilton habla de la cuantificación de todo o alguno. Augusto de Morgan :La base de la lógica radica en las relaciones de inclusión o exclusión parcial o total entre clases. 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.
  • Frege (1848-1925)

    Frege (1848-1925)
    Destaco entre otros a realizar los análisis lógicos para que se empleará un lenguaje simbólico similar al de las matemáticas.
  • Giussepe Peano (1858-1932)

    Giussepe Peano (1858-1932)
    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.
  • Whitehead (1861-1947)

    Whitehead (1861-1947)
    Aporta en la realización de los análisis lógicos para que se lograra el empleo de un lenguaje simbólico similar al de las matemáticas
  • L. Wittgenstein (1889-1951)

    L. Wittgenstein (1889-1951)
    Producen así un acercamiento de la lógica a la lingüística y a la epistemología inicialmente bajo la influencia formalista y logística, dan un viraje en su filosofar orientándose hacia preocupaciones lógico - semántica.
  • Russell (1872-1970)

    Russell (1872-1970)
    Aporto sus avances en la realización de los análisis lógicos para que se empleará un lenguaje simbólico similar al de las matemáticas además de 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.
  • R.Carnap (1891--1970)

    R.Carnap (1891--1970)
    Produce al igual que Wittgenstein un acercamiento de la lógica a la lingüística y a la epistemología inicialmente bajo la influencia formalista y logística, dan un viraje en su filosofar orientándose hacia preocupaciones lógico - semántica.
  • Alan Turing (1912-1954)

    Alan Turing (1912-1954)
    Al plantearse la lógica como un cálculo o sistema formal axiomático cuando se pusieron las bases de los actuales computadores u ordenadores. Un cálculo consiste en una serie de operaciones —o pasos— ordenadas, definidas y finitas, que permiten solucionar un problema. Fue Turing quien diseñó de forma teórica la manera en que esto podía realizarse.