Дедуктивное умозаключение – те умозаключения, у которых между посылками и заключениями имеется отношения логического следования.
Формулировка вывода осуществляется путём использования одного из четырёх видов преобразований исходной посылки:
· превращение
· обращение
· противопоставление предикату
· преобразование по логическому квадрату
Превращение – это такая разновидность непосредственного дедуктивного умозаключения, при котором изменяется качество посылки без изменения её количества
2 способа осуществления:
· способ двойного отрицания – отрицание ставится перед связкой и перед предикатом
S не есть не Р
справедливое следствие:
двойное отрицание = утверждение
· перевод отрицания из предиката в субъект
S есть не Р – S не есть Р
Превращению поддаются все 4 вида суждений при этом А превращается в Е, Е в А, I в о, О в I.
Полученное заключение уточняет знание, устанавливает отношения между субъектом и предикатом.
Обращение – такая разновидность непосредственного дедуктивного умозаключения, в котором происходит перемена мест субъекта и предиката при сохранении качества связки.
Обращение подчиняется правилу распределенности:
· субъект распределен в общих и нераспределен в частных суждениях
· предикат распределен в отрицательных и нераспределен в утвердительных суждениях.
все S есть Р – некоторые Р есть S
ни одно S не есть Р – ни одно Р не есть S
некоторые S есть Р – некоторые Р есть S
Обращению не подлежат частноотрицательные суждения.
Противопоставление предикату – такая форма непосредственного дедуктивного умозаключения, в которой предполагается получение знаний или заключения, где субъект является понятием, противоречащим предикату исходного суждения, а предикат становится субъектом исходного суждения.
Заключение зависит от количества и качества исходного суждения
Противопоставление предикату осуществляется следующим образом:
-Все S есть Р – ни одно не Р не есть S
-ни одно S не есть Р – некоторые не Р есть S
Частноутвердительные суждения путём противопоставления предикату не преобразуются
некоторые S не есть Р – некоторые не Р есть S
Преобразование по логическому квадрату – такая форма непосредственного дедуктивного умозаключения, которая позволяет получать выводы, учитывающие правила соотношения истинности и ложности между категорическими суждениями типа А, Е, I, О.
-опосредованные - такие умозаключения, в которых вывод осуществляется из 2-х и более суждений логически взаимосвязанных между собой
3 вида:
· категорический силлогизм
· условное умозаключение
· разделительное умозаключение
38. Разделительно-категорические и условно-разделительные умозаключения.
1. Разделительно-категорическое умозаключение – умозаключение, в котором одна из посылок – разделительное, а другая посылка и заключение – категорические суждения.
Отрицая один из членов, мы утверждаем другой (союз – ИЛИ).
2 модуса:
утвердительно-отрицательный – меньшая посылка категорическое суждение утверждает один из членов дизъюнкции, а заключение отрицает другой
Вывод: утвердительно-отрицательный модус всегда будет истинным в том случае, если соблюдено – большая посылка должна быть суждением со строгой дизъюнкцией.
-отрицательно-утвердительный модус – меньшая посылка отрицает один дизъюнкт, а заключение утверждает второй дизъюнкт.
Заключение будет достоверным, если большая посылка должна быть полным дизъюнктивным суждением, то есть строгой дизъюнкцией.
2. Условно-разделительное умозаключение - умозаключения, в которых одна посылка – 2 или более условных суждения, вторая – разделительное суждение.
В зависимости от того, какое количество следствий:
дилеммы – с двумя альтернативами
трилемы
полилемы
Дилемма:
-конструктивная – в условной посылке устанавливается возможность 2-х условий и вытекающих из них одного следствия(простая) или 2х следствий(сложная).
Разделительная посылка ограничивает выбор только этим условием
В заключительном утверждении возможность одного из следствий.
-деструктивная – структура устанавливает, что из двух условий вытекает два следствия
В разделительной посылке отрицается одно из возможных следствий
Заключение отрицает одно из возможных оснований.
