Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
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.