Основная логическая форма мышления. В процессе умозаключения добываются новые сведения. Строится новое суждение, которое не фигурировало ранее.
Умозаключением называется такая форма мышления, посредством, которой из одного, или нескольких суждений выводится новое суждение, заключающее в себе новое знание.
Все студенты сдают экзамены.
Петров студент.
Петров сдает экзамены.
Для того чтобы получить истинное заключение необходимо соблюдать два условия:
1) Чтобы посылки сами были истинными;
2) Чтобы ход рассуждения соответствовал принципам логики.
Логика концентрирует свое внимание на втором условие, предлагая, что посылки истинны.
Любое умозаключение состоит из посылок и заключения, и вывода.
Посылка – это исходное суждение.
Заключение – это новое суждение, полученное логическим путем из посылок.
В зависимости от строгости правил вывода различают 2 вида умозаключений.
1) Демонстративные (необходимые);
Вывод следует с необходимостью из посылок.
2) Недемонстративные (правдоподобные).
Вероятное следование заключается из посылок.
Наряду с этим делением умозаключения, важное значение имеет их классификация, по направленности логического следования.
Различают 3 вида умозаключений:
1. дедуктивные умозаключения (от общего к частному);
2. индуктивные умозаключения (от частного к общему);
3. традуктивные умозаключения (аналогия).
В зависимости от количества посылок выводы делятся на:
- непосредственные (из одной посылки);
- опосредованные (из двух).