Дедуктивные умозаключения.

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

Формулировка вывода осуществляется путём использования одного из четырёх видов преобразований исходной посылки:

· превращение

· обращение

· противопоставление предикату

· преобразование по логическому квадрату

Превращение – это такая разновидность непосредственного дедуктивного умозаключения, при котором изменяется качество посылки без изменения её количества

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х следствий(сложная).

Разделительная посылка ограничивает выбор только этим условием

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

-деструктивная – структура устанавливает, что из двух условий вытекает два следствия

В разделительной посылке отрицается одно из возможных следствий

Заключение отрицает одно из возможных оснований.