Простой категорический силлогизм. Непосредственные дедуктивные выводы

Непосредственные дедуктивные выводы

Структура и виды выводов

ВЫВОД

Вывод –форма мышления, посредством которой осуществляется переход от одного или нескольких известных высказываний к новому высказыванию.

Исходные высказывания называются посылками вывода, а новое высказывание, вытекающее из сопоставления посылок, – заключением.

По количеству посылок выводы делятся на непосредственные (одна посылка) и опосредованные (более одной посылки), а также на дедуктивные и недедуктивные (вероятностные).

Вывод называется дедуктивным, если из истинных посылок следует истинное заключение. Знание, полученное с помощью дедуктивного вывода, не может быть более общим, чем то, которое заложено в исходных посылках. Например: «Все металлы – химические элементы, олово – металл; следовательно, олово – химический элемент».

В недедуктивном выводе заключение имеет вероятностный характер. Например: «Железо – твердое тело, медь – твердое тело, золото – твердое тело, платина – твердое тело; вероятно, все металлы – твердые тела».

Если посылка – высказывание вида А, Е, J, О, то непосредственный вывод принимает одну из следующих форм: вывод по логическому квадрату (см. рис. 20), обверсия, конверсия, контрапозиция.

Обверсия (превращение) – это непосредственный вывод, в заключении которого предикат посылки заменяется на противоречащее ему имя, при этом изменяется ее качество. Правила обверсии:

А (Все S есть Р).Е (Ни одно S не есть Р).

Е (Ни одно S не есть не-Р). А (Все S есть не-Р).

J (Некоторые S есть Р).О (Некоторые S не есть Р).

О (Некоторые S не есть не-Р). J (Некоторые S есть не-Р).

Конверсия (обращение) – непосредственный вывод, в заключении которого субъектом является предикат, а предикатом – субъект посылки.

Правила конверсии:

А (Все S есть Р).Е (Ни одно S не есть Р).

J (Некоторые Р есть S). Е (Ни одно Р не есть S).

J (Некоторые S есть Р).

J (Некоторые Р есть S).

К частноотрицательным высказываниям конверсия не применяется.

Контрапозиция (противопоставление предикату) – непосредственный вывод, в заключении которого субъект выражается именем, противоречащим предикату посылки, а на место предиката становится ее субъект, при этом посылка изменяет свое качество.

Правила контрапозиции:

А (Все S есть Р).Е (Ни одно S не есть Р).

Е (Все не-Р не есть S). J (Некоторые не-Р есть S).

О (Некоторые S не есть Р).

J (Некоторые не-Р есть S).

К частноутвердительным высказываниям контрапозиция не применяется.

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

Важнейшей формой опосредованного вывода является простой категорический силлогизм –дедуктивный вывод, в котором две посылки – категорические высказывания, связанные общим термином. Например:

Всякая наука имеет свой предмет исследования.

Логика – наука.

Логика имеет свой предмет исследования.

В структуре простого категорического силлогизма – три термина: меньший, средний и больший. Субъект заключения называют меньшим термином (в нашем примере – «логика»), предикат заключения – большим термином («свой предмет исследования»). Меньший и больший термины называются крайними терминами и обозначаются соответственно буквами S и Р.

Посылка, в которую входит меньший термин, называется меньшей посылкой («Логика – наука»); посылка, в которую входит больший термин, – большей посылкой («Всякая наука имеет свой предмет исследования»).

Термин, входящий в обе посылки, но отсутствующий в заключении, называется средним термином («наука»); его принято обозначать буквой М.

Средний термин выполняет роль связующего звена между крайними терминами. В заключении устанавливается определенное отношение между крайними терминами на том основании, что они известным образом связаны в посылках с одним и тем же средним термином. Если средний термин в посылках отсутствует, вывод становится невозможным.

Отношение между терминами S, Р, М силлогизма принято изображать при помощи кругов Эйлера, позволяющих выразить отношение между объемами имен, входящих в высказывания. Так, отношения между терминами простого категорического силлогизма в нашем примере можно представить следующим образом (рис. 30).

Рис. 30

Обязательным условием истинного заключения в простом кате­горическом силлогизме является соблюдение общих правил. Их семь: три – для терминов, четыре – для посылок.

Дата добавления: 2014-11-20