Logica

Lógica Formal e Lógica Dialética
Lógica formal é tudo aquilo que tem sua formalidade, ou seja, aquela que pode ser explicado e comprovado cientificamente.REAL Também pode-se dizer que a lógica formal tem significado comum por exemplo uma arvore é uma arvore.
Lógica dialética é abstrata, aquela que só esta no pensamento, na idéia, não tem como explicar, alias da para explicar mas não tem como se comprovar. Também pode-se dizer que são os fenômenos com o significado comum que um depende do outro, como por exemplo: vida e morte
Lógica Aristotélica
Aristóteles é considerado o fundador da lógica formal por ter determinado que a validade lógica de um raciocínio depende somente de sua forma ou estrutura, e não de seu conteúdo. Introduziu a análise da quantificação dos enunciados e das variáveis, realizou o estudo sistemático dos casos em que dois enunciados implicam um terceiro, estabeleceu o primeiro sistema dedutivo ou silogístico e criou a primeira lógica modal, que, ao contrário da lógica pré-aristotélica, admitia outras possibilidades além de "verdadeiro" e "falso".
Logica Matématica
A lógica antiga, moderna ou clássica não era plenamente formal, pois não era apática aos conteúdos das preposições nem às operações intelectuais do sujeito do conhecimento. Era atribuída a forma lógica o valor de falsidade ou verdade com base na falsidade ou verdade dos atos de conhecimento do sujeito e na irrealidade ou realidade dos objetos conhecidos. Em oposição a essa linha de pensamento, a lógica contemporânea, procura se tornar um cálculo simbólico, preocupando-se cada vez menos com o conteúdo material das preposições e com as operações intelectuais do conhecimento. Tornando-se plenamente formal.

A lógica descreve as formas, as relações e as propriedades das preposições, em decorrência da construção de um simbolismo regulado e ordenado que permite diferenciar linguagem cotidiana e linguagem formalizada. A linguagem formal nada tem a ver com a linguagem cotidiana, pois