Умозаключение — одна из форм мышления, с помощью которого из одного или нескольких суждений строится новое суждение.
С точки зрения логики высказываний, умозаключение — это шаг логического вывода, непосредственное выведение высказывания-заключения из одного или более высказываний («посылок»), простейшее рассуждение.
В логике умозаключение записывается в виде горизонтальной черты, над которой стоят посылки, а под чертой записывается заключение. Например,
Умозаключения (отдельные шаги вывода) разделяют: По числу посылок: непосредственные; опосредованные. Опосредованные в свою очередь делятся по признаку направления логического следования: дедуктивные (от общего к частному); индуктивные (от частного к общему); трансдуктивные (от одной степени общности к такой же степени общности). По достоверности вывода: демонстративные (достоверные), где истинность посылок напрямую связана с истинностью заключения (информация в заключении является частью информации в посылках). Такие умозаключения обычно встречаются в точных науках, особенно в математике, чаще в форме дедуктивных умозаключений (где правильность гарантируется самой формой логического следования), но также и в виде математической индукции, полной индукции, строгой аналогии, где на истинность влияют, кроме формы, и значения входящих в рассуждение терминов; недемонстративные, где в процессе рассуждения добавляется информация, и потому истинность вывода не гарантирована даже в случае истинности посылок. К числу таких правдоподобных рассуждений относятся обратная дедукция, неполная индукция, нестрогая аналогия, выводы статистики. Правдоподобные умозаключения используются при выдвижении гипотез и постулировании законоподобных утверждений в эмпирических науках.
См. также Категорический силлогизм
Примечания
Литература
Категория:Логика Категория:Логическое следствие