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