Один из персонажей пьесы Мольера «Мнимый больной» построил свое рассуждение о причине усыпляющей силы опиума следующим образом: опиум усыпляет потому, что он имеет усыпляющую силу, а усыпляющую силу опиум имеет потому, что он усыпляет.

20

От греческого — «то же самое слово».

21

Кони А. Ф. Избранное. М., 1989. С. 54.

22

В логике высказываний, или пропозициональной логике, используется термин «высказывание» — грамматически правильное предложение, взятое вместе с выраженным смыслом и характеризующееся истинностью или ложностью. Мы будем использовать понятия «суждение» и «высказывание» как равнозначные.

23

Так, для русского языка характерен подвижный порядок слов, члены предложения и термины суждения могут занимать различные позиции. Например: «Белеет парус одинокий / В тумане моря голубом» (Лермонтов). Субъектом этого суждения является понятие «одинокий парус», предикатом — понятие «белеет в голубом тумане моря». Связка грамматическая не выражена. Поэтому при логическом анализе подобных суждений, прежде всего из художественных произведений, особенно поэтических, важно правильно определить субъект, предикат и связку.

24

Эти отношения относятся к неопределенно частным суждениям.

25

От лат. conjunctio — союз, связь.

26

От лат. disjunctio — разобщение, различение.

27

От лат. implico — тесно связываю.

28

От греч. episteme — знание.

29

От греч. deon — долг.

30

От греч. «истинный».

31

О распределенности терминов в суждениях см. гл. IV, § 5. В примерах распределенность термина обозначается знаком «+», нераспределенность — знаком «—».

32

Греч. syllogismos — сосчитывание.

33

Существует другая, так называемая атрибутивная, формулировка: признак признака некоторой вещи есть признак самой этой вещи; то, что противоречит признаку вещи, противоречит и вещи.

Рассмотрим силлогизм:

34

О распределенности терминов в суждениях см. гл. IV § 5.

35

Международный пакт о гражданских и политических правах.

36

В Средние века для запоминания модусов было придумано стихотворение из латинских слов, гласные буквы которых обозначили посылки и заключение. Например, Barbara — модус AAA, Celarent — модус ЕАЕ и т. д.

Приведем это стихотворение:

Barbara, Celarent, Darii, Ferioque prioris;

Cesare, Camestres, Festino, Baroco, secunde.

Tertia, Darapti, Disamis, Datisi, Felapton

Bokardo, Ferison habet; Quartio insuper addit

Bramantip, Camenes, Dimaris, Fesapo, Fresison.

Курсивом выделены слова, обозначающие модусы.

37

Так как двойное отрицание равнозначно утверждению, вывод можно записать так: «Иск предъявлен дееспособным лицом».

38

Модусы могут быть представлены в записи:

1) ((p -> q) p) -> q; 2) ((p -> q) q) -> p; 3) ((р -> q) р) -> q; 4) ((p -> q) q) -> p.

39

От лат. lemma — «предположение».

40

От лат. alternate — «чередоваться»; каждая из двух или нескольких исключающих друг друга возможностей.