Схематически структуру умозаключения можно изобразить следующим образом (А — посылки, В — заключение):
А1,..., Аn
В
В естественном языке посылки от заключения обычно отделяются выражениями “Следовательно,...”, ”Таким образом,...”, ”Из сказанного выше следует, что...” и т. д. Например, в умозаключении
“Если человек не виновен, то его оправдывают. Этого человека не оправ дали. Следовательно, он виновен.”
суждения “Если человек не виновен, то его оправдывают.” и ”Этого человека не оправдали.” являются посылками, а суждение ”Он виновен.” является заключением.
(1в) Виды умозаключений.
Умозаключения
Дедуктивные Недедуктивные
Непосредственные Индукция
Опосредованные Умозаключения по аналогии
(традуктивные)
Во-первых, умозаключения подразделяются по достоверности вывода на (1) дедуктивные и (2) недедуктивные.
Дедуктивное умозаключение — умозаключение, в котором истинность посылок гарантирует истинность заключения.
А1,..., Аn
В
Слово “дедуктивные” происходит от латинского “deductio” (выведение). В дедуктивных умозаключениях связь между посылками и заключением представляет собой формально-логические законы, в силу чего заключение является достоверным знанием.
Недедуктивное умозаключение — умозаключение, истинность посылок которого не гарантирует истинности заключения.