A lógica é um campo de estudo filosófico que aborda as formas do pensamento em geral (dedução, indução, hipótese, inferência etc. ) e as operações intelectuais que trazem validação ao que é verdadeiro ou falso. A lógica está na base da construção das teorias científicas, das hipóteses falseáveis, das predições. A lógica avalia se raciocínio em questão está correto a partir de seus princípios e regras, constituindo um instrumento vital ao pensamento científico. Sobre o princípio da não-contradição de aristóteles e o princípio da unidade dos contrários de heráclito, podemos dizer que