-
384 BCE
Aristoteles (384 a.c. – 322 a.c.)
Aristóteles se considera el padre de la lógica, quien la definió como la ciencia que estudia los razonamientos correctos y la consideraba un instrumento al servicio de las demás ciencias. -
371 BCE
Teofrasto y Eudemo (371 A.C - 287 A.C)
Después de Aristóteles, Teofrasto y Eudemo aportaron los silogismos hipotéticos condicionales donde plantean las preposiciones -Entonces, Si- -
350 BCE
Organon
El Órganon es un conjunto de obras de lógica escritas por Aristóteles y compiladas por Andrónico de Rodas siglos más tarde. Recibió su nombre en la Edad Media. -
Guillermo. G Leibniz
Sugirió tratar los enunciados como a las ecuaciones en el algebra, que emplea el signo de igualdad para decir que las partes tienen el mismo valor -
Alexander Hamilton
El siglo XIX 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. -
George Boole
George Boole fue un matemático y lógico británico. Como inventor del álgebra de Boole, que marca los fundamentos de la aritmética computacional moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computación -
Augusto de Morgan
Augusto de Morgan 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 -
Diagrama de Venn
Los diagramas de Venn son esquemas usados en la teoría de conjuntos, tema de interés en matemáticas, lógica de clases y razonamiento diagramático. -
Giuseppe Peano
Giuseppe Peano 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 Russell
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. -
Crispo de Solos (280 A.C -206 A.C)
Crispo de Solos desplazo el centro de interés de la lógica de los enunciados simples con sujeto y predicado a los enunciados complejos tales como ¨ Sócrates es un hombre y Zenón es un hombre¨ -
Petrus Hispanus y Juan Buridan (S.XIII - S.XVII)
Pedro Hispano y Juan Buridán estableciendo que ¨ de dos premisas contradictorias se puede deducir cualquier conclusión