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

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

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

Различают следующие виды умозаключений: дедуктивные (выводы от общих суждений к частным или от более общих к менее общим), индуктивные умозаключения (выводы от единичных и частных суждений к общим суждениям или от менее общих к более общим), традуктивные умозаключения (выводы, где посылки и заключение имеют одинаковую степень общности). Различают также непосредственные умозаключения (заключение из одной посылки) и опосредованные (заключение из более чем одной посылки). Еще одним существенным основанием для классификации умозаключений считается характер логического следования заключения из посылок: достоверные (когда заключение следует из посылок с логической необходимостью) и вероятные (когда заключение не следует с логической необходимостью из посылок, но и логически не противоречит им, то есть когда степень следования заключения из посылок находится в интервале (0,1)).

Источник: Лебедев С.А. Философия науки: Терминологический словарь. — М.: Академический Проект, 2011. — С. 191 (269 с.)