Умозаключения и их структура
НАВИГАЦИЯ ПО СТРАНИЦЕ
Умозаключение представляет собой способ получения нового знания на основе некоторого уже имеющегося.
Умозаключение это интеллектуальная операция, направленная на выведение из некоторого количества исходных суждений нового суждения, с необходимостью или определенной степенью вероятности следующего из них.
Структура умозаключения включает в себя:
посылки – исходные суждения, т.е. суждения из которых выводится новое суждение;
заключение – новое суждение, выведенное из посылок;
связка – выражение, указывающее на наличие определенных отношений между посылками и заключением.
В традиционной логике классическим было деление умозаключений на дедуктивные и индуктивные. Умозаключения, для которых характерной чертой было движение мысли от более общего к менее общему, получили название дедуктивных (лат. deductio – выведение). Те же умозаключения, которые строились на движении мысли от менее общих посылок к более общим выводам, стали называть индуктивными (лат. inductio – наведение).
В современной математической логике дедуктивными считаются те умозаключения, в которых заключение следует из посылок с необходимостью, т.е. умозаключения, в которых при истинности посылок и соблюдении соответствующих правил гарантируется истинность заключения. Такие умозаключения называются еще демонстративными, доказательными, достоверными, необходимыми. К другой группе в этой классификации относятся умозаключения, в которых при истинных посылках обеспечивается определенная степень правдоподобия заключения (некоторая вероятность его истинности). Эти умозаключения в данной классификации называются вероятностными или правдоподобными.