La logique est définie dans le domaine de la philosophie comme l'étude du raisonnement valide. Elle est généralement divisée en trois sous-types de raisonnement logique : le raisonnement inductif, le raisonnement déductif et le raisonnement abductif.
Chacun des trois sous-types de raisonnement logique utilise une méthode différente pour faire des inférences valides. Le raisonnement inductif se concentre sur la conclusion à travers des observations physiques, par exemple en notant que la gravité doit être un vrai principe car tout objet projeté doit redescendre. Le raisonnement déductif implique de trouver les vérités nécessaires à partir de déclarations directes, telles que la déduction que tous les célibataires sont célibataires, donc un homme célibataire est un célibataire. Enfin, le raisonnement abductif utilise des circonstances possibles pour déduire une vérité possible, comme observer que la pluie rend l'herbe humide, et si l'herbe est mouillée, il a peut-être plu plus tôt.
