Умозаключение
Перейти к навигации
Перейти к поиску
Умозаключение — шаг логического вывода, непосредственное выведение высказывания-заключения из одного или более высказываний («посылок»), простейшее рассуждение.
В логике умозаключение записывается в виде горизонтальной черты, над которой стоят посылки, а под чертой записывается заключение. Например,
Все люди смертны. | |
Все греки — люди. | |
Все греки смертны. |
Умозаключения (отдельные шаги вывода) разделяют:[источник не указан 267 дней]
- По направлению логического следования.
- Дедуктивные (от общего к частному).
- Индуктивные (от частного к общему).
- Трансдуктивные (от одной степени общности к такой же степени общности).
- По достоверности вывода.
- демонстративные (достоверные), где истинность посылок напрямую связана с истинностью заключения (информация в заключении является частью информации в посылках). Такие умозаключения обычно встречаются в точных науках, особенно в математике, чаще в форме дедуктивных умозаключений (где правильность гарантируется самой формой логического следования), но также и в виде математической индукции, полной индукции, строгой аналогии, где на истинность влияют, кроме формы, и значения входящих в рассуждение терминов.
- недемонстративные, где в процессе рассуждения добавляется информация, и потому истинность вывода не гарантирована даже в случае истинности посылок. К числу таких правдоподобных рассуждений относятся обратная дедукция, неполная индукция, нестрогая аналогия, выводы статистики. Правдоподобные умозаключения используются при выдвижении гипотез и постулировании законоподобных утверждений в эмпирических науках.
- По числу посылок.
- Непосредственные.
- Опосредственные.
См. также[править | править код]
Литература[править | править код]
- Умозаключение / Маркин В. И. // Уланд — Хватцев. — М. : Большая российская энциклопедия, 2017. — С. 33—34. — (Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов ; 2004—2017, т. 33). — ISBN 978-5-85270-370-5.
Это заготовка статьи по логике. Вы можете помочь проекту, дополнив её. |
В другом языковом разделе есть более полная статья Logical consequence (англ.). |