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