О чем рассказывают имена правильных силлогизмов

Все правильные модусы (точнее, совершенные числом 19) силлогизма получили в Средние века свои собственные имена. Для запоминания этих имен (а через них — и самих силлогизмов) даже придумали специальное стихотворение (на латыни, разумеется):

Barham (Barbari), Celarent (Celaront), Darii, Ferioqae prioris [первая, que означает «и"];

Cesare (Cesaro), Camestres (Camestros), Festino, Baroko, secdndae [вторая];

Tertia [третья] Darapti, Disamis, Datisi, Felapton, Bokardo, Ferison hahet [имеет];

Quarta insuper dddit [четвертая сверх того включает].

Brdmantip, Camenes (Camenos), Dimaris, Fesapo, Fresison.

Адекватного русского аналога не было, пока Елена Струкчинская не решила ликвидировать это недоразумение:

зЛрплАтА рЕвИзОрА зАвИсИт от дЕтАлЕй (ааа, eio, aii, еае в 1-й фигуре).

рЕвИзОр глАзЕЕт зАкОннО, но мЕшАЕт (eio, аее, аоо, еае во 2-й фигуре).

прИзнАлИсь: пОдАрОк ЗАрИлИ нЕдАрОм: зАстАвИл рЕвИзОр (iai, оао, aii, еао, aai, eio в 3-й фигуре).

чИтАлИ? рЕвИзОр рЕАльнО влАдЕЕт бАбкАмШ (iai, eio, еао, аее, aai в 4-й фигуре).

«Могут быть и варианты, причем, чем смешнее они получаются, тем лучше запоминаются» (Е.С.):

тАрАкАн смЕтАЕт фАнтИкИ вЕнИкОм (для 1-й фигуры).

сАмОгОн дЕлАЕт жЕнИхОв нАглЕЕ (для 2-й фигуры) и т. д.

Примечания.

• 1. Три последовательные гласные в именах соответствуют модусу.
• 2. Выделены особые случаи ударения при произнесении.
• 3. В скобках — ослабленные модусы (в исходном тексте стихотворения их нет), т. е. такие правильные модусы с частным заключением, для которых существует правильный модус той же фигуры с тем же типом обеих посылок, но с общим заключением.
• 4. Все модусы фигур II—IV сводимы к модусам I фигуры (ее еще иногда называют поэтому совершенной). Способ такого сведения следующим образом указывают согласные буквы:
  • а) s — суждение, обозначенное предшествующей гласной, подвергается чистому обращению (е, г);
  • б) р — суждение, обозначенное предшествующей гласной, подвергается обращению с ограничением (а на i);
  • в) т — посылки надо поменять местами;
  • г) начальные согласные буквы показывают, к какому модусу I фигуры идет сведение (соответственно названиям модусов I фигуры);
  • д) k — означает, что модус доказывается способом от противного. Берем посылку, обозначенную предшествующей буквой, и меняем ее на утверждение, противоречащее заключению (ибо, если мы полагаем, что исходный вывод неверен, мы должны принять это утверждение за истинное). Вывод нового силлогизма будет противоречить замененной (но по-прежнему полагаемой истинной — ведь наше допущение означает, что мы пытаемся оспорить корректность вывода заключения из данных посылок) посылке.

Приведем примеры такого сведения.

• 1. Возьмем модус Dimaris IV фигуры (Некоторые Р есть М, все М есть S, значит, некоторые S есть Р). Первая буква D означает, что сведение будет идти к модусу Darii. Буква т говорит нам о том, что посылки надо поменять местами. Меняем: Все М есть S, некоторые Р есть М. Буква s после третьей гласной сообщает нам о том, что заключение надо обратить — т. е. представить его в виде Некоторые Р есть S. Ясно — с учетом того, что термины S и Р «поменялись ролями» — что мы имеем дело как раз с модусом aii по I фигуре.
• 2. Рассмотрим модус Felapton (Ни одно М не есть Р, все М есть S, значит, некоторые S не есть Р). Он сводится к модусу Ferio путем обращения с ограничением меньшей посылки. «Все Месть 5» превращается в Некоторые S есть М — и вот он перед нами искомый модус первой фигуры!
• 3. Возьмем модус Baroko (Все Р есть М, Некоторые S не есть М, поэтому некоторые S не есть Р). Он «сводится» к модусу Barbara рассуждением от противного. Утверждение, противоречащее заключению, — это «Все S есть Р». Меняем меньшую посылку (буква k стоит после второй гласной в слове Baroko) на это утверждение. Из посылок Все Р есть М и Все S есть Р легко выводится заключение Все S есть М (по модусу как раз Barbara). Это утверждение противоречит Некоторые S не есть М, поэтому наше допущение о том, что можно принять Все Р есть М и Некоторые S не есть М, но не принять Некоторые S не есть Р привело нас к противоречию. Модус доказан.

Выполните упражнение 13 из Практикума.