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

Так называется преобразование суждения путём обращения и последующего пре- вращения. Пример: «Все адвокаты – юри- сты» обратим в суждение «Некоторые юристы – адвокаты», а последнее в свою очередь превратим в суждение «Некоторые юристы не есть не адвокаты», то получим противопоставление субъекту. Предикат заключительного суждения – «не адвока- ты» противопоставляется субъекту исход- ного суждения – «адвокаты».

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

Это преобразование суждения путём пре- образования и последующего обращения. Пример: суждение «Все адвокаты – юри- сты» сначала превратим в суждение «Ни один адвокат не является не юристом», а последнее обратим в суждение «Ни один юрист не является адвокатом». Получает- ся,  что  предикату  исходного  суждения

«юристы»  мы  противопоставили  понятие

«не юристы» и сделали его субъектом но-

вого суждения.

Схема 6. Противопоставление

                                                    Отрицание суждения

Если формула простого атрибутивного утвердительного суждения – «S есть P», то формула его отрицания будет: «Невер- но, что S есть P» или «S не есть P». На- пример, «Все судьи справедливы».  «Не- верно, что  все  судьи справедливы» или

«Не все судьи справедливы». Отрицанию

могут подвергаться и отрицательные су- суждения. Если формула отрицательного суждения – «S не есть P», то его отрицание- ние будет выражено формулой: «Неверно, что S не есть P».

Сущность этой логической операции составляет замена одного исходного суждения другим, не только не совместимым с ним, но и противоречащим ему. Языковыми средствами выражения такой операции служат обороты речи типа «неверно что...» или частица «не» и ей подобные.

Логические отношения между простыми суждениями

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

женщины».

Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором. Обычно их называют суждениями одинаковой материи. Например: «Все амери­канские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях».

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

О т н о ш е н и я между простыми суждениями

(рассматривается с помощью логического квадрата)