Introdução
O termo "lógica" vem de uma palavra grega que significa razão, A Lógica é, de fato, a ciência das leis ideais do pensamento, e a arte de aplicá-las corretamente à procura e à demonstração da verdade. A Lógica é uma ciência, isto é, um sistema de conhecimentos certos, fundados em princípios universais. Nisto, a Lógica filosófica difere da Lógica espontânea ou empírica, como o que é perfeito difere do imperfeito. Porque a Lógica natural não é mais do que uma aptidão inata do espírito para usar corretamente as faculdades intelectuais, mas sem ser capaz de justificar racionalmente, recorrendo aos princípios universais, as regras do pensamento correto,
Ciência das leis ideias do pensamento, a Lógica pertence por isto à filosofia normativa, porque não tem por fim definir o que é, mas o que deve ser, a saber, o que devem ser as operações intelectuais para satisfazer às exigências de um pensamento correto. Ela estabelece as condições, não de existência, mas de legitimidade.

Lógica Formal
A Lógica Formal, lógica clássica de Aristóteles, é uma forma de pensar, de conhecer, de organizar o raciocínio sem considerar o conteúdo. O raciocínio se faz com o relacionamento de duas ideias: as premissas e a conclusão, que na lógica chama-se de inferência.
Ocorre que nem todo raciocínio é lógico. Para um raciocínio ser lógico é necessário atender a três princípios: princípio da identidade, princípio do terceiro excluído e