A lógica é a parte da filosofia que analisa as leis que regem o pensamento. Basicamente, a ciência do raciocínio e argumentação. Nas discussões entre dois indivíduos que possuam argumentos contrários é uma ferramenta essencial para lhes permitir chegar a um acordo. Os princípios da lógica clássica foram levantadas por Aristóteles. O filósofo grego afirmava que o raciocínio lógico é o que nos permite obter uma conclusão verdadeira a partir de dois juízos verdadeiros. Com a evolução da filosofia, a lógica era que liga a teoria do conhecimento. Houve também uma correspondência entre a lógica ea matemática. A nova disciplina que o gesto fé é chamada de lógica formal. Os oradores principais desta disciplina na pensadores do século XX foram Bertrand Russell e Alfred North Whitehead.
lógica moderna, chamada formal, a linguagem simbólica utilizada sujeitos às regras. O estudante de lógica torna os sistemas simbólicos, independentemente da relação que tenham com a realidade. Posteriormente, os pesquisadores aplicam esses sistemas simbólicos para o estudo das ciências positivas e pode mover-se neles, sabendo que eles vão estar discutindo de maneira errada.