Меньший термин – S

Средний термин –M

Больший термин – P

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

От лат. deductio – выведение

Среди дедуктивных умозаключений различают:

а) непосредственные

б) опосредованные

Непосредственные – в которых заключение выводится из одной посылки.

Опосредованные – когда посылок 2 и более

Непосредственные умозаключения представляют собой преобразование суждения на основе какой-либо логической операции.

Обращение.

Правило обращения: термин, не распределенный в посылке, не может быть распределен в заключении.

Схемы умозаключений:

А → I	Все S есть Р
Некоторые Р есть S
Е → Е	Ни один S не есть Р
Ни один Р не есть S
I → I	Некоторые S есть Р
Некоторые Р есть S

Если термин Р распределен, тогда умозаключение проводится по схеме:

для суждений А

А → А	Все S, и только S есть Р
Все Р есть S

для суждений I

I → А	Некоторые S, и только S есть Р
Все Р есть S

! Частноотрицательное суждение (О) – не обращается!

Превращение.

Превращение опирается на правило:

“двойное отрицание равносильно утверждению”

Схемы умозаключений:

А → Е	Все S есть Р	Все сотрудники нашего коллектива – квалифицированные специалисты. Следовательно, ни один сотрудник нашего коллектива не является неквалифицированным.
Ни один S не есть не-Р
Е → А	Ни один S не есть Р	Ни одно религиозное учение не является научным. Следовательно, всякое религиозное учение является ненаучным.
Все S есть не-Р
I → О	Некоторые S есть Р	Некоторые государства являются федеративными. Следовательно, некоторые государства не являются нефедеративными.
Некоторые S есть не-Р
О → I	Некоторые S не есть Р	Некоторые преступления не являются умышленными. Следовательно, некоторые преступления являются неумышленными.
Некоторые S не есть не-Р

Заключения, полученные посредством превращения, уточняют наши знания. Устанавливая отношения между S и понятием, противоречащим Р исходного суждения, мы тем рассматриваем предмет суждения с новой стороны, фиксируя внимание на свойстве, не совместимом со свойством, выраженном в предикате.

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

Преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом – субъект исходного суждения.

Схемы умозаключений:

А → Е	Все S есть Р
Ни один не-Р не есть S
Е → I	Ни один S не есть Р
Некоторые не-Р есть S
О → I	Некоторые S не есть Р
Некоторые не-Р есть S

Умозаключения

по логическому квадрату.

Вспомним:

А Е

I О

В логическом квадрате существуют отношения:

— противоречия (контрадикторности)

— противоположности (контрарности)

— частичной совместимости (субконтрарности)

— подчинения

Противоречие:

Из истинности одного суждения следует ложность другого и наоборот.

Выводы строятся по схемам:

А → не- О; не- А → О; Е → не- I; не- Е → I

Дата добавления: 2014-01-05