Фигура этого силлогизма такова:
Это первая фигура силлогизма.
Модус ААА (единичные суждения приравниваются к общим).
Особые правила фигур
Правила I-й фигуры: 1. Большая посылка – общее суждение
2. Меньшая посылка – утвердительное суждение
Правила II-й фигуры: 1. Большая посылка – общее суждение
2. Одна из посылок – отрицательное суждение
Правила III-й фигуры: 1. Меньшая посылка – утвердительное суждение
2. Заключение – частное суждение
Так как умозаключения по IV-й фигуре не типичны для процесса мышления, правила этой фигуры здесь рассматриваться не будут.
4.4. Выводы из сложных суждений. Сокращенные, сложные и сложносокращенные силлогизмы
Посылками умозаключения могут быть не только простые, но и сложные суждения; выведение заключения определяется в этом случае характером логической связи между суждениями. К числу умозаключений такого вида относятся: чисто условные, условно-категорические, разделительно-категорические и условно-разделительные умозаключения.
Чисто условным называется умозаключение, обе посылки которого являются условными суждениями.
Если обмен жилыми помещениями произведен с нарушением требований, предусмотренных Жилищным кодексом (р), то он может быть признан судом недействительным (q).
Если обмен признан судом недействительным (q), то стороны подлежат переселению в ранее занимаемые помещения по решению суда (s).
Если обмен жилыми помещениями произведен с нарушением требований, предусмотренных Жилищным кодексом (p), то стороны подлежат переселению в ранее занимаемые помещения по решению суда (s).
Схема чисто условного умозаключения:
Условно-категорическое умозаключение – умозаключение, состоящее из одной условной посылки, в то время как другая посылка и заключение являются категорическими суждениями. Это умозаключение имеет два правильных модуса:
– утверждающий модус (modus ponens), его схема:
Можно получить достоверные заключения от утверждения основания к утверждению следствия. Например:
Если нарушение правил безопасности при обращении с токсинами повлекло причинение вреда здоровью человека (а), то лица, допустившие подобные деяния, наказываются лишением свободы на срок до трех лет (в).
– отрицающий модус (modus tollens), его схема:
Можно получить достоверные заключения от отрицания следствия к отрицанию основания.
Если судья является потерпевшим (а), то он не может участвовать в рассмотрении дела (в)
Два других модуса:
достоверных выводов не дают. Однако, если большая посылка – эквивалентное суждение (p≡q), то достоверный вывод получается по всем четырем модусам.
Разделительно-категорическим называется умозаключение, в котором