Общая характеристика умозаключения – это набор специфических черт, присущих умозаключению и отличающих его от других форм мышления.
Базовыми для логики как науки являются категории «понятие», «суждение» и «умозаключение».
Под понятием подразумевают отражение (мысленное обозначение) некоего объекта или его признака.
Под суждением понимают какое-либо утвердительное или отрицательное высказывание, касающееся объектов, признаков, отношений и т.д.
Познавая действительность, человек получает новые знания. Часть из них формируется в результате непосредственного воздействия предметов окружающей действительности на органы чувств, но большая часть возникает посредством выведения из уже имеющихся знаний новых. Такие знания называют выводными, или опосредованными. При этом в качестве логической формы получения опосредованных знаний выступает умозаключение.
Умозаключением называют форму мышления, посредством которой производится вывод нового суждения из одного или нескольких имеющихся.
В составе любого умозаключения выделяют:
Приведем пример умозаключения. «Все коты не умеют печь торты (1). Мурзик – кот (2). Значит, Мурзик не умеет печь торты (3)». Это умозаключение состоит из двух посылок (1) и (2) и заключения (3).
Для удобства анализа умозаключений принято отдельно записывать посылки и заключение, размещая их в столбик друг под другом. Заключение помещают под горизонтальной чертой, которая отделяет его от посылок и служит обозначением логического следования. Как правила, слова «следовательно» («значит», «поэтому» и т.д.) не пишут. Оформленный по этим правилам пример примет вид:
Все коты не умеют печь торты.
Мурзик – кот.
Мурзик не умеет печь торты.
Для умозаключения критично, чтобы посылки были связаны между собой и были истинными суждениями. Если хотя бы одна из посылок ложна, может быть получен ложный вывод (хотя из ложной посылки может быть получен и истинный вывод).
Рассмотрим пример получения вывода из ложных посылок.
Все родственники любят друг друга.
Лена и Катя родственники.
Лена и Катя любят друг друга.
В этом случае посылка о том, что все родственники любят друг друга, является ложной. При этом вывод об отношениях между конкретными родственницами Леной и Катей может быть как истинным, так и ложным.
Если между суждениями отсутствует смысловая связь, из них невозможно сделать вывод. Например, из посылок «Все розы имеют запах» и «Алюминий – металл» нельзя получить заключение, потому что у них нет общего содержания (они логически не связаны между собой).
Если между посылками есть содержательная связь, для получения нового истинного знания в процессе рассуждения требуется выполнение двух условий:
Между формами мышления есть связь: умозаключения складываются из суждений, а в суждения входят понятия.
Все умозаключения делятся на два типа:
Пример опосредованного умозаключения:
Все деревья – это растения.
Все березы – это деревья.
Все березы – это растения.
Существуют и другие подходы к классификации умозаключений.
В зависимости от строгости используемых правил вывода различаются:
В зависимости от направленности логического следования, связывающего знание разной степени общности в посылках и заключении, различаются:
Таким образом, дедуктивный вывод имеет неоспоримое достоинство, заключающееся в достоверности получаемых выводов. Индуктивный вывод и аналогия гарантировать достоверность не могут, их выводы носят вероятностный характер. Однако именно индукция и аналогия позволяют расширять знание, в то время как дедукция сужает его, по сути, представляя собой разбор уже известных сведений.