Аниций Боэций - Логические трактаты

Ведь поскольку есть A, то будет и B, если нет A, не будет и C, если есть C, то будет A, но если есть A, то есть B, следовательно, если есть C, то будет и B. А если отрицаем C, то ничто не будет следовать с необходимостью, ведь если в предложении "если животное, то одушевленное, если не животное, то не разумное" мы добавляем "но не разумное", то отсюда с необходимостью не будет следовать ни то, что животное есть, ни то, что животного нет, а поэтому не будет с необходимостью следовать и одушевленность.

3. Таким же точно образом из третьей посылки следует такой силлогизм: если есть A, то нет B, и если нет A, то есть C. Я утверждаю: если есть B, то есть C. Действительно, так как сказано так: если A есть, B нет, то необходимо следует, что если B есть, A нет, а если нет A, есть C. Следовательно, если есть B, есть C. А если нет B, то ничто не следует по необходимости. Например, пусть будет A - "животное", B - "неодушевленное", C - "лишенное чувств". Если к этой посылке "если есть животное, то не есть неодушевленное, если не животное, то лишенное чувств" мы добавим "не есть неодушевленное", то с необходимостью не последует ни то, что животное есть, ни то, что животного нет, а также не последует и то, что есть лишенное чувств.

Если же добавление производить на основании термина C, то если нет C, то не будет и B, а если есть C, то не последует необходимого заключения. Ведь поскольку сказано так, что если есть A, то нет B, а если нет A, то есть C, то в результате получается так, что если не C, то A (ведь может говориться только в отношении к тем терминам, которые лишены среднего), но если A, то не B, следовательно, если не C, то и не B.

Если же есть C, не будет силлогизма. Действительно, если к предложению "если есть животное, то не есть неодушевленное, а если не животное, то лишенное чувств", добавить, что "нечто есть лишенное чувств", то последует, что это не животное, но не последует ни то, что есть неодушевленное, ни то, что не есть неодушевленное.

4. Из четвертой посылки получается такой силлогизм: если есть A, то нет B, и если нет A, то нет C. Я утверждаю: если есть B, то нет C. Ведь если сказано, что "если A, то не B", то отсюда следует, что "если B, то не A", а так как не есть A, то было положено, что "не C". Следовательно, если B, то не C.

А если присоединить "не есть B", не будет силлогизма. Рассмотрим пример, A - "животное", B - "неодушевленное", C - "разумное". Посылка будет такой: если животное, то не есть неодушевленное, если не есть животное, то не есть разумное. Добавляем "не есть неодушевленное" - с необходимостью не следует, что есть животное, а потому не следует, что есть разумное.

С другой стороны, если добавить C, то в случае утверждения C, с необходимостью последует не B. А если добавить "не есть C", не будет силлогизма, поскольку, если дано "если A, то не B, и если не A, то не C", необходимо следует, что, когда есть C, есть также A, но если есть A, то нет B, стало быть, если C, то не будет B.

Если полагается "не есть C", не будет силлогизма, как в такой посылке: если есть животное, то не есть неодушевленное, если не есть животное, то не есть разумное. Если добавить "не есть разумное", с необходимостью не последует: есть животное, а также не последует ни то, что есть неодушевленное, ни то, что нет неодушевленного.

Но в этих 4 посылках термин A положен таким образом, что нечто утверждается относительно термина B и отрицается относительно термина C, если же порядок поменять, получатся новые силлогизмы: если добавить термин B, получатся 4 силлогизма, и если добавить термин C, тоже получатся 4 силлогизма. И в той и в другой части будут такие 4 сочетания, которые не образуют силлогизмов.

5. Из пятой посылки пусть будет такой силлогизм: если нет A, то есть B, если есть A, то есть C. Я утверждаю: если нет B, есть C. Действительно, если принять, что не B, то следует, что A (ведь именно таковым будет порядок следования), но когда мы принимаем, что если A, то C, следует, что если не B, то C.

Если же утверждается, что B есть, ничто не будет следовать по необходимости. В самом деле, если есть B, то не будет A, если же не A, то нет ничего, что относилось бы к C, а потому нет и силлогизма. А то, что не A, если B, демонстрирует та посылка, в которой мы утверждаем: если не A, то B. Действительно, такой силлогизм получается только в том случае, когда мы имеем дело с контрарными противоположностями. Допустим, A - "животное", B - "лишенное ощущений", C - "одушевленное", и скажем: если не животное, то лишенное ощущений, если животное, то одушевленное.

Из утверждения "лишенное ощущений" не следует с необходимостью ни то, что животное, ни то, что не животное, а потому с необходимостью не следует ни то, что одушевленное, ни то, что неодушевленное.