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

1. Сперва изложим те, где говорится: либо есть A, либо есть B. Это может говориться только о тех, в которых необходимо быть лишь одному из них, к примеру, в противоположных, лишенных среднего. Они подобны тем посылкам, которые утверждают: если нет A, есть B. Когда говорят "либо A, либо B", понимают то, что не могут быть подобны A и B, и если одного не будет, следует, чтобы было другое. И таким образом, если не будет A, то будет B, A это мы посчитали выше одной из посылок, которые получаются благодаря соединению. Следовательно, какие бы ни были силлогизмы из посылок "если не есть A, то есть B", такие же получатся из тех, которые высказаны через разделение "либо есть A, либо есть B". Получаются, следовательно, из вышесказанного 4 модуса. Ибо какую бы часть посылки не присоединять, либо предшествующую, либо последующую, либо отрицательным образом, либо утвердительным, получается силлогизм. А именно, если есть такая посылка: если не есть A, есть B, то это означает: либо если не будет A, будет B, либо если будет A, не будет B, либо если нет B, будет A, либо если есть B, не будет A. В предложениях разделительных будет то же самое. А именно, когда говорят "либо есть A, либо есть B", это означает, что:

- если, конечно, A будет, B не будет;

- если A не будет, B будет;

- если B есть, не будет A;

- если B нет, будет A.

Это проясняется таким примером: либо болен, либо здоров. Что бы мы ни присоединяли, утверждая одну часть, тогда отрицается другая, и наоборот:

- если здоров, то не болен;

- если не здоров, то болен;

- если болен, то не здоров;

- если не болен, то здоров.

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

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