Logika definiowana jest w dziedzinie filozofii jako studium ważnego rozumowania. Zazwyczaj dzieli się ją dalej na trzy podtypy logicznego rozumowania: rozumowanie indukcyjne, rozumowanie dedukcyjne i rozumowanie popędowe.
Każdy z trzech podtypów logicznego rozumowania wykorzystuje inną metodę do wyciągania prawidłowych wniosków. Rozumowanie indukcyjne koncentruje się na wyciągnięciu wniosków z obserwacji fizycznych, takich jak zauważenie, że grawitacja musi być prawdziwą zasadą, ponieważ każdy wyrzucony obiekt musi powrócić. Rozumowanie dedukcyjne polega na znalezieniu niezbędnych prawd na podstawie bezpośrednich stwierdzeń, takich jak wnioskowanie, że wszyscy kawalerowie są niezamężnymi, dlatego też niezamężny mężczyzna jest kawalerem. Wreszcie, rozumowanie abuzyjne używa możliwych okoliczności, aby wywnioskować możliwą prawdę, na przykład obserwując, że deszcz sprawia, że trawa jest mokra, a jeśli trawa jest mokra, może wcześniej padało.
