В трактате «Об истолковании» Аристотель описал основные отношения между суждениями в логическом квадрате, утверждая, что каждой пропозиции соответствует в точности одно отрицание, при этом пропозиция и её отрицание «противоположны»: всегда одна из них должна быть истинной, а другая ложной. 14

Пару утвердительных и отрицательных пропозиций Аристотель назвал «противоречием». 1 Примеры: «каждый человек белый» и «не каждый человек белый» (также читается как «некоторые люди не белые»), «ни один человек белый» и «какой-то человек белый». 1

Кроме того, Аристотель выделил две пары противоречащих друг другу высказываний: 5

1. Общеутвердительное высказывание находится в отношении противоречия к частноотрицательному. 5
2. Общеотрицательное — к частноутвердительному. 5

Этим двум парам высказываний в логическом квадрате соответствуют две диагонали. 5

Согласно Аристотелю, отношение противоречия характеризуется тем, что если какое-то высказывание истинно, то противоречащее ему высказывание с необходимостью ложно, а если оно ложно, то противоречащее ему высказывание с необходимостью истинно. 5