Аналитики. Первая и Вторая

Но не одно и то же будет ни на самом деле, ни по выражению, (скажем ли мы): чему присуще Б, всему тому присуще А, или: чему всему присуще Б, всему (тому) присуще и А, ибо ничто не мешает, чтобы Б было присуще В, однако не всем (В). Например, пусть Б означает прекрасное, а В — белое. Если же некоторым белым (предметам) присуще прекрасное, то правильно будет сказать, что белому присуще прекрасное, но возможно, что (оно присуще) не всему (белому). Таким образом, если А присуще Б, но не всему тому, чему приписывается (Б), то, (независимо от того), всем ли В присуще Б или только (некоторым), не только не необходимо, чтобы А было присуще всему В, но даже чтобы оно вообще было (ему) присуще Ч Если же А присуще всему тому, чему Б действительно приписывается, то окажется возможным, чтобы А приписывалось всему тому, чему всему приписывается Б[380]. Если же А приписывается тому, чему всему приписывается Б, то ничто не мешает, чтобы Б было присуще В, но чтобы А (при этом) было присуще не всем В или (вообще) не присуще (ни одному В)[381]. Вот почему в отношении трех терминов ясно, что (положение) "чему приписывается Б, всему тому приписывается А" означает (то же самое), что (положение) "всем тем (предметам), которым приписывается Б, приписывается также и А". И если Б приписывается всем (В), то также и (всем) А; если же (Б) приписывается не всем (В), то не необходимо, чтобы и А приписывалось всем (В)[382].

Не следует, однако, думать, что из-за объяснения терминов (примерами) может получиться что-либо несообразное, ибо мы не пользуемся этим для доказательства того, что (термины) суть именно вот это, но поступаем подобно геометру, когда он говорит, что такая-то линия имеет в длину один фут и что она прямая и не имеет ширины, хотя на самом деле она не такая, но этими (примерами) он пользуется не для того, чтобы из них вывести заключение. Ибо вообще, если какой-нибудь (термин) не относится (к другому), как целое к части, а другой к нему, как часть к целому, то ни из одного из них доказывающий ничего не (будет в состоянии) доказать, так что силлогизма не получится. Примерами же мы пользуемся точно так же. как чувственным восприятием при преподавании, но не так, чтобы без них нельзя было доказывать, — подобно тому, как это (действительно невозможно) без (посылок), из которых состоит силлогизм.

ГЛАВА СОРОК ВТОРАЯ (Замечание о сложном силлогизме)

Мы не должны упускать из виду, что в одном и том же (сложном) силлогизме не все заключения получаются по одной и той же фигуре, а одни — по одной, другие — по другой. Таким образом, ясно, что и раскрытие (заключений) должно происходить таким же образом. Так как не всякая задача может быть решена во всякой фигуре, а каждая решается в соответствующей, то из (самого) заключения очевидно, по какой фигуре должно вести исследование.

ГЛАВА СОРОК ТРЕТЬЯ (Доказательство положений, содержащих определения)

Что касается доказательств, которые имеют своим предметом определения и направлены лишь на один какой-нибудь (признак) в определении, термином следует брать то, на что направлено доказательство, а не все определение, ибо будет меньше случаев путаницы из-за пространных (терминов). Так, если кто-либо доказывает, что вода есть жидкость, пригодная для питья, то в качестве терминов надо взять "пригодное для питья" и "жидкость"[383].

ГЛАВА СОРОК ЧЕТВЕРТАЯ (Раскрытие условных силлогизмов и силлогизмов, получаемых посредством приведения к невозможному)

Далее, что касается условных силлогизмов, то не следует делать попытки сводить их (к фигурам), ибо на основании того, что предположено, они не могут быть сведены. Ведь доказываются они не посредством силлогизма, а все они признаются в силу (некоторого) соглашения, например предположив, что если нет одной и той же возможности для противоположностей \ то нет и одной и той же науки (о них), мы затем доказываем, что (действительно) нет одной и той же возможности для противоположностей[384], например для здорового и больного, ибо (иначе) одно и то же было бы одновременно и больным и здоровым. (Здесь) действительно доказано (положение), что нет одной и той же возможности для всяких противоположностей, но (еще) не доказано (положение), что (для противоположностей) нет одной и той же науки. И тем не менее необходимо признать это, однако не на основании силлогизма, а на основании (некоторого) предположения. Этот (вывод), следовательно, нельзя свести[385], (вывод) же, что нет одной и той же возможности (для противоположностей) свести можно. Ибо этот (последний вывод) можно, пожалуй, (рассматривать как) силлогизм, первый же вывод[386] есть (только) предположение.