Interested Article - Дедуктивное умозаключение

Классическое представление связей теории , эмпиризма , индукции и дедукции

Деду́кция ( лат. «выведение» , также дедукти́вное умозаключе́ние , силлоги́зм ) — вывод по правилам логики ; цепь умозаключений ( рассуждение ), звенья которой ( высказывания ) связаны отношением логического следования . В дедукции вывод строится от общих положений к частным случаям. Началом ( посылками ) дедукции являются аксиомы , постулаты или просто гипотезы , имеющие характер общих утверждений ( общее ), а концом — следствия из посылок, теоремы ( частное ). Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство доказательства .

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

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

Пример простейшего дедуктивного умозаключения:

Все люди смертны.
Сократ — человек.
дедукция Сократ смертен.

Условно-категорические умозаключения

Умозаключения, в которых одна предпосылка является условным суждением , а вторая предпосылка совпадает с основанием или следствием условного суждения или же с результатом отрицания основания или следствия условного суждения .

Истинность основы влечёт истинность следствия, а отрицание следствия влечёт отрицание основы.

Формы правильных модусов (видов) условно-категорических заключений:

Разделительно-категорические умозаключения

Умозаключения, в которых одна из предпосылок является разделительным суждением , а вторая совпадает с одним из членов дизъюнктивного суждения (1) или отрицает все, кроме одного (2). В заключении, соответственно, отрицаются все члены, кроме указанного во второй предпосылке (1), или утверждается пропущенный член (2).

Формы правильных модусов разделительно-категорических заключений

  1. Утверждающе-отрицающий модус ( лат. modus ponendo-tollens ): (здесь требуется строго разделительное суждение). То есть: первая посылка: либо A, либо B, либо C …, вторая посылка: B; заключение (вывод): следовательно, не A, не C … .
  2. Отрицающе-утверждающий модус ( лат. modus tollendo-ponens ): . То есть: первая посылка: A или B или C …, вторая посылка: не A, не C …; заключение (вывод): следовательно, B.

Условные умозаключения

Умозаключения, посылки и заключения которых — условные суждения .

  • Контрапозиция: . То есть: посылка: если A, то B; заключение: следовательно, если не B, то не A. Например, если животное млекопитающее, то оно является позвоночным. Следовательно, если какое-либо животное не является позвоночным, то оно не является млекопитающим.
  • Сложная контрапозиция: . То есть: посылка: если A и B, то C; заключение: следовательно, если A и не C, то не B.
  • Транзитивность: . То есть: первая посылка: если A, то B; вторая посылка: если B, то C; заключение: следовательно, если A, то C.

Дилеммы

Особый вид умозаключений из двух условных суждений и одного разделительного .

Виды правильных дилемм:

  • конструктивные:

(то есть: первая посылка: если A, то C; вторая посылка: если B, то C; третья посылка: A или B; заключение: следовательно, C);

(сложная)

(то есть: первая посылка: если A, то B; вторая посылка: если C, то D; третья посылка: A или C; заключение: следовательно, B или D);

  • деструктивные:

(то есть: первая посылка: если A, то B; вторая посылка: если A, то C; третья посылка: не B или не C; заключение: следовательно, не A);

(сложная)

(то есть: первая посылка: если A, то B; вторая посылка: если C, то D; третья посылка: не B или не D; заключение: следовательно, не A или не C).

Интересные факты

«Дедуктивный» метод Шерлока Холмса основан на типичных абдуктивных умозаключениях .

См. также

Примечания

  1. // A Dictionary of Greek and Roman Antiquities (1890). (англ.)
  2. / В. И. Маркин // Сен-Жерменский мир 1679 — Социальное обеспечение. — М. : Большая российская энциклопедия, 2015. — С. 171. — ( Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов ; 2004—2017, т. 30). — ISBN 978-5-85270-367-5 .
  3. Советский энциклопедический словарь, Москва, издательство «Советская энциклопедия», 1981, Э 00101-012/007(01)-81. 1600 с. с илл. Научно-редакционный совет: А.М. Прохоров (председатель), М.С. Гиляров, Е.М. Жуков, Н.Н. Иноземцев, И.Л. Кнунянц, П.Н. Федосеев, М.Б. Храпченко. Сдано в набор 12.11.76. Подписано в печать 15.5.78. Тираж 1 200 000 экз. Цена 1 экз. 20 руб. 80 коп.
  4. Ионин Л. Г. «Шерлок Холмс и (псевдо) дедуктивный метод» / Социология культуры.

Литература

Ссылки

Источник —

Same as Дедуктивное умозаключение