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
Desde Aristóteles, los lógicos se habían centrado en la lógica deductiva, especialmente el razonamiento silogístico. Mill da un lugar de honor a la lógica inductiva, yendo tan allá como para decir que todas las verdaderas deducciones son inductivas. La parte más influyente de su trabajo tenía que ver con el razonamiento científico y causal.