A lógica é definida no campo da filosofia como o estudo do raciocínio válido. É geralmente dividida em três subtipos de raciocínio lógico: raciocínio indutivo, raciocínio dedutivo e raciocínio abdutivo.
Cada um dos três subtipos de raciocínio lógico utiliza um método diferente para fazer inferências válidas. O raciocínio indutivo se concentra em tirar conclusões por meio de observações físicas, como observar que a gravidade deve ser um princípio verdadeiro porque qualquer objeto lançado para cima deve voltar para baixo. O raciocínio dedutivo envolve encontrar verdades necessárias a partir de afirmações diretas, como inferir que todos os solteiros são solteiros, portanto, um homem solteiro é solteiro. Finalmente, o raciocínio abdutivo usa circunstâncias possíveis para inferir uma possível verdade, como observar que a chuva molha a grama e, se a grama estiver molhada, pode ter chovido mais cedo.
