- Дедуктивное умозаключение
-
Дедукция (лат. deductio — выведение) — метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением логического следования.
Началом (посылками) дедукции являются аксиомы или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и ее следствия. Дедукция — основное средство доказательства. Противоположно индукции.
Пример дедуктивного умозаключения:
- Все люди смертны.
- Сократ — человек.
- Следовательно, Сократ смертен.
Содержание
Разделительно-категорические умозаключения
Умозаключения, в которых одна из предпосылок является разделительным суждением, а вторая совпадает с одним из членов дизъюнктивного суждения (1) или отрицает все кроме одного (2). В заключении, соответственно, отрицаются все члены, кроме указанного во второй предпосылке (1), или утверждается пропущенный член (2).
Формы правильных модусов разделительно-категорических заключений
- Утверждающе-отрицающий модус (лат. modus ponendo-tollens): (здесь требуется строго разделительное суждение). То есть: первая посылка: либо A, либо B, либо C ..., вторая посылка: B; заключение (вывод): следовательно, не A, не C ... .
- Отрицающе-утверждающий модус (лат. 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]
См. также
Примечания
- ↑ Шерлок Холмс и (псевдо) дедуктивный метод/ Ионин Л. Г. Социология культуры.
Литература
- Дедукция // Энциклопедический словарь Брокгауза и Ефрона: В 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
Для улучшения этой статьи по логике желательно?: - Проставив сноски, внести более точные указания на источники.
Категория:- Логика
Wikimedia Foundation. 2010.