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

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