ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ. ВЫВОДЫ ИЗ ПРОСТЫХ СУЖДЕНИЙ

Общая форма умозаключения показана на рис.23.

Общая форма умозаключения

1. Суждение

Посылки Умозаключение

2. Суждение

Вывод

Рис. 23

Длинная черта под суждениями, выполняющими роль посылок в умозаключении на языке формальной логики означает слова «следовательно», «значит».

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

Умозаключения делятся на следующие виды:

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

2. Важное значение имеет классификация умозаключений по направленности логического следования, т.е. по характеру между знанием различной степени общности, выраженному в посылках и заключении. С этой точки зрения различают три умозаключения: дедуктивные(от общего знания к частному), индуктивные(от частного знания к общему), умозаключения по аналогии(от частного знания к частному).

Эта классификация будет положена в основу дальнейшего изложения.

Рассмотрим дедуктивные умозаключения.

Дедуктивными(от латинского deductio — «выведение») называется умозаключение, в котором переход от общего знания к частному является логически необходимым.

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