Есть еще один вид предложений, находящихся в связи, которая опосредует предложения, сложенные из гипотетического и простого предложений, а также из 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 быть термином". И в том и в другом случае отрицание устраняет и модус, и обозначение общности. Это происходит и в отношении простых и категорических предложений, природа которых была тщательно исследована в тех книгах, которые мы написали во втором комментарии к книге Аристотеля "Об истолковании".