Logica este definită în domeniul filozofiei ca studiu al raționamentului valid. De obicei este împărțită în trei subtipuri ale raționamentului logic: raționamentul inductiv, raționamentul deductiv și raționamentul răpitor.
Fiecare dintre cele trei subtipuri ale raționamentului logic folosește o metodă diferită pentru a face inferențe valide. Răbdarea inductivă se concentrează asupra tragerii concluziilor prin observații fizice, cum ar fi observarea faptului că gravitatea trebuie să fie un principiu adevărat deoarece orice obiect aruncat trebuie să revină în jos. Argumentarea deductivă implică găsirea adevărurilor necesare din declarații directe, cum ar fi deducerea faptului că toți burlacii sunt necăsătoriți, de aceea un bărbat necăsătorit este un burlac. În cele din urmă, rațiunea răpirii folosește circumstanțe posibile pentru a deduce un posibil adevăr, cum ar fi observarea faptului că ploaia face iarba udă și dacă iarba este umedă, poate că a plouat mai devreme.
