Дедукция

Русская Википедия - свободная энциклопедияСкачать словарь
Дедуктивное умозаключение
Дедуктивное умозаключение, Деду́кция (от — выведение) — умозаключение, в котором вывод про отдельный предметный класс делается на основе (абстрактного) класса в целом, то есть от общего к частному.

Дедуктивное умозаключение может быть непосредственным (когда знания получаются непосредственным восприятием предмета или явления) и посредственным (когда используются имеющиеся знания, выводы). В непосредственном умозаключении вывод делается на основе не более чем одной предпосылки, оно представляет собой некоторoе действие над суждением и не всегда может быть сведено к простому изменению его формы. Основные способы построения непосредственных умозаключений:

  • Превращение структуры: «Все P есть S» => «Ни один НЕ S не есть P», «Некоторые S есть P» => «Некоторые S не есть P»
  • Обращение — обмен местами субъекта и предиката. При этом распределение не изменяется только если объёмы субъекта и предиката равны, в остальный случаях: «Все S есть P» => «Некоторые P есть S»
  • Противопоставление является последовательным применением двух предыдущих

Продолжение на Wikipedia.οrg...


© Текстовое содержимое использует материал из Википедии® и доступно в соответствии с лицензией свободной документации GNU