Силлогистическийвывод. Непосредственныеумозаключения, их

Виды

Силлогистика (греч. σιλλογισtικόσ — выводящий умозаключение) — теория логического вывода, исследующая умозаключения, состоящие из т. н. категорических высказываний (суждений):

• общеутвердительных («всякое S есть Р»);
• общеотрицательных («ни одно S не есть Р»);
• частноутвердительных («некоторое S есть Р»);
• частноотрицательных («некоторое S не есть Р»).

В Силлогистике рассматриваются, например, выводы заключения из одной посылки. Однако основное внимание Силлогистика уделяет теории категорического силлогизма, имеющего ровно две посылки и одно заключение указанного вида.

Непосредственныеумозаключения

Умозаключения, построенные посредством преобразования суждений, называются непосредственными.Книмотносятся:1) превращение, 2) обращение, 3)противопоставление предикату,

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

Преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения, называется превращением. Превращение опирается на правило: двойное отрицание равносильно утверждению: "Т1 р= р.

Превращать можно общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные суждения.

Общеутвердительное суждение (А) превращается в общеотрицательное (Е).Например: «Все сотрудники нашего коллектива — квалифицированные специалисты. Следовательно, ни один сотрудник нашего коллектива не является неквалифицированным специалистом».

Схема превращения суждения Л:

Все S есть Р

Ни одно S не есть не-Р '

Общеотрицательное суждение (Е) превращается в общеутвердительное (А). Например: «Ни одно религиозное учение не является научным. Следовательно, всякое религиозное учение является ненаучным».

Схема превращения суждения Е:

Ни одно S не есть Р

 Все S есть не-Р

Частноутвердительное суждение (I) превращается в частноотрицательное (О). Например: «Некоторые государства являются федеративными. Следовательно, некоторые государства не являются нефедеративными».

Схема превращения суждения Г.

Некоторые S есть Р

Некоторые S не есть не-Р '

Частноотрицательное суждение (О) превращается в частноутвердительное (I). Например: «Некоторые преступления не являются умышленными. Следовательно, некоторые преступления являются неумышленными».

Схема превращения суждения О:

Некоторые S не есть Р

Некоторые S есть не-Р '

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

Обращение.

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

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

Различают простое (чистое) обращение и обращение с ограничением.

Общеутвердительное суждение (А) обращается в частноутвер-дительное (I), т.е. с ограничением. Например: «Все студенты нашей группы (S +) сдали экзамены (Р-). Следовательно, некоторые сдавшие экзамены (Р-) — студенты нашей группы (S-)». В исходном суждении предикат не распределен, поэтому он, становясь субъектом заключения, также не распределен. Его объем ограничивается («некоторые сдавшие экзамены»).

Схема обращения суждения А:

Все S есть Р

 Некоторые Ресть S '

Общеотрицательное суждение (Е) обращается в общеотрицательное (Е), т.е. без ограничения. Например: «Ни один студент нашей группы (S+) не является неуспевающим (Р+). Следовательно, ни один неуспевающий (Р+) не является студентом нашей группы (S+)». Простое обращение этого суждения возможно потому, что его предикат («неуспевающие») распределен. Схема обращения суждения Е:

Ни одно S не есть Р

Ни одно Р не есть S "

Частноутвердителъное суждение (I) обращается в частноутвердительное (I). Это простое (чистое) обращение. Предикат, не распределенный в исходном суждении, не распределен и в заключении. Количество суждения не изменяется. Например: «Некоторые студенты нашей группы (S-) — отличники (Р-). Следовательно, некоторые отличники (Р-) — студенты нашей группы (S-). Схема обращения суждения I:

Некоторые S есть Р

Некоторые Ресть S '