Cicerón
En la filosofía antigua, la lógica, relacionada con la razón y la argumentación, es la forma de distinguir lo verdadero de lo falso, reconocer la coherencia y lo contradictorio. Por lo tanto, es el instrumento que subyace a las teorías construidas en los otros dos dominios filosóficos, la física y la moral. De hecho, cada acción reflexiva requiere distinguir entre lo que se debe hacer y lo que no se debe hacer, y por lo tanto, buscar certezas en las que basar la elección.
Áreas de las matemáticas
Los matemáticos han trabajado siempre con lógica y símbolos, pero por siglos las leyes subyacentes de la lógica fueron supuestas, y nunca expresadas simbólicamente. La lógica matemática, también conocido como lógica simbólica, fue desarrollada cuando la gente finalmente notó que las herramientas de las matemáticas se pueden utilizar para estudiar la estructura de la lógica misma. Las áreas de investigación en este campo se han ampliado rápidamente, y se subdividen generalmente en varias áreas distintas.