亚里士多德逻辑学的三段论.因此，在形式化的逻辑中，不论是传统的无矛盾的亚里士多德逻辑，还是源远流长的矛盾逻辑，它们的三段论都能够形式化地表述成这种有效的论证形式:在数理逻辑运算推理的中则可表述为：或者表述为：布尔把亚里士多德创立的传统无矛盾逻辑学予以形式化，产生了所谓的“布尔逻辑学”。黑格尔的近代矛盾逻辑学则一直没有人将它形式化。但是由于它们二者都是“逻辑学”的“子逻辑学”，所以，在统一的、形式化的“逻辑学”中，无矛盾逻辑学和矛盾逻辑学的三段式的差别被彻底抽象掉了，合二而