Итак, я говорю, что утверждение противолежит отрицанию по противоречию, если одно обозначает нечто как общее, а другое – то же не как общее, например: «каждый человек бледен – не каждый человек бледен», «ни один человек не бледен – есть некий бледный человек». По противоположности противолежат друг другу утверждение общего и отрицание общего, например «каждый человек справедлив – ни один человек не справедлив». Вот почему противоположные [высказывания] не могут быть вместе истинными. Противолежащие же [по противоречию] [высказывания] об одном и том же могут иногда быть истинными, например: «не каждый человек бледен» и «есть некий бледный человек». Итак, из противоречащих друг другу [высказываний] об общем, взятых как общие, одно необходимо истинно, а другое ложно. Это относится и к единичным, [противоречащим друг другу] высказываниям, например: «Сократ бел» и «Сократ не бел». Если же высказывания об общем взяты не как общие, то не всегда одно истинно, а другое ложно, ибо в одно и то же время будет правильно говорить, что человек бледен и человек не бледен, что человек красив и человек не красив (ибо если он безобразен, он не красив, и если он становится красивым, он [еще] не красив). С первого взгляда это покажется нелепым, ибо представляется, что высказывание «человек не бледен» означает в то же время, что ни один человек не бледен; однако эти высказывания не означают одного и того же, и они не необходимо [истинны или ложны] в одно и то же время.

Очевидно также, что одному утверждению соответствует лишь одно отрицание, ибо отрицание должно отрицать именно то же, что утверждает утверждение, и именно относительно того же самого, все равно, единичное ли это или общее и взято ли оно как общее или не как общее. Я имею в виду, например, «Сократ бледен – Сократ не бледен». Если же отрицается относительно одного и того же нечто иное или одно и то же, но относительно чего-то иного, то отрицание не противолежит утверждению, оно будет отлично от него. Так вот, [высказыванию] «каждый человек бледен» противолежит [высказывание] «не каждый человек бледен»; [высказыванию] «некий человек бледен» – «ни один человек не бледен»; [высказыванию] «человек бледен» – «человек не бледен».

Итак, сказано, что одному утверждению противолежит по противоречию одно отрицание, и сказано, какие они, а также и то, что противоположные высказывания иные, и какие они, и что не всякое противоречие истинно или ложно, и почему это так, и когда оно истинно или ложно.

То утверждение или отрицание одно, которое обозначает одно относительно одного, все равно, общее ли оно или нет и относительно ли общего оно или нет; например, «каждый человек бледен – не каждый человек бледен»; «человек бледен – человек не бледен»; «ни один человек не бледен – некий человек бледен» – если только «бледное» имеет одно значение. Если же два предмета, которые не составляют одно, имеют одно имя, то утверждение не одно [и отрицание не одно]; например, если бы назвали человека и лошадь платьем, то [утверждение] «платье бело» не было бы одним, ибо это высказывание нисколько но отличалось бы от [высказывания] «человек и лошадь белы», а это высказывание нисколько не отличается от [высказываний] «человек бел» и «лошадь бела». Стало быть, если эти высказывания обозначают многое и если их больше одного, то ясно, что и первое высказывание обозначает или многое, или ничего не обозначает, ибо ни один человек не есть лошадь. Поэтому и в таких высказываниях не необходимо, чтобы один [член] противоречия был истинным, а другой – ложным.