Логические трактаты

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

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

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

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

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