Não há um consenso quanto à definição da lógica, mas alguns autores a definem como o estudo dos processos válidos e gerais pelos quais atingimos a verdade, inclusive pelo estudo dos princípios da inferência válida. É a Ciência que expõe as leis, modos e formas do conhecimento científico. É uma ciência formal que se dedica ao estudo das formas válidas de inferência. Trata-se, portanto, do estudo dos métodos e dos princípios utilizados para distinguir o raciocínio correto do incorreto. A lógica foi criada por Aristóteles, no século IV a.C., como uma ciência autônoma que se dedica ao estudo dos atos do pensamento (Conceito, Juízo, Raciocínio, Demonstração) do ponto de vista da sua estrutura ou forma lógica, sem ter em conta qualquer conteúdo material. É por esta razão que esta lógica aristotélica se designa também por lógica formal. Segundo os registros foi Aristóteles quem sugeriu o silogismo como sendo o argumento válido. Aristóteles é considerado o pai da lógica formal.