La logica è definita nel campo della filosofia come lo studio del ragionamento valido. Di solito è ulteriormente diviso in tre sottotipi di ragionamento logico: ragionamento induttivo, ragionamento deduttivo e ragionamento abduttivo.
Ognuno dei tre sottotipi di ragionamento logico utilizza un metodo diverso per fare inferenze valide. Il ragionamento induttivo si concentra sul trarre conclusioni attraverso osservazioni fisiche, come ad esempio notare che la gravità deve essere un vero principio perché ogni oggetto sollevato deve tornare indietro. Il ragionamento deduttivo implica la ricerca di verità necessarie da dichiarazioni dirette, come ad esempio dedurre che tutti gli scapoli non sono sposati, quindi un uomo non sposato è uno scapolo. Infine, il ragionamento abduttivo usa le possibili circostanze per dedurre una possibile verità, come osservare che la pioggia fa bagnare l'erba, e se l'erba è bagnata, potrebbe aver piovuto prima.
