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

5) Если не-A, то поскольку B, то C. "Если не одушевленное, то поскольку бесчувственное, то безжизненное". Если не будет A, то необходимо быть B, (бесчувственное, потому что неодушевленное), если термин B есть, то C может быть (например, камень), а может не быть (например, дерево). Термин C тогда необходим, когда будет B, а B необходим, когда не будет A.

6) Если не-A, то поскольку B, то не-C (A - одушевленное, B бесчувственное, C - живое). Термину B необходимо быть, если не будет термина A, но если B есть, то C может быть (дерево), а может не быть (камень). Термину C только тогда необходимо не быть, когда B есть, но B есть тогда, когда нет A, т. е. только тогда необходимо быть не живым, когда нечто бесчувственно, а бесчувственно оно потому, что не является одушевленным.

7) Если A нет, то поскольку не-B, то C (A - одушевленное, B чувствующее, C - безжизненное). Термина B не будет, если не будет A. Если B не будет, то C может быть (например камень) и может не быть (дерево). Термин C (быть безжизненным) необходимым будет только тогда, когда отрицается B (чувствующее), но B отрицается потому, что отрицается A (одушевленное).

8) Если не-A, то поскольку не-B, то не-C (A - одушевленное, B чувствующее, C - живое). Термин B отрицается, только если отрицается A, но если B отрицается, то C может быть, а может не быть (лишенное чувств может быть живым, как деревья, и может не быть живым, как камни). И только тогда C не может быть, когда нет B, потому что нет A.

Итак, из предикативного и гипотетического предложений складываются всего 8 (составных) предложений, 4 в случае, если A является термином, и 4 в случае, если A не является термином. Из них присоединением посылок получаются следующие силлогизмы:

Из первого предложения:

1) Если есть A, то, поскольку B, то C. Притом A. Значит, если B, то C.

2) Если есть A, то, поскольку B, то C. Притом, если B, то не-C. Значит, не-A.

Из второго предложения:

3) Если есть A, то, поскольку B, то не-C. Притом A. Значит, если B, то не-C.

4) Если есть A, то, поскольку B, то C. Притом, если B, то C. Значит, не-A.

Из третьего предложения:

5) Если есть A, то, поскольку не-B, то C. Притом A. Значит, если не-B, то C.

6) Если есть A, то, поскольку не-B, то C. Притом, если не-B, то не-C. Значит, не-A.

Из четвертого предложения:

7) Если есть A, то, поскольку не-B, то не-C. Притом A. Значит, если не-B, то не-C.

8) Если есть A, то, поскольку не-B, то не-C. Притом, если не-B, то C. Значит, не-A.

Из пятого предложения:

9) Если есть не-A, то, поскольку B, то C. Притом не-A. Значит, если B, то C.

10) Если есть не-A, то, поскольку B, то C. Притом A. Значит, если B, то не-C.

11) Если есть не-A, то, поскольку B, то C. Притом, если B, то C. Значит, не-A.

12) Если есть не-A, то, поскольку B, то C. Притом, если B, то не-C. Значит, A.

Из шестого предложения:

13) Если есть не-A, то, поскольку B, то не-C. Притом не-A. Значит, если B, то не-C.

14) Если есть не-A, то, поскольку B, то не-C. Притом, если B, то C. Значит, A.

Из седьмого предложения:

15) Если есть не-A, то, поскольку не-B, то C. Притом не-A. Значит, если не-B, то C.

16) Если есть не-A, то, поскольку не-B, то C. Притом A. Значит, если не-B, то не-C.

17) Если есть не-A, то, поскольку не-B, то C. Притом, если не-B, то не-C. Значит, A.

18) Если есть не-A, то, поскольку не-B, то C. Притом, если не-B, то C. Значит, не-A.

Из восьмого предложения:

19) Если есть не-A, то, поскольку не-B, то не-C. Притом не-A. Значит, если не-B, то не-C.

20) Если есть не-A, то, поскольку не-B, то не-C. Притом, если не-B, то C. Значит, A.

Итак, получается 16, а точнее 20, силлогизмов, так как из пятого и седьмого предложений получается не два, а четыре модуса, то есть заключение делается на той и другой стороне. Остальные сочетания не необходимы.

Проясним правильное положение примерами:

1. Если есть A - человек, то, поскольку есть B - одушевленное, то есть C - животное.

2. Если есть A - человек, то, поскольку есть B - одушевленное, то есть не-C - не лишенное чувств.

3. Если есть A - человек, то, поскольку не есть B - не есть одушевленное, то есть C - чувствующее.

4. Если есть A - человек, то, поскольку не есть B - не есть одушевленное, то не есть C - не бесчувственное.

5. Если не есть A - не есть одушевленное, то, поскольку есть B - бесчувственное, то есть C - безжизненное.

6. Если не есть A - не есть одушевленное, то, поскольку есть B - бесчувственное, то не есть C - не есть живое.

7. Если не есть A - не есть одушевленное, то, поскольку не есть B - не есть чувствующее, то есть C - безжизненное.

8. Если не есть A - не есть одушевленное, то, поскольку не есть B - не есть чувствующее, то не есть C - не есть живое.

Теперь перейдем к тем силлогизмам, которые состоят из первой условной и второй предикативной посылки.

1. Если, поскольку есть A, есть B, то есть C.

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

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

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

5. Если, поскольку не есть A, есть B, то есть C.

6. Если, поскольку не есть A, есть B, то не есть C.