La lógica dialéctica se distingue por su enfoque en la interpretación histórica mediante un proceso de tesis, antítesis y síntesis, marcándose por su carácter ideológico. La lógica de clase analiza las propiedades atribuibles a los conceptos, mientras que la lógica simbólica, influenciada por pensadores como Leibniz, Boole y Frege, emplea un extenso uso del simbolismo, siendo también conocida como lógica matemática o contemporánea.
Tiene un carácter más unitario que la lógica clásica y hace uso amplio del simbolismo. Entre sus principales expositores se encuentran Leibniz, Boole y Frege. También se le ha denominado lógica simbólica, matemática, teórica, contemporánea, logística y calculatoria.
Lógica dialéctica
La lógica dialéctica no hace parte de la lógica moderna, ya que no es formal, por su carácter ideológico y activo. Estudia los principios racionales de interpretación de la historia, utilizando un discurso que parte de una tesis, a la cual se opone una antítesis y concluyendo en una síntesis.
Lógica proposicional
Estudia los razonamientos formalmente validos a partir de
proposiciones y conectores lógicos, a través de un lenguaje simbólico en el que las proposiciones representadas con las letras p, q, r, s, t se encuentran unidas por conectores
lógicos dando lugar a fórmulas proposicionales.
Lógica material
Los juicios pueden ser de:
validez, constitucionalidad, legalidad, nulidad, entre otros.
Estudia las condiciones de fondo o contenido para establecer si un juicio es verdadero o falso.
Lógica metodológica
Tiene como característica en la ciencia jurídica la estructura de la sentencia.
También se le ha llamado lógica de las ciencias, estudia el
procedimiento que debe adelantar cualquier ciencia para obtener la verdad objetiva.
Lógica de clase
Estudia las propiedades (predicados) que se atribuyen a los conceptos (sujetos)
Lógica modal
Estudia el contenido de las afirmaciones o negaciones se puede inferir que el contenido de otras sea obligatorio o posible.
Lógica formal
Se clasifica en: Elemental, metodológica, clásica y moderna.
Tiene como objeto particular el estudio de las formas del
razonamiento y de los usos del lenguaje relacionados con su función en la comunicación.
Lógica cuantificacional
Estudia los predicados atribuibles a los sujetos mediante la
utilización de cuantificadores que expresan cantidad.
Lógica clásica
También se le ha llamado lógica aristotélica, tradicional o convencional. Su creador es el filósofo griego Aristóteles. Por su carácter filosófico es teóricamente dispersa,
se define como aquella lógica que no es moderna e hizo un uso escaso del simbolismo.