合上述可知，其“相容逻辑学”可以被称作为“重言式逻辑学”；而“辩证逻辑学”可以被称作为“非重言式逻辑学”。它们二者共同构成了“逻辑学”最重大的两大分支。
亚里士多德逻辑学的三段论.因此，在形式化的逻辑中，不论是传统的无矛盾的亚里士多德逻辑，还是源远流长的矛盾逻辑，它们的三段论都能够形式化地表述成这种有效的论证形式:在数理逻辑运算推理的中则可表述为：或者表述为：布尔把亚里士多德创立的传统无矛盾逻辑学予以形式化，产生了所谓的“布尔逻辑学”。黑格尔的近代矛盾逻辑学则一直没有人