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
Mill discute el propósito de la lógica en la comprensión humana. La lógica es el arte y la ciencia del razonamiento, un medio para buscar la verdad. Sin embargo, la lógica solo puede hacer inferencias mediante fenómenos observados, no con verdades intuitivas. No produce nuevas evidencias, pero sí puede determinar si una evidencia es válida. Fundamentalmente, la lógica es un método de evaluación de evidencia.