Aristotelese elulugu, loogika, õpetused
seadusloomes ja seaduste rakendamisel.
Vastuoluseadus
Arutlustes ei tohi olla vasturääkivusi, see tähendab, et ei tohi iseendale vastu rääkida.
Mõnikord ei olegi seda nii lihtne märgata.
Vastuoluseadus ütleb, et kõik vastuolulised laused on väärad. Vastuoluline lause ehk
vastuolu jaatab ja eitab üht ja sama asja korraga.
Kõige lihtsam vastuolu on eksplitsiitne ehk ilmutatud vastuolu. Viimane on säärase
kujuga lause, mille lausekujust endast on kohe näha, et tegemist on vastuoluga. Ilmutatud
vastuolu on kujul: "A ja mitte-A", kus A on mingi väide ja mitte-A selle väite eitus. Seejuures
pole oluline, millest räägib väide A. Säärase kujuga lause on nii kui nii väär ja seda olenemata
sellest, milline on maailm.
Aristoteles ise sõnastab vastuoluseaduse mitte seadusena väidete kohta, vaid
seadusena maailma kohta: "Ükski asi ei saa korraga olla ja samas mitte olla." Kohati sõnastab
annaabi.ee 
