Тема 3. Непосредственные умозаключения Базовые понятия темы: «непосредственные умозаключения»

• Умозаключение — это форма мышления, состоящая в переходе от имеющегося знания к новому знанию. Умозаключение состоит из посылок — суждений, содержащих имеющиеся знания; заключения — суждения, содержащего новое знание; вывода — логического перехода (выполнение определенных правил) от посылок к заключению.

Основная логическая характеристика умозаключения - правильностъ. Умозаключение называется правильным, если оно производится в соответствии с законами мышления.

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

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

• Непосредственное умозаключение — это вид демонстративного умозаключения из одной посылки, представляющей собой категорическое суждение. В зависимости от процедуры получения новой информации из посылки различают следующие вида непосредственных умозаключений: превращение, обращение, противопоставление субъекту или предикату, умозаключение по логическому квадрату.

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

Схема превращения: S — Р

_____

S - не- Р

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

1. Количество суждения в посылке не изменяется в заключении;

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

• Обращение - вид непосредственного умозаключения, заключение в котором получается посредством перестановки местами субъекта и предиката посылки.

Схема обращения:

S — Р

_____

Р - S

Правила обращения:

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

2. Качество суждения в посылке не изменяется в заключении.

Различают два вида обращения: простое обращение и обращение с ограничением. Простым называют обращение без изменения количества суждения. Путем простого обращения преобразуются суждения, в которых оба термина имеют одинаковые знаки распределенности: общеутвердительное выделяющее суждение (А), частноутвердительное суждение (I), общеотрицательное суждение (Е). Обращением с ограничением называют обращение с изменением количества суждения. Путем обращения с ограничением преобразуются суждения, в которых термины имеют различные знаки распределенности: общеутвердительное суждение (А), частно-утвердительное выделяющее суждение (I). Частноотрицательное суждение (О) в качестве посылки для обращения не используется.

• Противопоставление предикату - вид непосредственного умозаключения, заключение в котором получается путем выполнения сначала операции превращения, а затем операции обращения.

Схема противопоставления предикату:

S — Р

S - не-Р

______

не-Р - S

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

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

• Противопоставление субъекту - вид непосредственного умозаключения, заключение в котором получается путем выполнения сначала операции обращения, а затем операции превращения.

Схема противопоставления субъекту:

S — Р

Р — S

_____

Р - не S

Правила противопоставления субъекту:

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

• Умозаключение по логическому квадрату - вид непосредственного умозаключения, заключение в котором получается посредством изменения количества или качества посылки.

Рис. 31.

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

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

1. Знание истинности общего суждения типа А (либо Е) позволяет сделать вывод об истинности частного суждения типа I (либо О);

2. Истинность общеутвердительного суждения А позволяет произвести в заключении отрицание отрицательного суждения Е или О ;

3. Истинность общеотрицательного суждения Е позволяет произвести в заключении отрицание утвердительного суждения А или I ;

4. Истинность частного суждения типа I (либо О) позволяет произвести в заключении отрицание общего суждения типа Е (либо А);

5. Отрицание ложности общего суждения типа А (либо Е) позволяет сделать вывод об истинности частного суждения типа О (либо I );

5. Отрицание ложности частного суждения типа I (либо I) позволяет сделать вывод об истинности общего суждения типа Е (либо А);

6. Отрицание ложности частного суждения типа I (либо О) позволяет сделать вывод об истинности частного суждения типа О (либо I );

7. Отрицание ложности частного суждения типа I (либо О) позволяет произвести в заключении отрицание ложности общего суждения типа А (либо Е).

Выразим сказанное выше в виде комплексных схем:

Рис. 32.

Рис. 33.

Рис. 34.