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.
Lógica
La lógica se divide en varias categorías según su campo de estudio. La lógica filosófica estudia el concepto y la definición, la enunciación o proposición y la argumentación utilizando los métodos y resultados de la lógica moderna para el estudio de problemas filosóficos. La lógica matemática estudia la inferencia mediante sistemas formales como la lógica proposicional, la lógica de primer orden y la lógica modal. La lógica informal se enfoca en el desarrollo lingüístico de los razonamientos y sus falacias. La lógica computacional es la aplicación de la lógica matemática a las ciencias de la computación.