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

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

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

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