Методические рекомендации по изучению дисциплины и отдельных тем слушателями заочной формы обучения

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


Все S суть P.
Ни одно не-Р не есть S”.


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


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


Некоторые S не суть P.
Некоторые не-Р суть S.


д) Преобразование по логическому квадрату
Учитывая отношения между суждениями А, Е, I, О, можно устанавливать истинность или ложность одного суждения, исходя из истинности или ложности другого суждения.
Отношение противоречия (кондрадикторности): А-О; Е-I. Из истинности одного противоречащего суждения следует ложность другого суждения, из ложности одного – истинность другого. Например: из истинности (А) (“Все народы имеют право на самоопределение”) следует ложность О (“Некоторые народы не имеют право на самоопределение”); из истинности I (“Некоторые приговоры суда являются оправдательными”) следует ложность Е (“Ни один приговор суда не является оправдательным”). Схема: А  ךО; ךА  О; Е  ךI; ךЕ  I.