Аниций Боэций - Логические трактаты

9) если, когда есть A, нет B, то, когда есть C, есть D. Притом, когда есть A, нет B, значит, когда есть C, есть D.

Или так:

10) притом, когда есть A, есть B, значит, когда есть C, нет D.

Или так:

11) притом, когда есть C, нет D, значит, когда есть A, есть B.

Или так:

12) притом, когда есть C, есть D, значит, когда есть A, нет B.

Из 6-й посылки:

13) если, когда есть A, нет B, то, когда есть C, нет D. Притом, когда есть A, нет B, значит, когда есть C, нет D.

Или так:

14) притом, когда есть C, есть D, значит, когда есть A, есть B.

Из 7-й посылки таким же образом получаются 4 силлогизма:

15) Если, когда есть A, нет B, то, когда нет C, есть D. Притом, когда есть A, нет B, значит, когда нет C, есть D.

Или так:

16) притом, когда есть A, есть B, значит, когда нет C, нет A.

Или так:

17) притом, когда нет C, нет D, когда есть A, есть B.

Или так:

18) притом, когда нет C, есть D, значит, когда есть A, нет B.

Из 8-й посылки:

19) если, когда есть A, нет B, то, когда нет C, нет D. Притом, когда есть A, нет B, значит, когда есть C, нет D.

Или так:

20) притом, когда нет C, есть D, значит, когда есть A, есть B.

Итак, мы видим, какие получаются силлогизмы из тех посылок, в которых термин A утверждается, а прочие термины изменяются путем утверждения либо отрицания. Теперь следует сказать, какие силлогизмы получаются из тех посылок, в которых меняются прочие термины таким образом, чтобы термин A не мог бы при этом утверждаться.

Из 9-й посылки:

21) если, когда нет A, есть B, то, когда есть C, есть D. Притом, когда нет A, есть B, значит, когда есть C, есть D.

Или так:

22) притом, когда есть C, нет D, значит, когда нет A, нет B.

Из 10-й посылки:

23) если, когда нет A, есть B, то, когда есть C, нет D. Притом, когда нет A, есть B, значит, когда есть C, нет D.

24) Или так: притом, когда есть C, есть D, значит, когда нет A, нет B.

Из 11-й посылки:

25) если, когда нет A, есть B, то, когда нет C, есть D. Притом, когда нет A, есть B, значит, когда нет C, есть D.

Или так:

26) притом, когда нет C, нет D, значит, когда нет A, нет B.

Из 12-й посылки:

27) если, когда нет A, есть B, то, когда нет C, нет D. Притом, когда нет A, есть B, значит, когда нет C, нет D.

28) Или так: притом, когда нет C, есть D, значит, когда нет A, нет B.

Из 13-й посылки, которая дает 4 силлогизма:

29) если, когда нет A, нет B, то, когда есть C, есть D. Притом, когда нет A, нет B, значит, когда есть C, есть D.

Или так:

30) притом, когда нет A, есть B, значит, когда есть C, нет D.

Или так:

31) притом, когда есть C, есть D, значит, когда нет A, нет B.

Или так:

32) притом, когда есть C, нет D, значит, когда нет A, есть B.

Из 14-й посылки:

33) если, когда нет A, нет B, то, когда есть C, нет D. Притом, когда нет A, нет B, значит, когда есть C, нет D.

Или так:

34) притом когда есть C, есть D, значит, когда нет A, есть B.

Из 15-й посылки в свою очередь 4 силлогизма:

35) если, когда нет A, нет B, то, когда нет C, есть D. Притом, когда нет A, нет B, значит, когда нет C, есть D.

Или так:

36) притом, когда нет A, есть B, значит, когда нет C, есть D.

Или так:

37) притом, когда нет C, нет D, значит, когда нет A, нет B.

Или так:

38) притом, когда нет C, есть D, значит, когда нет A, нет B.

Из 16-й посылки:

39) если, когда нет A, нет B, то, когда нет C, нет D. Притом, когда нет A, нет B, значит, когда нет C, нет D.

Или так:

40) притом, когда нет C, есть D, значит, когда нет A, есть B.

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

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

1. Если, когда есть A человек, есть B врач, то, когда есть C одушевленное, есть D мастер. (Si cum sit A homo, est B medicus, cum sit с animatum, est D artifex).

2. Если, когда есть A человек, есть B черный, то, когда есть C одушевленный, не есть D белый.

3. Если, когда есть A одушевленное, есть B врач, то, когда нет C неодушевленное, есть D мастер.

4. Если, когда есть A человек, есть B черный, то, когда нет C неодушевленного, нет D белого.

5. Если, когда есть A человек, нет B больного, то, когда есть C одушевленное, есть D здоровый.

6. Если, когда есть A человек, нет B мастера, то, когда есть C одушевленное, нет D врача.

7. Если, когда есть A животное, нет B здорового, то, когда нет C неодушевленного, есть D больной.

8. Если, когда есть A одушевленное, нет B мастера, то, когда нет C неодушевленного, нет D врача.