Атрибутивным называется суждение, если признак в нем связан с наличием или отсутствием свойства.
Реляционным называется суждение, если признак в нем связан с наличием или отсутствием отношения.
Их название связано с латинским словом attribuo – придаю, наделяю. Под атрибутом обычно понимается какое-либо свойство предмета.
Пример. "Великобритания является парламентарной монархией". Это суждение атрибутивное, так как предмету "Великобритания" присуще свойство – "быть парламентарной монархией".
Структура атрибутивного суждения:
1. Субъект суждения ("S") – это то, о чем (о ком) говорится в суждении.
2. Предикат суждения ("Р") – это то, что говорится о субъекте суждения.
3. Логическая связка – то, что связывает субъект и предикат суждения. Связки бывают утвердительные (есть, является) и отрицательные - не есть, не является).
4. Квантор – слово, стоящее перед субъектом и определяющее количество субъекта; выражается словами "все", "ни один" – это квантор общности; "некоторые", "многие" – квантор частности.
6.2. Реляционные суждения, или суждения с отношением
Пример. "Петр – отец Ивана". В структуре данного суждения есть отношение "быть отцом" и два предмета – "Петр" и Иван". Пример. "Уральские горы отделяют Европу от Азии". В структуре данного суждения есть отношение "отделяют" и три предмета "Уральские горы", "Европа" и "Азия", между которыми как раз и существует некое отношение. Рассматривая структуру реляционного суждения, можно задать вопрос: "О чем говорится в суждении?" Об Уральских горах, Европе и Азии. (А в первом примере – об Иване и Петре). Следовательно, эти понятия можно назвать субъектами соответствующих суждений. А на вопрос: "Что говорится о субъектах в этих суждениях?" – можно ответить, что между ними существуют отношения "быть отцом" и "отделять". Следовательно, это предикаты суждений.
Итак, в структуру реляционного суждения входят два или более субъектов и предикат, роль которого играет отношение. В дальнейшем мы чаще будем иметь дело с атрибутивным суждением, поэтому обратимся к более подробному их анализу.
6.3. Простые категорические суждения
В логике принято делить атрибутивные суждения на виды по двум основаниям:
а) качеству и
б) количеству
а) По качеству суждения делят на утвердительные и отрицательные. Утвердительными называются суждения, говорящие о принадлежности предиката субъекту суждения, а отрицательными – говорящие об отсутствии у субъекта данного предиката.
Тип логической связки (есть, является и другие) – утвердительная или (не есть, не является) – отрицательная дает возможность определить вид суждения по качеству. Утвердительная связка указывает на утвердительное суждение, и наоборот, отрицательная связка – на отрицательное суждение.
Пример. "Этот пример ясен". Подразумевается связка "есть" и в суждении говорится о принадлежности свойства "быть ясным" субъекту суждения "пример".
"Этот пример является неясным" – утвердительное суждение, т.к. связка утвердительная.
"Этот пример не является ясным" – отрицательное суждение, т.к. связка отрицательная.
б) По количеству суждения можно разделить на единичные, частные и общие.
Общие суждения – это суждения, в которых предикат высказывается обо всем объеме субъекта.
Частные суждения – это суждения, в которых предикат высказывается о некоторых элементах объема субъекта.
В единичном суждении субъект представляет собой единичное понятие.
Пример. "Все люди имеют преступные наклонности" – общее суждение.
"Некоторые люди имеют преступные наклонности" – частное суждение.
"Этот человек имеет преступные наклонности" – единичное суждение.
Категорическими называются суждения, у которых точно выяснено их качество и количество.
Все атрибутивные суждения можно разделить по количеству на общие и частные (единичные анализируются как общие, т.к. предикат суждения высказывается обо всем субъекте) и по качеству – на утвердительные и отрицательные. В результате можно получить четыре типа простых категорических суждений:
· Общеутвердительное (А) – Все S есть Р.
· Частноутвердительное (I) – Некоторые S есть Р.
· Общеотрицательное (Е) – Все S не есть Р.
· Частноотрицательное (О) – Некоторые S не есть Р.
Еще в Средневековье были изобретены буквенные обозначения этих типов суждений. Они происходят от названий гласных букв, входящих в латинские слова "affirmo" – утверждаю, и "nego" – отрицаю.
Примеры.
А: "Все люди есть существа, имеющие преступные наклонности".
I: "Некоторые люди есть существа, имеющие преступные наклонности".
Е: "Ни один человек не есть существо, имеющее преступные наклонности".
О: "Некоторые люди не есть существа, имеющие преступные наклонности".
Субъект и предикат простого категорического суждения называют терминами суждения.
Для проверки правильности умозаключений используется понятие распределенности терминов.
Термин называется распределенным, если он рассматривается в данном суждении во всем объеме. В противном случае он является нераспределенным.
А | Е | I | О | |
S | + + | + | - - | - |
Р | - + | + | - + | + |
"+" и "-" обозначают распределенность или нераспределенность термина.
Существует общее правило: в общих суждениях распределен субъект, а в отрицательных – предикат.
Графически это можно изобразить так:
А: S+ а Р-, I: S- i Р-, Е: S+ е Р+, О: S- о Р+.
6.4. Упражнения.
1. Определите вид и проанализируйте структуру следующих суждений:
а) Великобритания является парламентарной монархией.
б) Форма правления определяется статусом главы государства.
в) Сейчас уже нет Дон-Кихотов.
г) Уральские горы отделяют Европу от Азии.
д) Это суждение является простым или сложным.
е) На миру и смерть красна.
ж) Не все коту масленица.
з) Свой дурак дороже чужого умника.
2. Определите вид категорических суждений, приведите их к канонической форме и укажите распределенность терминов.
а) Каждое государство Восточной Европы – республика.
б) Преступление – это общественно опасное деяние.
в) Раба не следует держать в неволе.
г) Взяточник никогда не бывает честным.
д) Человек желает счастья.
е) Среди ученых встречаются неумные люди.