Умозаключение — это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
Умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.
При анализе умозаключения посылки и заключение принято записывать следующим образом:
Преступление наказуемо посылки
Мошенничество — преступление
Мошенничество наказуемо – заключение.
Посылки записываются над чертой, заключение — под чертой. При содержательной связи между посылками заключение будет истинным, если соблюдаются два условия: во-первых, исходные суждения — посылки умозаключения должны быть истинными; во-вторых, в процессе рассуждения следует соблюдать правила вывода, которые обусловливают логическую правильность умозаключения.
Умозаключения делятся на следующие виды.
1. В зависимости от строгости правил вывода различают демонстративные (необходимые) и недемонстративные (правдоподобные) умозаключения. В демонстративных умозаключениях заключение с необходимостью следует из посылок, т. е. логическое следование представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятностное следование заключения из посылок.
2. По направленности логического следования, т. е. по характеру связи между знанием различной степени общности, выраженному в посылках и заключении, различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).
Дедуктивными (от латинского deductio — «выведение») называется умозаключение, в котором переход от общего знания к частному является логически необходимым.
В зависимости от количества посылок дедуктивные выводы из категорических суждений делятся на непосредственные, в которых заключение выводится из одной посылки, и опосредствованные, в которых заключение выводится из двух посылок.
Логический переход от знания об отдельных явлениях к знанию общему совершается в этом случае в форме индуктивного умозаключения, или индукции (от латинского inductio — «наведение»). Индуктивным называется умозаключение, в котором на основании принадлежности признака отдельным предметам некоторого класса делают вывод о его принадлежности классу в целом.
Умозаключением по аналогии называется рассуждение, в котором из сходства двух объектов в некоторых признаках делается заключение об их сходстве в других признаках.
Схема классификации умозаключений
7.