Логика: Учебник для студентов юридических вузов и факультетов

Подобное умозаключение основано на законе контрапозиции. Он означает, что любое истинное условное суждение, если в нем поменять местами основание и следствие и подвергнуть их одновременно отрицанию, может дать в качестве заключения тоже истинное условное суждение.

Непосредственное умозаключение можно сделать и из конъюнкции. Если истинно, что «Казань находится на Волге, и Саратов находится на Волге», то истинным будет и вывод: «Саратов находится на Волге, и Казань находится на Волге».

Заключение из нестрогой дизъюнкции: если истинно, что «Производительность труда зависит от технического прогресса или от квалификации работника», то отсюда следует, что истинно и такое суждение: «Производительность труда зависит от квалификации работника или от технического прогресса». В основе этих непосредственных умозаключений из конъюнкции и дизъюнкции лежит их свойство коммутативности (перестановочности).

Наконец, можно делать умозаключения из строгой дизъюнкции и эквивалентности.

Подводя теперь общий итог, можно подчеркнуть, что непосредственные умозаключения из простых и сложных суждений — не только лишь «гимнастика для ума». Благодаря им из уже известного знания извлекается дополнительная, и притом самая разнообразная и богатая, информация: о взаимоотношениях структурных элементов мысли — S и Р или х и у — в простых суждениях, а также исходных суждений в сложных. Важно лишь, чтобы в каждом отдельном случае соблюдались те или иные специфические правила таких умозаключений, дабы избегать ошибок в рассуждениях.

Глава III. Дедукция. Опосредованные умозаключения из простых суждений

Опосредованные умозаключения, состоящие из нескольких (двух и более) посылок, тоже бывают различных видов.

Прежде всего выделяются опосредованные умозаключения из простых суждений (им и посвящена настоящая глава) и опосредованные умозаключения из сложных суждений (им будет посвящена следующая глава).

Опосредованные умозаключения из простых суждений, в свою очередь, подразделяются на умозаключения из атрибутивных (категорических) суждений и умозаключения из суждений об отношениях (реляционных).

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

1. Простой категорический силлогизм

Наиболее распространенной и важной формой опосредованного умозаключения из простых атрибутивных суждений выступает простой категорический силлогизм (от греч. syllogismos — умозаключение, выведение). Приводившийся выше пример с Сократом и есть классический пример такого силлогизма.

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

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

Меньшим термином называется субъект заключения. Поэтому он обозначается буквой «S».

Бóльшим термином именуется предикат заключения (буква «Р»).

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

Посылка, в которую входит больший термин, называется большей.

Посылка, включающая в себя меньший термин, — меньшая.

Вся эта структура может быть наглядно представлена на примере:

Все люди (М) смертны (Р). (Бóльшая посылка)

Сократ (S) — человек (М). (Меньшая посылка)

Следовательно, Сократ (S) смертен (Р). (Заключение)

Заметим, что все значение подобного силлогизма, который кажется ученически тривиальным и который люди до поры до времени не склонны относить к себе, обнаруживается (как это с огромной художественной силой показал Л.Толстой в повести «Смерть Ивана Ильича») лишь на смертном одре.

Аксиома силлогизма. Отражением многовековой практики мышления людей, миллиардного повторения одной и той же мыслительной конструкции служит аксиома силлогизма. В зависимости от того, рассматриваются ли посылки в объемном или содержательном плане, различаются две ее формулировки.