Учебник логики

IV. Противопоставление. Четвёртый класс непосредственных умозаключений называется противопоставлением. Это собственно есть соединение превращения с обращением. В процессе противопоставления мы сначала производим превращение какого-либо суждения, а затем превращённое суждение обращаем. Например, возьмём суждение A: «все металлы суть элементы», произведём превращение, получится суждение: «все металлы не суть не-элементы». Обращая же это суждение, получим E: «все не-элементы не суть металлы», или, что то же, «все сложные тела не суть металлы».

Возьмём противопоставление обще-отрицательного суждения E «ни один лентяй не заслуживает успеха». Это суждение превращается в суждение: «все лентяи суть не заслуживающие успеха». Это суждение в свою очередь при обращении даёт: «некоторые люди, не заслуживающие успеха, суть лентяи». Наконец, возьмём противопоставление частно-отрицательного суждения O: «некоторые несправедливые законы не отменены». Это суждение превращается в I: «некоторые несправедливые законы суть не-отменённые законы»; а это суждение при обращении даёт: «некоторые не отменённые законы суть несправедливы». Суждение I, очевидно, не допускает противопоставления.

Таблица противопоставления

A: все S суть P -> ни одно не-P не есть S

E: ни одно S не есть P -> некоторые не-P суть S

O: некоторые S не суть P -> некоторые не-P суть S

I: некоторые S суть P

Вопросы для повторения

Как определяется умозаключение?

Какие виды умозаключений мы различаем?

Какие умозаключения называют непосредственными?

Какие умозаключения называются умозаключениями подчинения? Противоположности?

Что такое превращение?

Как превращаются суждения A, E, I, O?

Что такое обращение?

Как обращаются суждения A, E, O, I?

Что такое противопоставления?

Глава XIII Дедуктивные умозаключения. Силлогизм

Определение силлогизма. Мы рассмотрели непосредственные умозаключения, теперь перейдём к рассмотрению посредственных умозаключений и из них прежде всего рассмотрим дедуктивные умозаключения. Дедуктивные умозаключения принимают формы силлогизма. Силлогизм есть такая форма умозаключения, в которой из двух суждений необходимо вытекает третье, причём одно из двух данных суждений является обще-утвердительным или обще-отрицательным. Силлогизм, таким образом, представляет собой умозаключение от общего. Полученное суждение ни в коем случае не будет более общим, чем суждения, из которых оно выводится.

Например, нам даются два суждения:

Все растения суть организмы.

Сосны суть растения.

Из них следует, что «сосны суть организмы».

Этот пример показывает, что, если нам даются два суждения, из них необходимо получается новое суждение. Мы не входим в рассмотрение того, истинны ли эти суждения или нет, но раз только мы допустим их, то тотчас же необходимо следует новое суждение.

Части силлогизма. Данные суждения называются предпосылками или посылками (praemissae), а новое суждение, которое получается из сопоставления посылок, называется заключением (conclusio). Те понятия, которые входят в заключение и предпосылки, называются терминами (termini). Подлежащее заключения («сосны») называется меньшим термином (terminus minor), сказуемое заключения («организмы») называется большим термином (terminus major), а термин «растение», который не входит в заключение, называется средним термином (terminus medius). Обозначение, терминов большими или меньшими находится зависимости от того, какой объём им присущ в одном из типичных случаев силлогистического вывода, как в только что приведённом. Самый больший объём приходится на долю сказуемого («организмы»), самый меньший – на долю меньшего термина, подлежащего заключения («сосны»), а средний – на долю среднего термина («растения»), который не входит в заключение. Это наглядно обнаруживается, если изобразить отношение между терминами схематически. На рис. 19 S обозначает меньший термин, M – средний, P – больший.

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

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