Дедуктивное умозаключение
Деду́кция (лат. deductio «выведение», также дедукти́вное умозаключе́ние, силлоги́зм) — вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического следования. В дедукции вывод строится от общих положений к частным случаям. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений (общее), а концом — следствия из посылок, теоремы (частное). Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство доказательства.
Аксиоматический метод — способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путём логической дедукции получать утверждения (теоремы) данной теории. См. также индукция.
Таким образом, дедукция — метод мышления, следствием которого является логический вывод, истинность которого гарантируется истинностью посылок. Также может определяться логико-методологическая процедура, посредством которой осуществляется переход от общего к частному в процессе рассуждения.
Пример простейшего дедуктивного умозаключения:
| Все люди смертны. | |
| Сократ — человек. | |
| дедукция | Сократ смертен. |
Условно-категорические умозаключения
Умозаключения, в которых одна предпосылка является условным суждением, а вторая предпосылка совпадает с основанием или следствием условного суждения или же с результатом отрицания основания или следствия условного суждения.
Истинность основы влечёт истинность следствия, а отрицание следствия влечёт отрицание основы.
Формы правильных модусов (видов) условно-категорических заключений:
Разделительно-категорические умозаключения
Умозаключения, в которых одна из предпосылок является разделительным суждением, а вторая совпадает с одним из членов дизъюнктивного суждения (1) или отрицает все, кроме одного (2). В заключении, соответственно, отрицаются все члены, кроме указанного во второй предпосылке (1), или утверждается пропущенный член (2).
Формы правильных модусов разделительно-категорических заключений
- Утверждающе-отрицающий модус (лат. modus ponendo-tollens):
![image]()
(здесь требуется строго разделительное суждение). То есть: первая посылка: либо A, либо B, либо C …, вторая посылка: B; заключение (вывод): следовательно, не A, не C … . - Отрицающе-утверждающий модус (лат. modus tollendo-ponens):
![image]()
. То есть: первая посылка: A или B или C …, вторая посылка: не A, не C …; заключение (вывод): следовательно, B.
Условные умозаключения
Умозаключения, посылки и заключения которых — условные суждения.
- Контрапозиция:
![image]()
. То есть: посылка: если A, то B; заключение: следовательно, если не B, то не A. Например, если животное млекопитающее, то оно является позвоночным. Следовательно, если какое-либо животное не является позвоночным, то оно не является млекопитающим. - Сложная контрапозиция:
![image]()
. То есть: посылка: если A и B, то C; заключение: следовательно, если A и не C, то не B. - Транзитивность:
![image]()
. То есть: первая посылка: если A, то B; вторая посылка: если B, то C; заключение: следовательно, если A, то C.
Дилеммы
Особый вид умозаключений из двух условных суждений и одного разделительного.
Виды правильных дилемм:
- конструктивные:
(то есть: первая посылка: если A, то C; вторая посылка: если B, то C; третья посылка: A или B; заключение: следовательно, C);
![image]()
(сложная)
(то есть: первая посылка: если A, то B; вторая посылка: если C, то D; третья посылка: A или C; заключение: следовательно, B или D);
- деструктивные:
(то есть: первая посылка: если A, то B; вторая посылка: если A, то C; третья посылка: не B или не C; заключение: следовательно, не A);
![image]()
(сложная)
(то есть: первая посылка: если A, то B; вторая посылка: если C, то D; третья посылка: не B или не D; заключение: следовательно, не A или не C).
В искусстве
«Дедуктивный» метод Шерлока Холмса основан на типичных абдуктивных умозаключениях.
См. также
- Индуктивное умозаключение
- Modus ponens
- Категорический силлогизм
- Дедуктивно-номологическая модель
Примечания
- Deductio // A Dictionary of Greek and Roman Antiquities (1890) (англ.). www.perseus.tufts.edu. Дата обращения: 13 мая 2024.
- Силлогизм : [арх. 17 октября 2022] / В. И. Маркин // Сен-Жерменский мир 1679 — Социальное обеспечение. — М. : Большая российская энциклопедия, 2015. — С. 171. — (Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов ; 2004—2017, т. 30). — ISBN 978-5-85270-367-5.
- Советский энциклопедический словарь, Москва, издательство «Советская энциклопедия», 1981, Э 00101-012/007(01)-81. 1600 с. с илл. Научно-редакционный совет: А. М. Прохоров (председатель), М. С. Гиляров, Е. М. Жуков, Н. Н. Иноземцев, И. Л. Кнунянц, П. Н. Федосеев, М. Б. Храпченко. Сдано в набор 12.11.76. Подписано в печать 15.5.78. Тираж 1 200 000 экз. Цена 1 экз. 20 руб. 80 коп.
- Ионин Л. Г. Шерлок Холмс и (псевдо) дедуктивный метод // Социология культуры: Учебник. — М.: ГУ ВШЭ, 2004.
Литература
- Дедукция // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб., 1890—1907.
- Большая советская энциклопедия, ред. Прохоров, А. М.; Байбаков, Н. К.; Благонравов, А. А. — М.: Советская Энциклопедия, 1969—1978.
- Кондаков Н. И. Логический словарь-справочник. — М.: Наука, 1975. — 720 с.
- Ивлев Ю. В. Учебник логики: Семестровый курс: Учебник. — М.: Дело, 2003. — 208 с. — ISBN 5-7749-0317-6.
- Бочаров В. А., Маркин В. И. Основы логики: Учебник. — М.: ИНФРА-М, 2001. — 296 с. — ISBN 5-16-000496-3.
- Ионин Л. Г. Социология культуры: Учебник. — М.: ГУ ВШЭ, 2004. — 432 стр. — ISBN 5-7598-0252-6.
Ссылки
Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, wikipedia, учить, информация, история, скачать, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры, мобильный, телефон, Android, iOS, apple, мобильный телефон, Samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Сеть, компьютер, Информация о Дедуктивное умозаключение, Что такое Дедуктивное умозаключение? Что означает Дедуктивное умозаключение?
Dedu kciya lat deductio vyvedenie takzhe dedukti vnoe umozaklyuche nie sillogi zm vyvod po pravilam logiki cep umozaklyuchenij rassuzhdenie zvenya kotoroj vyskazyvaniya svyazany otnosheniem logicheskogo sledovaniya V dedukcii vyvod stroitsya ot obshih polozhenij k chastnym sluchayam Nachalom posylkami dedukcii yavlyayutsya aksiomy postulaty ili prosto gipotezy imeyushie harakter obshih utverzhdenij obshee a koncom sledstviya iz posylok teoremy chastnoe Esli posylki dedukcii istinny to istinny i eyo sledstviya Dedukciya osnovnoe sredstvo dokazatelstva Klassicheskoe predstavlenie svyazej teorii empirizma indukcii i dedukcii Aksiomaticheskij metod sposob postroeniya nauchnoj teorii v vide sistemy aksiom postulatov i pravil vyvoda aksiomatiki pozvolyayushih putyom logicheskoj dedukcii poluchat utverzhdeniya teoremy dannoj teorii Sm takzhe indukciya Takim obrazom dedukciya metod myshleniya sledstviem kotorogo yavlyaetsya logicheskij vyvod istinnost kotorogo garantiruetsya istinnostyu posylok Takzhe mozhet opredelyatsya logiko metodologicheskaya procedura posredstvom kotoroj osushestvlyaetsya perehod ot obshego k chastnomu v processe rassuzhdeniya Primer prostejshego deduktivnogo umozaklyucheniya Vse lyudi smertny Sokrat chelovek dedukciya Sokrat smerten Uslovno kategoricheskie umozaklyucheniyaUmozaklyucheniya v kotoryh odna predposylka yavlyaetsya uslovnym suzhdeniem a vtoraya predposylka sovpadaet s osnovaniem ili sledstviem uslovnogo suzhdeniya ili zhe s rezultatom otricaniya osnovaniya ili sledstviya uslovnogo suzhdeniya Istinnost osnovy vlechyot istinnost sledstviya a otricanie sledstviya vlechyot otricanie osnovy Formy pravilnyh modusov vidov uslovno kategoricheskih zaklyuchenij utverzhdayushij modus lat modus ponens A B AB displaystyle frac A rightarrow B A B otricayushij modus lat modus tollens A B B A displaystyle frac A rightarrow B neg B neg A Razdelitelno kategoricheskie umozaklyucheniyaUmozaklyucheniya v kotoryh odna iz predposylok yavlyaetsya razdelitelnym suzhdeniem a vtoraya sovpadaet s odnim iz chlenov dizyunktivnogo suzhdeniya 1 ili otricaet vse krome odnogo 2 V zaklyuchenii sootvetstvenno otricayutsya vse chleny krome ukazannogo vo vtoroj predposylke 1 ili utverzhdaetsya propushennyj chlen 2 Formy pravilnyh modusov razdelitelno kategoricheskih zaklyuchenij Utverzhdayushe otricayushij modus lat modus ponendo tollens A B C B A C displaystyle frac A dot lor B dot lor C B neg A neg C zdes trebuetsya strogo razdelitelnoe suzhdenie To est pervaya posylka libo A libo B libo C vtoraya posylka B zaklyuchenie vyvod sledovatelno ne A ne C Otricayushe utverzhdayushij modus lat modus tollendo ponens A B C A C B displaystyle frac A lor B lor C neg A neg C B To est pervaya posylka A ili B ili C vtoraya posylka ne A ne C zaklyuchenie vyvod sledovatelno B Uslovnye umozaklyucheniyaUmozaklyucheniya posylki i zaklyucheniya kotoryh uslovnye suzhdeniya Kontrapoziciya A B B A displaystyle frac A supset B neg B supset neg A To est posylka esli A to B zaklyuchenie sledovatelno esli ne B to ne A Naprimer esli zhivotnoe mlekopitayushee to ono yavlyaetsya pozvonochnym Sledovatelno esli kakoe libo zhivotnoe ne yavlyaetsya pozvonochnym to ono ne yavlyaetsya mlekopitayushim Slozhnaya kontrapoziciya A B C A C B displaystyle frac A land B supset C A land neg C supset neg B To est posylka esli A i B to C zaklyuchenie sledovatelno esli A i ne C to ne B Tranzitivnost A B B CA C displaystyle frac A supset B B supset C A supset C To est pervaya posylka esli A to B vtoraya posylka esli B to C zaklyuchenie sledovatelno esli A to C DilemmyOsnovnaya statya Dilemma Osobyj vid umozaklyuchenij iz dvuh uslovnyh suzhdenij i odnogo razdelitelnogo Vidy pravilnyh dilemm konstruktivnye A C B C A BC displaystyle frac A supset C B supset C A lor B C to est pervaya posylka esli A to C vtoraya posylka esli B to C tretya posylka A ili B zaklyuchenie sledovatelno C A B C D A CB D displaystyle frac A supset B C supset D A lor C B lor D slozhnaya to est pervaya posylka esli A to B vtoraya posylka esli C to D tretya posylka A ili C zaklyuchenie sledovatelno B ili D destruktivnye A B A C B C A displaystyle frac A supset B A supset C neg B lor neg C neg A to est pervaya posylka esli A to B vtoraya posylka esli A to C tretya posylka ne B ili ne C zaklyuchenie sledovatelno ne A A B C D B D A C displaystyle frac A supset B C supset D neg B lor neg D neg A lor neg C slozhnaya to est pervaya posylka esli A to B vtoraya posylka esli C to D tretya posylka ne B ili ne D zaklyuchenie sledovatelno ne A ili ne C V iskusstve Deduktivnyj metod Sherloka Holmsa osnovan na tipichnyh abduktivnyh umozaklyucheniyah Sm takzheInduktivnoe umozaklyuchenie Modus ponens Kategoricheskij sillogizm Deduktivno nomologicheskaya modelPrimechaniyaDeductio A Dictionary of Greek and Roman Antiquities 1890 angl www perseus tufts edu Data obrasheniya 13 maya 2024 Sillogizm arh 17 oktyabrya 2022 V I Markin Sen Zhermenskij mir 1679 Socialnoe obespechenie M Bolshaya rossijskaya enciklopediya 2015 S 171 Bolshaya rossijskaya enciklopediya v 35 t gl red Yu S Osipov 2004 2017 t 30 ISBN 978 5 85270 367 5 Sovetskij enciklopedicheskij slovar Moskva izdatelstvo Sovetskaya enciklopediya 1981 E 00101 012 007 01 81 1600 s s ill Nauchno redakcionnyj sovet A M Prohorov predsedatel M S Gilyarov E M Zhukov N N Inozemcev I L Knunyanc P N Fedoseev M B Hrapchenko Sdano v nabor 12 11 76 Podpisano v pechat 15 5 78 Tirazh 1 200 000 ekz Cena 1 ekz 20 rub 80 kop Ionin L G Sherlok Holms i psevdo deduktivnyj metod Sociologiya kultury Uchebnik M GU VShE 2004 LiteraturaDedukciya Enciklopedicheskij slovar Brokgauza i Efrona v 86 t 82 t i 4 dop SPb 1890 1907 Bolshaya sovetskaya enciklopediya red Prohorov A M Bajbakov N K Blagonravov A A M Sovetskaya Enciklopediya 1969 1978 Kondakov N I Logicheskij slovar spravochnik M Nauka 1975 720 s Ivlev Yu V Uchebnik logiki Semestrovyj kurs Uchebnik M Delo 2003 208 s ISBN 5 7749 0317 6 Bocharov V A Markin V I Osnovy logiki Uchebnik M INFRA M 2001 296 s ISBN 5 16 000496 3 Ionin L G Sociologiya kultury Uchebnik M GU VShE 2004 432 str ISBN 5 7598 0252 6 Ssylki
