Lógica
Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad, en matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX. Más recientemente, la lógica también se ha estudiado en lingüística y en ciencias cognitivas. En general, la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.
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.