-
Lógica formal
es aquella cuyo objeto de estudio son las inferencias de forma técnica mediante la utilización de sistemas deductivos y lenguajes y semánticas formales -
Lógica simbólica
es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia -
Lógica matemática
es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. -
Lógica informal
se dedica principalmente a diferenciar entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de información dada, sin importar su forma lógica.