Arystoteles formułuje zasadę sprzeczności na trzy sposoby: jako prawo ONTOLOGICZNE, LOGICZNE i PSYCHOLOGICZNE, nie wskazując jednak nigdzie jasno, czym różnią się te sformułowania. Аристотель формулирует принцип противоречия в онтологическом, логическом и психологическом значении, хотя явно нигде эти значения не отличает. Sformułowanie ontologiczne: Met. Г 3.1005 b 19,20: το γαρ αυτο αμα υπαρχενν τε καν μη υπαρχειν αδύνατον τω αυτω καν κατα το αυτο. — „To samo nie może zarazem przysługiwać i nie przysługiwać pod tym samym względem.” Онтологический принцип противоречия он определяет в предложении: Метафизика Г 3, 1005 b 19-20: τὸ γὰρ αὐτὸ ἅμα ὑπάρχειν τε καὶ μὴ ὑπάρχειν ἀδύνατον τῷ αὐτῷ καὶ κατὰ τὸ «Одно и то же не может одновременно быть присущим и не быть присущим точки зрения». Sformułowanie logiczne: Met. Γ. 6 .1011 b 13, 14:... βεβανοτατη δοξα πασών το μη ενναν αληόενς αμα τασ αντικενμενας φασενς. — „Najpewniejsza to z wszystkich zasad, że sądy sprzeczne nie są zarazem prawdziwe.”