3. Объединенная классификация суждений. Объединяя количественную и качественную характеристики, суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные1.

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

Общеотрицательное суждение — суждение, общее по количеству и отрицательное по качеству. Например: «Ни один невинов-

Единичные суждения (утвердительные и отрицательные) по этой классификации в особую группу не выделяются По своей характеристике они приравниваются к соответствующим общим общеутвердительным и общеотрицательным

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

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

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

В логике принято сокращенное обозначение суждений по их объединенной классификации. Утвердительные суждения обозначаются двумя первыми гласными буквами латинского слова affirmo («утверждаю»), отрицательные — двумя гласными буквами латинского слова nego («отрицаю»). В соответствии с этим суждения обозначаются следующими буквами: А — общеутвердительное, Е — общеотрицательное, I — Частноутвердительное, О — частно-отрицательное.

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

А (Все S суть Р): V х (S(x) -> Р(х))

читается: для всех х, если х присуще свойство S, то х присуще свойство Р.

Е (Ни одно S не есть Р): V х (S(x) -> 1 Р(х))

читается: ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S суть Р): 3 x(S(x) л Р(х))

читается: существуют х, которым присуще свойство S и свой-,1 ство Р

О (Некоторые S не суть Р): 3 x(S(x) л "1 Р(х)) ;

читается: существуют х, которым присуще свойство S и не присуще свойство Р.

18) Распределённость терминов в категорических суждениях. Условия истинности категорических суждений.

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

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

Суждение E (Ни одно S не есть P). В общеотрицательных суждениях и S, и P распределены. «Ни один студент нашей группы не является неуспевающим»

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

Суждение О (Некоторые S не есть P). В частноотрицательном суждении S не распределён, P распределён. «Некоторые студенты нашей группы не отличники».

Таким образом, субъекты распределены в общих (A,E) и не распределены в частных (I,O). Предикаты распределены в отрицательных (E,O) и не распределены в утвердительных (A,I). В выделяющих суждениях предикат распределён.