Leyes de la Lógica:
Las leyes lógicas, son proposiciones universales, necesarias, evidentes y verdaderas. Dichas leyes son cuatro, el principio de identidad, el de contradicción, el de tercero excluido y el de razón suficiente.

El principio de identidad nos dice que una cosa es idéntica a si misma, lo que es, es; lo que no es, no es:

A es A, o no A es no A

El principio de contradicción nos dice que es imposible afirmar y negar que una cosa es y no es al mismo tiempo y bajo la misma circunstancia.

A no es no A

O bien, también puede enunciarse que dos proposiciones contradictorias no pueden ser a la vez verdaderas

El principio de tercero excluso nos dice que una cosa es o no es, no cabe un término medio:

A es B, …ver más…

Representación gráfica de los modos válidos en diagramas de venn
Teniendo en cuenta la problemática de la lógica aristotélica, de la que se habla más adelante, el problema del "compromiso existencial" afecta a los modos Darapti, Felapton, Bramalip, y Fesapo que no se muestran en las gráficas, al no ser admitidos como válidos por algunos y, sobre todo, la representación gráfica no hace plausible la conclusión, debido a la falta de "compromiso existencial", como se comenta más adelante.
Hegel fue el primero en someter las leyes de la lógica formal a un análisis crítico completo. Al hacerlo estaba completando el trabajo que Kant había empezado. Pero mientras que Kant sólo mostró las deficiencias y contradicciones inherentes a la lógica tradicional, Hegel fue mucho más allá, desarrollando un método totalmente diferente a la lógica, un método dinámico que incluía el movimiento y la contradicción, que la lógica formal es incapaz de tratar.
Las leyes básicas de la lógica formal son:
1) Ley de la identidad (“A” = “A”)
2) Ley de la contradicción (“A” no es igual a “no A”)
3) Ley del medio excluido (“A” no es igual a “B”)
A primera vista parecen eminentemente sensatas. ¿Cómo se pueden poner en duda?
Pero si las vemos más de cerca podemos observar que están llenas de problemas y contradicciones de carácter filosófico. En Ciencia de la Lógica, Hegel plantea un análisis exhaustivo de la ley de la identidad, demostrando que es