Europa por Aristóteles, se mantuvo en uso en occidente hasta principios del siglo XIX y fue muy importante porque fue el responsable de la introducción la lógica moda temporal, lógica inductiva, predicables, silogismos y proposiciones. En el documento nos dice que en la edad media la lógica se convirtió en una rama principal para los filósofos que se dedicaban a analizar argumentos. Existió un lógico chino Gongsun Long y que la tradición de la investigación académica sobre la lógica. En India, la escuela de lógica Anviksiki fue fundada por Medhatithi Gautama desarrolló teorías que se asemejaban a la lógica moderna. La lógica silogística desarrollada por Aristóteles que predomino en Occidente hasta mediados del siglo XIX, las leyes del pensamiento sobre las que se basan las teorías matemáticas de la lógica y las probabilidades, introduciendo la lógica simbólica y los principios de lo que ahora se conoce como lógica booleana. Y por último la lógica de Frege, Russell y Wittgenstein influyo en los problemas de la filosofía de las matemáticas. La lógica sentencial fue implementada en circuitos lógicos informáticos y es fundamental para la informática.