Breve historia de lógica (Creado por: Corona Arocha Sofía Yolotlzin, Flores Rubio Maria de los Angeles, Rangel López Laura Citlali y Rojas Pérez César Emiliano)
-
Period: 470 BCE to 1200
Edad antigua
Inicio del estudio de la lógica, se lleva principalmente en la antigua Grecia, se estudia principalmente las oraciones para llegar a un acuerdo lógico. -
400 BCE
Socrates (470 a.C - 399 a.C)
Fue famoso por su gran habilidad para hacer preguntas esenciales y criticas que llevaron a sus oponentes a admitir una objeción o incluso una contradicción en su pensamiento. El método socrático fue conocido como "arte mayeutica" -
387 BCE
Platón (427 a.C - 347 a.C.)
Platón exponía su filosofía en forma de dialogo en los que se abordan temas como el ser, la belleza, la justicia, entre otros.
Este método se denomina "dialéctica". -
350 BCE
Aristóteles de Estagira (384 a.C. - 322 a.C.)
Considerado como creador de la Lógica, el estudio las oraciones, denominando tres tipos de oraciones (singulares, universales y particulares) y creo un cuadro de oposiciones el cual se muestra en la imagen. -
250 BCE
Crisipo de Soli (280 a.C - 206 a.C)
El logro desplazar la lógica en ya no solo una oración simple, si no ya en oraciones complejas, para que la verdad del todo dependa exclusivamente de las verdad de las partes, para que cada parte tenga una combinación exclusiva para dar con una verdad de todo. -
Period: 1200 to
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. -
1230
Pedro Hispano (1205 d.C - 1277 d.C)
El entiende las falacias de 2 maneras: una como el engaño causado en nosotros y otra como la causa o principio de este engaño. Y aclara que toma falacia en este último sentido: en cada falacia hay 2 causas, una es la causa de apariencia y la otra es la de falsedad. Una es la que mueve a creer lo que no es y la segunda es la que hace que lo creído sea falso. -
1300
Guillermo de Ockham (1288-1349)
Crea la suma de la lógica, un gran aporte a la lógica, esta dividido en 3 partes:
I.- Término (77 capítulos)
II.- Proposición (37 capítulos)
III.- Silogismos, doctrina de las consecuencias y falacias. -
1330
Jean Buridan (1300 d.C - 1358 d.C)
El hace las sumas de dialéctica
1. Tratado : De las proposiciones
2. Tratado : De los predicables
3. Tratado : De las categorías
4. Tratado : De la suposición
5. Tratado : De los silogismos
6. Tratado : De los lugares dialécticos
7. Tratado : De las falacias
8. Tratado : De la demostración -
Period: to
Edad moderna
La época moderna marca el inicio de la Lógica Matemática. -
Lógica de Port Royale
Esta corriente mantiene una perspectiva antiescolástica y antiaristotélica. -
Gottfried Leibniz (1646 d.C - 1716 d.C)
Sugirió tratar los enunciados como ecuaciones de álgebra, empleando el signo de igualdad (=) para decir que las dos partes tengan el mismo valor numérico.
La ecuación seria:
Si A = B y B = C, entonces A = B -
Georg Wilhelm Friedrich Hegel (1770 a.C. -1831 d.C.)
Constitución de la lógica dialéctica entendida como principio motor del concepto que disuelve y produce las particularidades de lo universal. -
Period: to
Edad Contemporánea
El siglo XIX se caracteriza por el nivel de abstracción que alcanza la lógica matemática -
George Boole (1815 d.C. - 1923 d.C.)
Su legado fue la lógica de Boole, una teoría de las matemáticas que simplificó los enunciados que tenían por respuesta Sí o No usando la aritmética binaria. -
John Venn (1834 d.C. - 1923 d.C.)
Fortalece la teoría de las clases de George Boole aclarando su procedimiento, representando en los diagramas de Venn -
Karl Marx (1818 d.C. - 1883 d.C.)
El le da un sentido materialista a la dialéctica como totalidad de la realidad. Esto se llama materialismo porque el pensamiento no se basa meramente en el razonamiento, sino que deriva de las condiciones materialistas de existencia. -
Gottlob Frege (1848 d.C - 1925 d.C)
El publico el Begriffsschrift, donde introduce un cálculo proposicional que combina la teoría de la demostración de Leibniz con la presentación de las conectivas lógicas, así volvemos a Crisipo
