Дедуктивное умозаключение
Материал из Википедии — свободной энциклопедии
Дедуктивное умозаключение, Деду́кция (от лат. deductio — выведение) — умозаключение, в котором вывод про отдельный предметный класс делается на основе (абстрактного) класса в целом, то есть от общего к частному.
Дедуктивное умозаключение может быть непосредственным (когда знания получаются непосредственным восприятием предмета или явления) и посредственным (когда используются имеющиеся знания, выводы). В непосредственном умозаключении вывод делается на основе не более чем одной предпосылки, оно представляет собой некоторе действие над суждением и не всегда может быть сведено к простому изменению его формы. Основные способы построения непосредственных умозаключений:
- Превращение структуры: «Все S есть P» => «Ни один S не есть P», «Некоторые S есть P» => «Некоторые S не есть P»
- Обращение — обмен местами субъекта и предиката. При этом распределение не изменяется только если объёмы субъекта и предиката равны, в остальный случаях: «Все S есть P» => «Некоторые P есть S»
- Противопоставление является последователным применением двух предыдущих
Примеры:
- Человек смертен.
- Сократ — человек.
- Сократ смертен.
- Рисунок написан на холсте.
- Холст на стене, над полом.
- Рисунок над полом.
Дедукция — основной метод доказательства в математике, также раскрытия преступлений Шерлоком Холмсом.
Содержание |
[править] Условно-категорические умозаключения
Умозаключения, в которых одна предпосылка является условным суждением, а вторая предпосылка совпадает с основанием или следствием условного суждения или же с результатом отрицания основания или следствия условного суждения.
Истинность основы влечёт истинность следствия, а отрицание следствия влечёт отрицание основы.
Формы правильных модусов (видов) условно-категорических заключений:
[править] Разделительно-категорические умозаключения
Умозаключения, в которых одна из предпосылок является разделительным суждением, а вторая совпадает с одним из членов дизъюнктивного суждения (1) или отрицает все кроме одного (2). В заключении, соответственно, отрицаются все члены кроме указанного во второй предпосылке (1) или утверждается пропущенный член (2).
Формы правильных модусов разделительно-категорических заключений
- утверждающе-отрицающий модус (лат. modus ponendo-tollens):
- отрицающе-утверждающий модус (лат. modus tollendo-ponens):
[править] Условные умозаключения
Умозаключения, посылки и заключения которых — условные суждения.
- контрапозиция:
- сложная контрапозция:
- транзитивность:
[править] Дилеммы
Особый вид умозаключений из двух условных суждений и одного разделительного.
Виды правильных дилемм
- конструктивные:
- (сложная)
- деструктивные:
- (сложная)
В этой статье или секции нет ссылок на источники информации. Вы можете помочь проекту, добавив список литературы или внешние ссылки. |