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

12. В 12-й посылке термин A может быть помимо B, а термин C может быть или не быть помимо D, но термин A не может быть без C и B не может быть, когда есть D. Таким образом, если, отрицая A, утверждают B, то, отрицая C, отрицается и D в случае таких терминов: A - неодушевленное, B - белое, C - безжизненное, D - черное. Неодушевленное может быть помимо белого, а безжизненное может быть или не быть помимо черного. Если все же человек не неодушевленное и белое, то, поскольку не безжизненное, то не черное.

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

14. В 14-й посылке термин A может быть помимо B, но A не может быть совместимым с C, так что, когда нет одного, необходимо было бы другое; D же не может быть помимо B. Итак, если когда отрицаем A, отрицаем и B, то, когда есть C, не будет D, как в случае: A - неодушевленное, B - мастер, C - одушевленное, D - врач. Неодушевленное может быть помимо мастера, одушевленное помимо врача, но одушевленное не может сочетаться с одушевленным, и врач никоим образом не может быть отделен от мастера. Следовательно, если когда не неодушевленное, тогда не мастер, то когда одушевленное, то не врач.

15. В 15-й посылке, если нет A, необходимо не быть C, B и D такие термины, что отрицанием одного необходимо утверждают другое. Итак, если, поскольку, отрицая A, отрицают B, то, поскольку отрицают C, утверждают D. Например, A - неразумное, B - здоровое, C - неодушевленное, D - больное. Конечно, если нет неразумного, нет неодушевленного, больной же и здоровый не могут быть подобными, и тот, кто отрицает здоровое, утверждает необходимо больное, также и наоборот. Итак, если, когда отрицаем неразумное, отрицаем и больное, то, когда отрицаем неодушевленное, утверждаем здоровое.

16. В 16-й посылке термин A не может быть помимо C, D помимо B, но не может быть термина A, когда B, и термина C, когда D. Следовательно, если после отрицания A отрицается B, то, отрицая термин C, отрицаем D, как в случае: A - неодушевленное, B -мастер, C - безжизненное, D - врач. Неодушевленное не может быть помимо безжизненного, врач не может быть помимо мастера, неодушевленное же не может быть, когда есть мастер, и безжизненное не может быть, когда есть врач. Значит, если отрицая неодушевленное, отрицается мастер, то отрицая безжизненное, отрицается врач.

Вывод из посылок, примеры которых мы выше описали, потому подразумевает добавленные посылки, дабы прояснилась их природа тем, что термины не могут быть иначе между собой связаны. Ведь, как сказано выше, не будет достаточным каким-либо образом связать термины, чтобы получились гипотетические посылки из двух условных. Ибо если кто-то скажет "если человек, то животное, если день, то светло", не получится такая посылка, которая состоит из двух условных, потому что первое условие не есть причина второго условия. Таким образом, данное выше расположение посылок показывает способ, каким получается следование одного условия из другого. Лишь тогда, когда они таковы, следует говорить о силлогизмах из них.

Из 1-й посылки получается силлогизм такого рода:

1) если, когда есть A, есть B, то, когда есть C, есть D. При этом когда A, то B. Значит, когда C, то D. Природа вышеописанной 1-й посылки может показать, что представляет собой добавленная посылка.

Или так:

2) когда C, то не D, значит, когда A, то не B.

Из 2-й посылки:

3) если, когда есть A, есть B, то, когда есть C, нет D. При этом когда A, то B, значит, когда есть C, то нет D.

Или так:

4) при этом, когда C, то D, значит, когда A, то не B.

Из 3-й посылки:

5) если, когда есть A, есть B, то, когда нет C, есть D. Притом, когда есть A, есть B, значит, когда нет C, есть D.

Или так:

6) притом, когда нет C, нет D, значит, когда есть A, нет B.

Из 4-й посылки:

7) если, когда есть A, есть B, то, когда нет C, нет D. Притом, когда есть A, есть B, значит, когда нет C, нет D.

Или так:

8) притом, когда нет C, есть D, значит, когда есть A, нет B.

Из 5-й посылки получаются 4 сочетания (collectiones). A именно, здесь так расположены термины, что получается верное заключение и на одной, и на другой стороне (посылки).