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

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

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

Теория умозаключений — наиболее тщательно и глубоко разработанная часть логики. Когда на экзамене по логике одной из отвечающих был задан вопрос: «Что больше всего Вам понравилось в логике?», она ответила: «Умозаключение. Это очень красивая теория. Здесь одно вытекает из другого». И она права. Добавим от себя, что это еще очень практичная теория, дающая нам в руки могущественное орудие познания и общения.

Индуктивные и дедуктивные умозаключения

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

Непосредственные умозаключения — это такие, которые делаются из одной посылки.

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

Перейдем к их конкретной характеристике.

Непосредственные умозаключения можно получать прежде всего из простых суждений — как атрибутивных, так и реляционных. Применительно к атрибутивным суждениям это достигается двояким путем: 1) через преобразование суждений и 2) через отношение суждений (в «логическом квадрате»).

Непосредственные умозаключения через преобразование суждений. Как отмечалось выше, преобразование суждений происходит в формах обращения и превращения, на основе сочетания которых возможны противопоставление субъекту и противопоставление предикату.

В силу чего возможно здесь умозаключение? В силу того, что нам известно отношение субъекта (S) суждения к предикату (Р). На этой основе можно вывести новое знание о целой гамме других отношений этих структурных элементов суждения — Р к S, S к не-Р, Р к не-S, не-Р к S.

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

В умозаключении через обращение суждения мы, зная отношение S к Р, выясняем обратное отношение — Р к S. Приведем пример такого умозаключения, где посылка — общеутвердительное суждение (А):

Все поэты — впечатлительные люди.

Следовательно, некоторые впечатлительные люди — поэты.

Логическая схема такого умозаключения: «Все S есть Р. Следовательно, некоторые Р есть S». Выразим эти взаимоотношения S и Р графически:

, где S — поэты, Р — впечатлительные люди.

Непосредственные умозаключения на основе обращения могут быть получены также из общеотрицательных (Е) и частноутвердительных (I) суждений. Что же касается частноотрицательных суждений (О), то они, как подчеркивалось, не обращаются, поэтому умозаключения из них сделать нельзя. Иначе будет нарушено общее правило распределенности терминов: субъект, не распределенный в посылке, окажется распределенным в заключении.