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