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.
Cálculo lógico
Actualmente la lógica llamada tradicional, silogística, se interpreta como lógica de clases.  a) Clase complementaria: clase complementaria de una clase A es la clase formada por todos los elementos que no pertenecen a esa clase A.