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

Всякое условное предложение - соединительное или разделительное. Соединительное предложение бывает 4-х видов:

1) когда гипотетическое предложение соединяет 2 простых (простое гипотетическое) если есть A, то есть B: если есть человек, то есть животное;

2) когда соединяются два гипотетических предложения: если, поскольку есть A, есть B, то поскольку есть C, есть D: если, когда есть человек, есть животное, то, когда есть тело, есть субстанция;

3) когда соединяются из одного простого и одного гипотетического: если есть A, то, когда есть B, есть C: если есть человек, то, поскольку он есть животное, он есть субстанция;

4) когда соединяют гипотетическое предложение с простым: если, поскольку A, то B, то будет и C: если, поскольку есть человек, есть животное, то есть и тело.

Первый вид гипотетических предложений, состоящий из двух простых, определен двумя терминами. Терминами я называю части простых предложений, которыми они определяются. Сложные гипотетические предложения, включающие в себя другие гипотетические, состоят, конечно же, из 4-х терминов, те же, которые состоят из гипотетического и простого предложений, соединяют 3 термина. Простые и сложные гипотетические предложения сказываются и различно, и в то же время подобно. Если сравнить гипотетические простые предложения со сложными, состоящими из 2-х простых гипотетических, то следование в них будет таким же, и соразмерность остается, только термины удваиваются. А именно, место, которое занимают в гипотетических предложениях, состоящих из простых, сами простые предложения, такое же, как и в тех гипотетических предложениях, которые состоят из гипотетических. То есть, в предложениях: "если есть A, то есть B" и "если, поскольку A, то B, то будет и C" начальные предложения ("если есть A..." и "если, поскольку A, то B...") занимают одно и то же место. При этом во втором предложении следование становится условием. И равным образом, оставшиеся части предложений обладают одинаковым действием. Отличие лишь в том, что в простом гипотетическом предложении одно предложение следует за другим, а в сложном условие некоторого следования сопровождается следованием некоторого условия, но и в том и в другом случае одно сопровождается другим. А в тех случаях, когда соединяются простое и гипотетическое предложения, опять же имеет место сопровождение: или простое предложение сочетается с условием следования, или условие следования сопровождается простым предложением. Следовательно, подобные силлогизмы получаются как из тех предложений, которые сложены их 2-х простых, так и из тех, которые сложены из 2-х гипотетических. Те же, которые складываются из одного простого и одного гипотетического, отличны от вышеуказанных, но между собой подобны, ибо для модуса силлогизма неважно, которое из 2-х будет первым - простое или гипотетическое, разве что ради изменения самого порядка (посылок). Следовательно, если вывод из тех предложений, которые состоят из простых, будет доказательным, то, видимо, доказательным будет также вывод из тех, которые сочетаются с гипотетическими.

Есть еще один вид предложений, находящихся в связи, которая опосредует предложения, сложенные из гипотетического и простого предложений, а также из 2-х гипотетических. Такие предложения состоят из 3 терминов и 2-х условных предложений, так что один термин оказывается общим для того и другого условного предложения. Они излагаются по 3-м фигурам:

По 1-й фигуре так: если есть A, есть B, и, если есть B, есть C. Термин упоминается и в том, и в другом предложении, и терминов суть 3: "есть A", "есть B", "есть C".

По 2-й фигуре: если есть A, есть B, и, если A не есть, есть C.

По 3-й фигуре: если есть B, есть A, и, если есть C, то не есть A.

О соединительных предложениях этого достаточно.

Дизъюнктивные же предложения состоят всегда из противоположных (contrariis): либо есть A, либо есть B, ибо одно из них отрицается другим. А именно, если есть A, нет B, если нет A, есть B. Следовательно, мы возвращаемся к упомянутым соединительным. Простые, то есть предикативные, предложения иногда бывают без модуса, а иногда - с модусом. Без модуса - везде, где правильное обозначают таким образом: "есть день", "Сократ есть философ" и т. п. С модусом же будет так: "Сократ действительно есть философ". Это "действительно" есть модус предложения; а максимальное различие силлогизмов производят те предложения, к которым добавляется имя необходимости или возможности; необходимость, к примеру: "огню необходимо гореть", возможность, когда говорим: "возможно, греки победили троянцев".