Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ЛОГИКА (учебник Кириллов А.+Старченко А.).docx
Скачиваний:
2458
Добавлен:
09.05.2015
Размер:
931.35 Кб
Скачать

___Все s суть р___

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

Правильность полученного заключения можно проверить путем последовательного применения двух логических операций: превра­щения и обращения. Исходное общеутвердительное суждение «Все S суть Р» превращается в общеотрицательное с отрицательным пре­дикатом «Ни одно S не есть не-Р». Общеотрцицательное суждение обращается без ограничения. Получаем общеотрицательное сужде­ние «Ни одно не-Р не есть S».

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

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

Ни одно s не есть р Некоторые не-р суть s

Проверим правильность заключения с помощью превращения и обращения. Исходное общеотрицательное суждение «Ни одно S не есть Р» превращается в общеутвердительное с отрицательным пре­дикатом «Все S суть не-Р». Так как предикат общеутвердительного суждения не распределен, его обращение дает частноутвердитель-ное суждение «Некоторые не-Р суть S».

Частноутвердительное суждение (I) посредством противопо­ставления предикату не преобразуется. Превращение суждения «Некоторые S суть Р» дает частноотрицательное суждение «Некото­рые S не суть не-Р». Но частноотрицательное суждение не обраща­ется.

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

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

Некоторые s не суть р Некоторые не-р суть s

Проверим правильность заключения посредством превращения и обращения. Частноотрицательное суждение «Некоторые S не суть Р» превращается в частноутвердительное «Некоторые S суть не-Р», которое обращается также в частноутвердительное «Некото­рые не-Р суть S».

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

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

Учитывая свойства отношений между категорическими сужде­ниями А, Е, I, О, которые иллюстрированы схемой логического квад­рата1, можно строить выводы, устанавливая следование истинности или ложности одного суждения из истинности или ложности другого суждения.

Рассмотрим эти выводы.

Отношение противоречия (контрадикторности): А — О, Е — I.

Поскольку отношения между противоречащими суждениями подчиняются закону исключенного третьего, из истинности одного суждения следует ложность другого суждения, из ложности одно­го — истинность другого. Например, из истинности общеутверди­тельного суждения (А) «Все народы имеют право на самоопреде­ление» следует ложность частноотрицательного суждения (О) «Не­которые народы не имеют права на самоопределение»; из истин­ности частноутвердительного суждения (I) «Некоторые приговоры суда являются оправдательными» следует ложность общеотрица­тельного суждения (Е) «Ни один приговор суда не является оп­равдательным».

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

А  О; А О; Е I; Е I.

Отношение противоположности (контрарности): А — Е. Из

истинности одного суждения следует ложность другого суждения, но из ложности одного из них не следует истинность другого. Напри­мер, из истинности общеутвердительного суждения (А) «Все народы имеют право на самоопределение» следует ложность общеотрица­тельного суждения (Е) «Ни один народ не имеет права на самоопре­деление». Но из ложности суждения А «Все приговоры суда являют­ся оправдательными» не следует истинность суждения Е «Ни один приговор суда не является оправдательным». Это суждение также ложно.

Отношения между противоположными суждениями подчиняют­ся закону непротиворечия. Выводы строятся по схемам: А Е; Е  А;  Аv Е); Еv А).

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

I — О. Из ложности одного суждения следует истинность другого, но из истинности одного из них может следовать как истинность, так и ложность другого суждения. Истинными могут быть оба суждения. Например, из ложного суждения «Некоторые врачи не имеют меди­цинского образования» следует истинное суждение «Некоторые врачи имеют медицинское образование»[29], из истинного суждения «Некоторые свидетели допрошены» следует суждение «Некоторые свидетели не допрошены», которое может быть как истинным, так и ложным.

Таким образом, субконтрарные суждения не могут быть вместе ложными; по крайней мере одно из них истинно.

Выводы строятся по схемам: I О; О I; I v О); O(I v I ).

Отношение подчинения (А — I, E — О). Из истинности подчиня­ющего суждения следует истинность подчиненного суждения, но не наоборот: из истинности подчиненного суждения истинность подчи­няющего суждения не следует, оно может быть истинным, но может быть ложным. Например, из истинности подчиняющего суждения А «Все врачи имеют медицинское образование» следует истинность подчиненного ему суждения I «Некоторые врачи имеют медицин­ское образование». Из истинного подчиненного суждения «Некото­рые свидетели допрошены» нельзя с необходимостью утверждать об истинности подчиняющего суждения «Все свидетели допрошены».

Выводы строятся по схемам: А I; Е О; I (A v A); O(E vE).

Из ложности подчиненного суждения следует ложность подчи­няющего суждения, но не наоборот: из ложности подчиняющего суждения ложность подчиненного с необходимостью не следует; оно может быть истинным, но может быть и ложным. Например, из ложности подчиненного суждения (О) «Некоторые народы не имеют права на самоопределение» следует ложность подчиняющего суждения (Е) «Ни один народ не имеет права на самоопределение». Если ложным является подчиняющее суждение (А) «Все свидетели допрошены», то подчиненное ему суждение (I) «Некоторые свиде­тели допрошены» может быть истинным, но может быть ложным (возможно, что ни один свидетель не допрошен).

Выводы строятся по схемам: I  А; О Е;  A (I v I);  Е(О v  О);

Знание зависимости истинности или ложности одних суждений от истинности или ложности других помогает делать правильные выводы в процессе рассуждения.

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