La lógica se define en el campo de la filosofía como el estudio del razonamiento válido. Por lo general, se divide en tres subtipos de razonamiento lógico: razonamiento inductivo, razonamiento deductivo y razonamiento abductivo.
Cada uno de los tres subtipos de razonamiento lógico utiliza un método diferente para hacer inferencias válidas. El razonamiento inductivo se centra en sacar conclusiones a través de observaciones físicas, como señalar que la gravedad debe ser un principio verdadero porque cualquier objeto arrojado debe volver a caer. El razonamiento deductivo implica encontrar verdades necesarias a partir de afirmaciones directas, como inferir que todos los solteros no están casados, por lo tanto, un hombre soltero es un soltero. Finalmente, el razonamiento abductivo usa posibles circunstancias para inferir una posible verdad, como observar que la lluvia hace que la hierba se humedezca, y si la hierba está húmeda, puede haber llovido antes.
