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

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

Глава восемнадцатая

[Силлогизмы по второй фигуре, в которых одна посылка – о присущем, а другая – о возможно присущем]

Если одна посылка – о присущем, а другая – о возможно присущем, и притом утвердительная посылка – о присущем, а отрицательная – о возможно присущем, то никогда не получится силлогизма, все равно, взяты ли термины в общих или в частных посылках. Доказывается это так же, [как и раньше], и посредством тех же терминов. Но если утвердительная посылка – о возможно присущем, а отрицательная – о присущем, то силлогизм получится. В самом деле, допустим, что А не присуще ни одному Б и возможно присуще всем В. По обращении отрицательной посылки Б не будет присуще ни одному А, но А – возможно присуще всем В. Получается через первую фигуру силлогизм о том, что Б возможно не присуще ни одному В. Подобным же образом будет обстоять дело и в том случае, если отрицание отнесено к В. Если же обе посылки – отрицательные и одна – о том, что не присуще, а другая – о том, что возможно не присуще, то из этих принятых посылок ничего не вытекает с необходимостью; но если посылку о возможно присущем подвергнуть превращению, то получится силлогизм о том, что Б возможно не присуще ни одному