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
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.