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. Следовательно, мы возвращаемся к упомянутым соединительным. Простые, то есть предикативные, предложения иногда бывают без модуса, а иногда - с модусом. Без модуса - везде, где правильное обозначают таким образом: "есть день", "Сократ есть философ" и т. п. С модусом же будет так: "Сократ действительно есть философ". Это "действительно" есть модус предложения; а максимальное различие силлогизмов производят те предложения, к которым добавляется имя необходимости или возможности; необходимость, к примеру: "огню необходимо гореть", возможность, когда говорим: "возможно, греки победили троянцев".

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

1) "необходимо, что Сократ сидит, пока сидит"; оно обладает тем же значением, что и "Сократ сидит";

2) другое обозначение необходимости, когда говорим: "человеку необходимо иметь сердце, пока он жив". Этим обозначают следующее: не сколь угодно долго необходимо иметь сердце, а его необходимо иметь лишь столь долго, сколь долго будет жить тот, кто его имеет;

3) третье обозначение необходимости - универсальное и собственное, то есть когда мы утверждаем абсолютную необходимость, к примеру: "необходимо, что Бог бессмертен", которое не ограничивается никаким условием.

Возможное тоже излагается тремя способами:

1) или говорится, что возможно, потому что это существует: "возможно, Сократ сидит, пока сидит";

2) или говорится о том, что может случиться во всякое время, пока пребывает та вещь: "возможно, что Сократ лежит";

3) равным образом, возможно, если что-то может случиться абсолютно во всякое время, как, например, птице летать.

Из 3-х необходимых и 3-х возможных одно предложение простое, следовательно, остаются всего 5 различных предложений: 2 необходимых, 2 возможных и 1 простое. При этом одни из них утвердительные, другие - отрицательные: "Сократ есть", "Сократ не есть".

Необходимым утвердительным предложениям противопоставляются два отрицательных, одно - противоположное, другое противопоставленное - противоречащее, т. е. для предложения "необходимо A" есть два противопоставления: "необходимо не-A" и "не необходимо A". Первое отрицание контрарно утвердительному. Оба эти предложения могут быть ложными: "Необходимо, что Сократ лежит" и "необходимо, что Сократ не лежит". Когда Сократ лежит, то лежит не из необходимости, а когда не лежит, то тоже не из необходимости, и то и другое состояния возможны. А когда говорят "не необходимо A", получается отрицание утверждения, ибо одно всегда истинно, другое - всегда ложно.

В случайных и возможных предложениях - то же самое: утвердительному случайному предложению "случайно A" противостоит и "случайно не-A", и "не случайно A". Предложения "случайно, что Сократ сидит", "случайно, что Сократ не сидит" не могут быть контрарными, поскольку могут быть истинными. Противопоставляют на самом деле, когда говорят: "не случайно A", т. е. когда отрицают саму случайность.

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

Итак, если кто ищет число всех условных предложений, составленных из категорических, то сможет их найти. Сначала из связывающих два простых категорических предложения. Первое простое обозначает либо "быть", либо "быть случайно", либо "быть необходимо" в двух видах, т. е., если оно утвердительное, то может излагаться пятью видами предложений. Им противопоставляются еще 5 отрицательных, всего 10 утвердительных и отрицательных. Вторая часть условного предложения тоже может быть изложена десятью видами предложений. А поскольку 10 первых должны сочетаться с 10 вторыми, то получится 100 предложений, состоящих из двух простых. Если предложение составлено из условного и категорического, то 100 сочетаний условного соединяются с 10 видами категорического, и получается 1000 сочетаний. Для гипотетических предложений, состоящих из двух условных предложений, т. е. имеющих 4 категорических предложения, 100 сочетаний первого условного предложения связываются со 100 сочетаниями второго и получается 10000 сочетаний. В тех же предложениях, которые составляют 3 фигуры (см. выше), если, конечно, средний термин одинаков в первом и во втором условном предложениях, будет тоже 1000 сочетаний, как и в тех, которые связаны из 3-х категорических. А если говорится так: если есть A, есть B; а если необходимо есть B, то есть или не есть C? Здесь два условных предложения, 4 предикативных, значит, должно быть 10000 сочетаний. Эти числа должны соблюдаться как в первой, так и во второй и третьей фигурах. Существовало бы еще большее число предложений, если рассмотреть предложения по их общности и частности, как противолежащие, так и подчиненные. Но этого не стоит делать, так как термины условных предложений излагаются бесконечно многими способами. Я посчитал излишним искать множество предложений сообразно количеству, поскольку условные предложения не имеют обыкновения излагаться четко. Обычно они излагаются с модусом необходимо или случайно, но в разговорной речи используются чаще с обозначением "быть чем-либо". Все эти предложения стремятся обладать необходимым следствием.