Посылки — исходные суждения, из которых выводится новое суждение

Заключение (вывод) — суждение, которое выводится из посылок.

Схематически структуру умозаключения можно изобразить следующим образом (А — посылки, В — заключение):

А1,..., Аn

В

В естественном языке посылки от заключения обычно отделяются выражениями “Следовательно,...”, ”Таким образом,...”, ”Из сказанного выше следует, что...” и т. д. Например, в умозаключении

“Если человек не виновен, то его оправдывают. Этого человека не оправ дали. Следовательно, он виновен.”

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

(1в) Виды умозаключений.

Умозаключения

Дедуктивные Недедуктивные

Непосредственные Индукция

Опосредованные Умозаключения по аналогии

(традуктивные)

Во-первых, умозаключения подразделяются по достоверности вывода на (1) дедуктивные и (2) недедуктивные.

Дедуктивное умозаключение — умозаключение, в котором истинность посылок гарантирует истинность заключения.

А1,..., Аn

В

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

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