Умозаключение как форма мышления¶

Умозаключение — это форма мышления, в которой из одного или нескольких суждений выводится новое суждение. Умозаключение является одним из трёх базических видов мышления наряду с понятием и суждением и служит основным инструментом логического вывода: из уже известных истинных суждений (посылок) получается новое суждение (заключение), знание о котором приобретается в результате рассуждения, а не непосредственного наблюдения.

¶Структура умозаключения

Любое умозаключение состоит из трёх элементов:

• Посылки — исходные суждения, принимаемые за истинные (или условно принимаемые);
• Заключение — новое суждение, выводимое из посылок;
• Правило вывода — логическое правило, по которому из посылок получается заключение.

Простейший пример: «Все люди смертны. Сократ — человек. Значит, Сократ смертен». Здесь первые два суждения являются посылками, последнее — заключением, а связь между ними обеспечивается правилом логики.

¶Виды умозаключений

¶По степени определённости вывода

• Дедукция — движение мысли от общего к частному. Заключение в дедукции достоверно, если посылки истинны и форма вывода правильна. Пример: «Все металлы проводят ток. Медь — металл. Значит, медь проводит ток».
• Индукция — движение мысли от частного к общему. В полной индукции заключение о всём классе объектов выводится из рассмотрения всех его элементов; в неполной индукции — из некоторой выборки, поэтому заключение вероятностно, а не достоверно. Пример: «Медь проводит ток, железо проводит ток, золото проводит ток; значит, все металлы проводят ток».
• Аналогия — вывод о сходстве одного объекта с другим на основании совпадения признаков. Пример: «Земля обладает атмосферой, магнитным полем и вращается вокруг Солнца; Марс также обладает атмосферой, магнитным полем и вращается вокруг Солнца; вероятно, на Марсе есть условия, близкие к земным».

¶По типу логической формы

• Категорические силлогизмы — построены на суждениях с категорическими связками («все», «ни один», «некоторые»). Классическая схема: «Все М суть Р. Все S суть М. Значит, все S суть Р».
• Условные (гипотетические) умозаключения — основаны на условном суждении «если А, то Б». Различают модусы: modus ponens («если А, то Б; А истинно; значит, Б истинно») и modus tollens («если А, то Б; Б ложно; значит, А ложно»).
• Условно-категорические умозаключения — посылки включают условное суждение и утверждение или отрицание одного из его членов.
• Разделительные умозаключения — посылки содержат разделительное суждение «либо А, либо Б».

¶Умозаключение и умственная деятельность

В психологии умозаключение рассматривается как высшая форма мыслительной деятельности, тесно связанная с речью и языком. По Л. С. Выготскому, развитие умозаключений у ребёнка проходит путь от внешних, материальных операций к внутренним, умственным. Исследования показывают, что способность к логическому выводу формируется постепенно: у детей младшего возраста преобладают умозаключения по аналогии и неполной индукции, а дедуктивные рассуждения становятся доступны позже, в ходе обучения.

¶Ошибки в умозаключениях

Неправильные умозаключения, в которых из истинных посылок получается ложное заключение, называются паралогизмами. Наиболее известные формальные ошибки:

• Недостаточная индукция — поспешное обобщение по малому числу примеров;
• Поспешное обобщение — вывод о всём классе без достаточных оснований;
• От частного к частному — вывод, основанный на случайном совпадении;
• Апелляция к большинству — признание истинности суждения лишь потому, что многие в него верят;
• Круг в доказательстве — использование заключения в качестве посылки.

¶Роль в познании и аргументации

Умозаключение лежит в основе доказательства, опровержения, рассуждения и аргументации. В научном познании оно позволяет получать новые знания, не обращаясь к непосредственному опыту: математические теоремы выводятся из аксиом, физические следствия — из законов. В повседневной речи люди постоянно используют умозаключения, часто не осознавая их логической формы. Способность к правильному умозаключению является одним из критериев критического мышления и компетентности в любой профессиональной области.

Исторически теория умозаключений восходит к «Органону» Аристотеля, где были описаны силлогизмы и правила дедуктивного вывода. В XIX—XX веках логика получила развитие в работах Дж. С. Милля (индуктивные методы), Г. Фреге и Б. Рассела (математическая логика), а также в рамках теории доказательств и вычислимости.

Источники:

• Аристотель. Органон
• Логучев М. К. Логика. Учебник
• Выготский Л. С. Мышление и речь
• Карпов А. В. Логика. Учебник для вузов
• Милль Дж. С. Система логики