La lógica formal es vista a veces como la más notoria negación de la lógica dialéctica por el simple hecho de que la primera niega la contradicción en el interior de cada cosa (o juicio, proposición, etc.) mientras la segunda lo afirma. El hecho es que la lógica formal -y en particular la lógica matemática- está más cerca de la lógica dialéctica de lo que parece ya que en su estudio de los pensamientos formula toda una serie de unidades de contrarios. Véase así: verdadero y falso, constantes y variables, enunciados universales y particulares, enunciados positivos y negativos, etc. En las tablas de verdad de la lógica proposicional la unidad de contrarios se muestra con mucho más claridad; por sus resultados estrictamente contrarios, las ocho conectivas que unen dos proposiciones conforman unidades de contrarios en las que, en cada contradicción, los dos aspectos son diametralmetne opuestos a manera de espejo: conjunción y negación alterna, disyunción inclusiva y negación conjunta, disyunción exclusiva y bicondicional, condicional y replicación. La universalidad de la ley de la contradicción hace que ni la disciplina más hostil ella, la lógica formal, escape de sus dominios, quizás porque la malinterpreta.
No hay comentarios:
Publicar un comentario