Коллектив авторов - Логика: Шпаргалка

Общеутвердительное– это суждение, общее по количеству и утвердительное по качеству. Напр., «Каждый, совершивший преступление, должен быть подвергнут справедливому наказанию». Схема такого суждения – «Все S суть Р»,где кванторное слово «все» характеризует количество, утвердительная связка «суть» – качество суждения.

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

Частноутвердительное– суждение, частное по количеству и утвердительное по качеству. Напр., «Некоторые приговоры суда являются обвинительными». Схема такого суждения – «Некоторые S есть Р». Кванторное слово «некоторые» указывает на количество суждения, утвердительная связка, выраженная словом «есть», на его качество.

Частноотрицательное– суждение частное по количеству и отрицательное по качеству. Напр., «Некоторые приговоры суда не являются обвинительными». Схема такого суждения – «Некоторые S не есть Р». Кванторное слово «некоторые» указывает на количество суждения, отрицательная связка «не есть» – на его качество.

В логике принято сокращенное обозначение суждений по их объединенной классификации: А – общеутвердительные суждения; I – частноутвердительные; Е – общеотрицательные; О – частноотрицательные.

На языке логики предикатов рассмотренные суждения записывают следующим образом:

А – (Все S суть Р);

Е – (Ни одно S не есть Р);

I– (Некоторые S есть Р);

О– (Некоторые S не есть Р).

Особое место в классификации суждений занимают выделяющие и исключающие суждения.

Выделяющие суждения отражают тот факт, что признак, выраженный предикатом, принадлежит ( или не принадлежит) только данному и никакому другому предмету.

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

«Некоторые города – столицы государств» – пример частного выделяющего суждения (некоторые S и только S суть Р). Столицами государств могут быть только города, и притом только некоторая их часть. Предикат частного выделяющего суждения полностью входит в объем субъекта.

«Все преступления, и только преступления, предусмотренные законом, – общественно опасные деяния» – пример общего выделяющего суждения (Все S, и только S суть Р).Объемы субъекта и предиката общего выделяющего суждения полностью совпадают.

Слова «только», «лишь», входящие в состав предложений, выражающих выделяющие суждения, могут находиться как перед субъектом, так и перед предикатом (напр., «Уголовное наказание применяется только по приговору суда»). Но они могут и вообще отсутствовать. В этих случаях установить, что данное суждение является выделяющим, помогает логический анализ.

Исключающим называется суждение, в котором отражается принадлежность (или непринадлежность) признака всем предметам, за исключением некоторой их части. Напр., «Все студенты нашей группы, кроме Волкова, сдали экзамены». Исключающие суждения выражаются предложениями со словами «кроме», «за исключением», «помимо», «не считая» и т. п. (Все S, за исключением S', суть Р).

Значение выделяющих и исключающих суждений состоит в том, что положения, выраженные в форме этих суждений, характеризуются точностью и определенностью, что исключает их неоднозначное понимание. Напр., в Конституции РФ ст. 118 (ч. 1) и 123 (ч. 2) гласят: «Правосудие в РФ осуществляется только судом», «Заочное разбирательство уголовных дел в судах не допускается, кроме случаев, предусмотренных федеральными законами».

В логических операциях с суждениями возникает необходимость установить, распределены или не распределены его термины – субъект и предикат. Термин считается распределенным, если он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема.

Рассмотрим, как распределены термины в суждениях А, Е, I, О.

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

Таким образом, в общеутвердительных суждениях S распределен, а Р не распределен. Однако в общеутвердительных суждениях, субъект и предикат которых имеют одинаковый объем, распределен не только субъект, но и предикат. К таким суждениям относятся обще-выделяющие суждения, а также определения, подчиняющиеся правилу соразмерности.

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

Суждение I (Некоторые S суть Р).«Некоторые студенты нашей группы (S) – отличники (Р)».Субъект суждения не распределен, т. к. в нем мыслится только часть студентов нашей группы, объем субъекта лишь частично включается в объем предиката: только некоторые студенты нашей группы относятся к числу отличников. Но и объем предиката лишь частично включается в объем субъекта: не все, а только некоторые отличники – студенты нашей группы. Следовательно, в частноутвердительном суждении ни S, ни Р не распределены.