Логика: Шпаргалка (Авторов) - страница 23

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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