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.
Materia
Las matemáticas y la lógica son ciencias formales porque no tienen ningún objeto material de estudio sino la “formas” válidas de inferencia. Por eso su mejor expresión es simbólica, sin contenido. Las demás ciencias en cuanto que tienen un objeto de estudio concreto son ciencias materiales.