Lógica

A lógica é entendida como a parte da Filosofia que estuda definições do pensamento segundo a sua forma e suas relações mútuas. Foi sistematizada por Aristóteles.
A lógica matemática, ou simbólica, visa superar as dificuldades de qualquer língua, por isso foi criada uma linguagem simbólica artificial, cujo precursor foi Frege, no fim do século XIX, e que foi desenvolvida no século XX por Bertrand Russell e Whitehead. A lógica dialética fundamenta-se no princípio de identidade, isto é, parte de uma concepção estática da realidade.
Aristóteles preconizou os conceitos de lógica formal e lógica material.
A primeira fixa a forma certa das operações do pensamento, e a segunda é a parte da lógica que estuda o emprego segundo a matéria ou qualidade dos objetos a serem conhecidos.
A lógica é uma das áreas da Filosofia que mais foi apropriada pela Matemática.