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