Подобно тому как возможно, чтобы А было нераздельно (atomōs) присуще Б, точно так же возможно, чтобы оно было ему нераздельно не присуще. Говорю «быть нераздельно присущим или не присущим», когда между А и Б нет среднего термина. В таком случае А будет присуще или не присуще Б не на основании чего-то другого. Поэтому если или А, или Б, или даже оба вместе целиком содержатся в другом, то А не может быть присуще Б как первое. В самом деле, пусть А целиком содержится в В; в таком случае, если Б вовсе не содержится в В (ибо возможно, чтобы А целиком содержалось в другом, а Б в нем не содержалось), получится силлогизм о том, что А не присуще Б, ибо если В присуще всем А, но не присуще ни одному Б, то и А не присуще ни одному Б. Точно так же – если Б целиком содержится в другом, например в Д, ибо Д присуще всем Б, но А не присуще ни одному Д; так что посредством силлогизма получится, что А не присуще ни одному Б. Точно так же будет доказано, если и А, и Б целиком содержатся в другом. Но что ни одно Б может и не содержаться в том, в чем содержится А, или, наоборот, ни одно А – в том, в чем содержится Б, – это очевидно из тех рядов [терминов], которые нельзя брать один вместо другого. В самом деле, если ни один из [терминов], входящих в ряд А В Д, не сказывается ни об одном из [терминов], входящих в ряд Б Е З, между тем как А целиком содержится в Ф, принадлежащем к тому же ряду, то очевидно, что Б не будет содержаться в Ф, иначе эти ряды смешались бы. И точно так же – если бы Б целиком содержалось в другом. Но если ни один из этих двух [терминов А и Б] вовсе не содержится в чем-то [другом] и А не присуще Б, то оно необходимо не присуще ему нераздельно. Ибо если бы был какой-нибудь средний термин, то было бы необходимо, чтобы один из этих двух терминов целиком содержался в другом, а силлогизм получится тогда или по первой, или по средней фигуре. Если по первой, то Б будет целиком содержаться в другом (ибо посылка, содержащая Б, должна быть утвердительной); если же по средней фигуре, то любой из них может целиком содержаться в другом, так как силлогизм получится, все равно, к какой посылке отнести отрицание, но силлогизма не получится, если обе посылки отрицательные.
Таким образом, очевидно, что одно может быть не присуще другому нераздельно, и мы сказали, когда и как это возможно.
Глава шестнадцатая
[Ошибочные заключения при неопосредствованных посылках]
Неведение не как отсутствие знания, а как ложное знание (kata diathesin) есть ошибка, возникающая через силлогизм. Когда что-то первое присуще или не присуще, такая ошибка может произойти двояким образом, а именно когда или просто предполагают, что нечто присуще или не присуще, или когда приходят к такому предположению через силлогизм. Так вот, при простом предположении и ошибка простая; когда же предположение делается через силлогизм, бывает много ошибок. В самом деле, пусть А нераздельно не присуще ни одному Б; в таком случае если вывести заключение, что А присуще Б, приняв средним термином В, то это значило бы впасть в ошибку через силлогизм. Таким образом, возможно, что ложны обе посылки, но и возможно, что только одна из них. В самом деле, если А не присуще ни одному В, как и В – ни одному Б, и в каждой посылке берется обратное, то обе они будут ложными. Но возможно, что В так относится к А и Б, что оно не подчинено А и не присуще Б как общее. Ибо невозможно, чтобы Б целиком содержалось в другом; ведь было уже сказано, что А как первое ему не присуще, но не необходимо, чтобы А было присуще всем [предметам] как общее; так что обе посылки ложны. Но можно также [только] одну из посылок принять за истинную, однако не любую, а лишь посылку АВ, ибо посылка ВБ всегда будет ложной, так как Б не находится ни в одном [роде]. Посылка же АВ может быть истинной, например, если А нераздельно присуще и В, и Б. В самом деле, когда одно и то же сказывается как первое о многих, ни один из них не будет содержаться в другом. При этом не важно, если [А] присуще [В] не нераздельно.