1. Lógica tradicional: son los procesos psicobiológicos del pensamiento lógico y métodos de inferencia, que permiten interpretar y distinguir el razonamiento correcto del incorrecto mediante la experiencia humana, ya sea por el    conocimiento o por la observación del entorno. Además, la Lógica pretende que sus razonamientos se caractericen por: 

• Precisión: mediante el uso de signos.                                                                 
• Claridad: se familiariza con los símbolos y su significado.                              
• Generalidad: se logra simplificar argumentos complicados, establece reglas y aumenta la fiabilidad de aplicarlas.

2.  Lógica formal o simbólica: se encarga de investigar, desarrollar y establecer reglas de inferencia, que conduce a formas puras y rigurosas de pensamiento. Manipula las palabras como signos, sin tener en cuenta su sentido.

• Lógica proposicional: La lógica proposicional es la parte de la Lógica que estudia las formas en que se relacionan unas proposiciones con otras y, sobre todo, la relación que se da entre las proposiciones que componen un razonamiento.

• Proposiciones simples (atómicas) están compuestas por una sola premisa que se mantiene independiente de otras proposiciones. Pueden ser afirmativas, cuando tienen la función de enunciar la compatibilidad entre el predicado y el sujeto a través de la cópula, rechaza toda posibilidad negativa del juicio.  
• Proposiciones compuestas (moleculares) están formadas por varias premisas. Esta proposición es conocida como molecular; porque su unidad estructural está formada por una asociación de premisas.           

Autor