Выделяющие и исключающие суждения
Особое место в классификации суждений занимают (а)выделяющие и (б)исключающие суждения.
(а) Количественная характеристика суждений устанавливает объем субъекта, а что касается предиката, то его объем остается неопределенным. В самом деле, из суждения «Зимин — свидетель происшествия» нельзя установить, является ли Зимин единственным или одним из свидетелей происшествия.
Выделяющие суждения устраняют эту неопределенность; они отражают тот факт, что признак, выраженный предикатом, принадлежит (или не принадлежит) только данному, и никакому другому, предмету.
Выделяющие суждения могут быть единичными, частными и общими. Например: «Только Зимин является свидетелем происшествия» (S,и только S, есть Р) — единичное выделяющее суждение. Оно выражает знание о том, что Зимин валяется единственным свидетелем происшествия. Субъект и предикат этого суждения имеют одинаковый объем.
«Некоторые города — столицы государств» — пример частного выделяющего суждения(Некоторые S, и только S, суть Р). Столицами государств могут быть только города, и притом только некоторая их часть. Предикат частного выделяющего суждения полностью входит в объем субъекта. Другие примеры частных выделяющих суждений: «Некоторые приговоры суда являются оправдательными»; «Некоторые преступники — рецидивисты».
Частные выделяющие суждения не следует смешивать с определенными частными суждениями. Если в определенном частном суждении уточняется объем субъекта, то в частных выделяющих суждениях уточняется объем предиката. Так, в суждении «Только некоторые свидетели дали показания» отношение предиката к субъекту остается неопределенным: показания дают не только свидетели, но также потерпевший, обвиняемый. Это определенное частное суждение (рис. 22). В частном выделяющем суждении определено отношение не только субъекта к предикату, но и предиката к субъекту: только некоторые преступники (и только преступники) — рецидивисты (рис. 23).
«Все преступления, и только преступления, — предусмотренные законом общественно опасные деяния» — пример общего выделяющего суждения (Все S, и только S, суть Р). Объемы субъекта и предиката общего выделяющего суждения полностью совпадают.
Слова «только», «лишь», входящие в состав предложений, выражающих выделяющие суждения, могут находиться как перед субъектом, так и перед предикатом (например, «Уголовное наказание применяется только по приговору суда») Но они могут и вообще отсутствовать. В этих случаях установить, что данное суждение является выделяющим, помогает логический анализ.
(б) Исключающим называется суждение, в котором отражается принадлежность (или непринадлежность) признака всем предметам, за исключением некоторой их части. Например: «Все студенты нашей группы, кроме Волкова, сдали экзамены». Исключающие суждения выражаются предложениями со словами «кроме», «за исключением», «помимо», «не считая» и т.п. (Все S, за исключением S1, суть Р).
Значение выделяющих и исключающих суждений состоит в том, что положения, выраженные в форме этих суждений, характеризуются точностью и определенностью, что исключает их неодназначное понимание. Именно поэтому ряд научных положений, а так же статей международных документов, законов государства, статей уголовного, уголовно-процессуального и других кодексов выражен в форме выделяющих или исключающих суждений. Например в Конституции Российской Федерации статьи 118 (часть 1) и 123 (часть 2) гласят: «Правосудие в Российской Федерации осуществляется только судом», «Заочное разбирательство уголовных дел в судах не допускается, кроме случаев, предусмотренных федеральными законами».
Объединенная классификация суждений по количеству и качеству
Любое суждение имеет и количественную и качественную характеристику. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству, в соответствии с которой суждения делятся наобщеутвердительные, общеотрицательные, частноутвердительные, частноотрицатвльные.
Единичные суждения (утвердительные и отрицательные) по этой классификации в особую группу не выделяются. По своей характеристике их приравнивают к соответствующим общим: общеутвердительным и общеотрицательным.
Общеутвердительное суждение — это суждение общее по количеству и утвердительное по качеству. Например:
«Каждый, совершивший преступление (S), должен быть подвергнут справедливому наказанию (Р)». Схема общеутвердительного суждения «Все S суть Р», где кванторное слово «все» характеризует количество, утвердительная связка «суть» — качество суждения.
Общеотрицательное суждение — суждение, общее по количеству и отрицательное по качеству. Например: «Ни один невиновный (S) не должен быть привлечен к уголовной ответственности (Р)». Схема общеотрицательного суждения «Ни одно S не есть Р» Кванторное слово «ни одно» характеризует количество, отрицательная связка «не есть» — качество суждения.
Частноутвердительное суждение — суждение, частное по количеству и утвердительное по качеству. Например:
«Некоторые приговоры суда (S) являются обвинительными (Р)». Схема этих суждений«Некоторые S суть Р» Количество суждений характеризует кванторное слово «некоторые», качество — утвердительная связка, выраженная словом «суть».
Частноотрицательное суждение — суждение, частное по количеству и отрицательное по качеству. Например:
«Некоторые приговоры суда (S) не являются обвинительными (Р)». Это суждение имеет схему«Некоторые S не суть Р» Кванторное слово «некоторые» указывает на количество суждения, отрицательная связка «не суть» — на его качество.
В логике принято сокращенное обозначение суждений по их объединенной классификации. Утвердительные суждения обозначаются двумя первыми гласными буквами латинского слова affirmo («утверждаю»), отрицательные — гласными буквами латинского слова nеgо («отрицаю»). В соответствии с этим суждения обозначаются следующими буквами: А — общеутвердительное, Е — общеотрицательное, I — частноутвердительное, О—частноотрицательное.
В символической логике кванторные слова «все», «ни один», «некоторые» заменяют знаками, которые называются кванторами: квантором общности V (перевернутая А — начальная буква немецкого слова «alle» — «все») и квантором существования Э (перевернутая Е — начальная буква немецкого слова «existieren» — «существовать»).
На языке логики предикатов сужденияА, Е, I и О записывают следующим образом:
Читается: для всехх, если хприсуще свойство S, то х присуще свойство Р
Читается: ни одному х, которому присуще свойство S, не присуще свойство Р.
Читается: существуютх, которым присуще свойство S и свойство Р.
Читается: существуютх, которым присуще свойство S и не присуще свойство Р.