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.
Un sistema de lógica
Este libro consta de 8 capítulos. En este, Mill define la lógica como un método de prueba. La prueba siempre implica proposición que debe ser probada. Una proposición en filosofía es una expresión de un juicio entre dos términos, sujeto y predicado, que afirma o niega este de aquel, o incluye o excluye el primero respecto del segundo. Luego, las proposición son creencias dependientes de la capacidad de asociar un nombre a algo.