Lógica
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
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.