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

Умозаключение – форма мысли, в которой устанавливается такая связь между суждениями, с помощью которой обеспечивается получение новых истинных суждений на основе уже имеющихся [8, 16].

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

Между посылками и выводом должно существовать отношение следования. Вывод следует из посылок, если истинность посылок приводит к истинности умозаключения, т.е. важно следование и важна истинность посылок.

Задача логики – сформулировать правила, обеспечивающие истинность вывода при условии истинности посылок.

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

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

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

Различают полную индукцию (обобщение на основе конечной обозримой области фактов) и неполную (относится к бесконечной области фактов).

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

Если истинность вывода обосновывается с помощью одной посылки, то умозаключение непосредственное. Если с помощью двух и более – опосредованное.