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

Четвертый модус такой: если есть A, то нет B, и если нет B, необходимо не быть C, при этом C есть, необходимо, следовательно, не быть A. Потому что, если добавим, что нет A, не получится необходимого сочетания. К примеру, если человек, то не есть неразумное, а если не есть неразумное, ему необходимо не быть бесчувственным. При этом не человек. Тогда не необходимо быть бесчувственным, либо не быть бесчувственным.

Пятый модус такой: если не есть A, то есть B, и если есть B, необходимо есть C, при этом C не есть, необходимо, следовательно, есть A. А если добавим, что есть A, то не получится необходимого сочетания. К примеру, если не есть неразумное, то есть разумное, а если есть разумное, ему необходимо быть животным. Предположим неразумное.

Шестой модус такой: если не есть A, то есть B, и если есть B, необходимо не быть C, при этом C есть, необходимо, следовательно, быть C. А если присоединить термин A, не получится необходимости. К примеру, если не есть одушевленное, то есть неодушевленное, а если есть неодушевленное, то не есть чувствующее. При этом чувствующее. Тогда не необходимо быть чувствующим, либо не быть чувствующим.

Седьмой модус такой: если не есть A, то не есть B, и если не есть B, необходимо быть C, при этом C нет, необходимо, следовательно, быть A. А если присоединить термин A, не будет необходимого сочетания. К примеру, если не есть животное, то есть разумное, а если есть разумное, то есть неразумное. При этом есть животное. Тогда не необходимо быть разумным, либо не быть разумным.

Восьмой модус такой: если не есть A, то не есть B, и если не есть B, необходимо не быть C, при этом C есть, необходимо, следовательно, быть A. А если присоединить термин A, не будет какой-либо необходимости. К примеру, если не есть животное, то есть человек, а если есть человек, то необходимо не есть смеющееся. При этом есть животное. Тогда не необходимо ему быть смеющимся, либо быть не смеющимся.

О первой фигуре сказано достаточно, остальные фигуры будут изложены в следующей книге.

Книга третья

Вторая фигура условных посылок, состоящих из трех терминов, такова: сколько бы раз о какой-то вещи ни говорилось, что она есть либо не есть, столько же раз следует говорить, что и две другие или суть или не суть. Однако в самих посылках, или скорее в выводах, термины по-разному варьируются в зависимости от порядка добавленных посылок. Чтобы облегчить понимание, сначала изложим в определенном порядке все посылки, по поводу которых нужно прежде заметить, что они полагаются то как эквимодальные посылки, то как неэквимодальные. Из эквимодальных посылок не получается силлогизма. Эквимодальная посылка такова: если A есть, B есть, и если A есть, C не есть. Неэквимодальная посылка второй фигуры содержится в тех гипотетических силлогизмах, которые образуются посредством трех терминов, например, когда мы говорим так: если есть A, есть B; если не есть A, есть C. Вот пример такого предложения: если животное есть, есть одушевленное; если нечто не есть животное, это нечто есть лишенное чувств. В данном случае животное, то есть термин A, положен неодинаково в обеих посылках: с термином B он соединяется утвердительно, с термином C - отрицательно. Это и называется неэквимодальной предикацией. Если бы в обеих посылках термин A полагался бы либо как существующий, либо как несуществующий, то такая предикация называлась бы эквимодальной. Распределим (как уже было сказано) неэквимодальные посылки таким образом:

1. Если есть A, то B, и если нет A, то C.

2. Если есть A, то B, и если нет A, то нет C.

3. Если есть A, то нет B, и если нет A, то C.

4. Если есть A, то нет B, и если нет A, то нет C.

Итак, в данных предложениях термин A соотнесен с термином B, но не с термином C. В других случаях пусть термин A полагается не с термином B, с термином C:

5. Если нет A, есть B, и если A есть, есть C.

6. Если нет A, есть B, и если A есть, нет C.

7. Если нет A, нет B, и если A есть, есть C.

8. Если нет A, нет B, и если A есть, нет C.

Если, следовательно, посылка не эквимодальная, то в результате присоединения B получится 16 сочетаний, из них только 8 - силлогизмы, с другой стороны, если присоединяется термин C, также получим 16 сочетаний, но из них только в 8 силлогизмах заключена необходимость.

1. Итак, первый модус второй фигуры, производный от первой посылки, таков:

Если есть A, то B, и если нет A, то C.

Я утверждаю: если нет B, то C, что, поскольку если A, то B согласно порядку следования дает "если нет B, то нет A", то тогда, если нет A, есть C.