Итак, простое высказывание есть звукосочетание, обозначающее присущность или неприсущность чего-то с различием во времени.

Утверждение есть высказывание чего-то о чем-то. Отрицание есть высказывание, [отнимающее] что-то от чего-то. Так как присущее может быть высказано как неприсущее, а неприсущее – как присущее, также и присущее – как присущее, а неприсущее – как неприсущее и это может относиться таким же образом ко времени помимо настоящего, то можно отрицать все, что кто-то утверждает, и утверждать все, что кто-то отрицает. Отсюда ясно, что всякому утверждению противолежит отрицание и всякому отрицанию – утверждение.

Назовем противолежащие друг другу утверждение и отрицание противоречием. Под противолежанием же я разумею [утверждение и отрицание] одного и того же относительно одного и того же, и не в разных значениях, и все другое, что́ мы еще уточняем против нудных софистических рассуждений.

Так как одни предметы – общие, а другие – единичные (общим я называю то, что может по природе сказываться о многом, а единичным – то, что не может этого; например, «человек» есть общее, а Каллий – единичное), то необходимо высказывать, присуще или не присуще что-то чему-то как общему или как единичному. Поэтому если об общем высказываются как об общем, что ему нечто присуще или не присуще, то эти высказывания будут противоположными друг другу. Говоря «высказываться об общем как об общем», я разумею, например, «каждый человек бледен – ни один человек не бледен». Когда же высказываются об общем, но не как об общем, такие высказывания не противоположны друг другу, хотя выраженное в них может иногда быть противоположным. Говоря «высказываться об общем не как об общем», я разумею, например, «человек бел – человек не бел»; в самом деле, хотя «человек» есть нечто общее, но в высказывании он не рассматривается как общее, ибо «каждый» означает не общее, а то, что о чем-то высказывают как об общем. Но неправильно об общем сказуемом сказывать как об общем, ибо ни одно утверждение не бывает истинным, в котором об общем сказуемом сказывают как об общем, например «каждый человек есть каждое живое существо».

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

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

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

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

Итак, относительно того, что́ есть и что́ стало, утверждение или отрицание необходимо должно быть истинным или ложным, притом и относительно общего, взятого как общее, одно всегда истинно, а другое ложно, и точно так же относительно единичного, как было сказано; но это не необходимо относительно общего, если оно высказано не как общее; об этом также было сказано. Однако не так обстоит дело с единичным и с тем, что будет. Ибо если и здесь всякое утверждение и отрицание истинно или ложно, то необходимо, чтобы все было присуще или не присуще; так что если один говорит, что это будет, а другой это же самое отрицает, то ясно, что один из них необходимо говорит правду, если только всякое утверждение и отрицание истинно или ложно. Ибо в подобных случаях то и другое не будет присуще в одно и то же время: ведь если верно говорить, что нечто бело или что оно не бело, то оно необходимо бело или необходимо не бело; и если оно бело или не бело, то правильно было утверждать это или отрицать; если же это не так, то говорят неправду, и если говорят неправду, то это не так. Так что или утверждение, или отрицание необходимо должно быть истинным или ложным. Значит, [если это верно], то ничего не существует и не происходит случайно и как попало, и точно так же не будет ничего такого, что произойдет или не произойдет случайно, и все совершается по необходимости, а не как попало, ибо правду говорит или тот, кто утверждает, [что то-то и то-то произойдет], или тот, кто [это] отрицает: ведь иначе оно могло бы так же произойти, как и не произойти, ибо с тем, что происходит случайно, дело может или будет обстоять так ничуть не в большей мере, чем иначе. Далее, если нечто теперь бело, то правильно было раньше утверждать, что оно будет белым, так что всегда было правильно утверждать относительно всего ставшего, что оно есть или будет; если же всегда было правильно утверждать, что нечто есть или будет, то оно не может не быть или не стать в будущем. Но невозможно (adynaton), чтобы то, что не может (hoion) не возникнуть, не возникло, и то, что не может не возникнуть, необходимо возникает; стало быть, все, что будет, возникает необходимо; значит, ничего не будет случайно и как попало. Ибо если что-то будет случайно, то оно не будет по необходимости. Однако нельзя также сказать, что ни то ни другое неправильно: ни то, что что-то будет, ни то, что его не будет, ибо в таком случае, во-первых, если утверждение ложно, то отрицание не истинно, и если отрицание ложно, то выходит, что утверждение не истинно. Во-вторых, если правильно сказать, что нечто бело и велико, тогда и то и другое должно быть присуще; если [правильно сказать, что] это будет присуще завтра, то оно будет присуще завтра; если же [не должно быть] ни то, что нечто завтра будет, ни то, что завтра его не будет, то оно не может быть как попало, например морское сражение, ибо в таком случае морское сражение не должно было бы завтра ни произойти, ни не произойти.