Помимо общих правил существуют специальные правила фигур.
Правила 2-й фигуры:
1. Большая посылка – общее суждение.
2. Одна из посылок – отрицательное суждение.
2-я фигура применяется, когда необходимо показать, что отдельный случай (конкретное лицо, факт, явление) не может быть подведен под общее положение. Этот случай исключается из числа предметов, о которых сказано в большей посылке. В судебной практике 2-я фигура используется для заключений об отсутствии состава преступления в данном конкретном случае, для опровержения положений, противоречащих тому, о чем говорится в посылке, выражающей общее положение.
В третьей фигуре – место субъекта в обеих посылках.
Посылками силлогизма могут быть суждения, различные по качеству и количеству: общеутвердительные (А), общеотрицательные (Е), частноутвердительные (/) и частноотрицательные (О).
По третьей фигуре правильными являются следующие модусы: AAI, IAI, AII, EAO, OAO, EIO.
Правила 3-й фигуры:
1. Меньшая посылка – утвердительное суждение.
2. Заключение – частное суждение.
Давая только частные заключения, 3-я фигура применяется чаще всего для установления частичной совместимости признаков, относящихся к одному предмету. В практике рассуждения 3-я фигура применяется сравнительно редко.
47. ЧИСТО УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ
Чисто условным называется умозаключение, обе посылки которого являются условными суждениями. Напр.:
Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q). Если они признаются соавторами изобретения (r), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (r). Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (r).
В приведенном примере обе посылки – условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (r). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (r). Поэтому заключение также выражается в форме условного суждения.
Схема чисто условного умозаключения:
(p → q) ∧ (q → r),
(Р → r).
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
Умозаключение, в котором заключение получается из двух условных посылок, относится к простым.
Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.
48. УСЛОВНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ
Условно-категорическим называется умозаключение, в котором одна из посылок – условное, а другая посылка и заключение – категорические суждения.
Это умозаключение имеет два правильных модуса: утверждающий и отрицающий.
1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. Напр.:
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q).
Иск предъявлен недееспособным лицом (р). Суд оставляет иск без рассмотрения (q).
Первая посылка – условное суждение, выражающее связь основания (р) и следствия (q). Вторая посылка – категорическое суждение, в котором утверждается истинность основания (р): иск предъявлен недееспособным лицом. Признав истинность основания (р), мы признаем истинность следствия (q): суд оставляет иск без рассмотрения.
Утверждающий модус дает достоверные выводы. Он имеет схему:
2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает
истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Напр.: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q). Суд не оставил иск без рассмотрения (⌉ q). Неверно, что иск предъявлен недееспособным лицом (⌉р). Схема отрицающего модуса: