Простые суждения и их виды.

Простым называется суждение, не включающее другие сужде­ния. .

Атрибутивным (от латинского attributio — «свойство», «при­знак») называется суждение о признаке предмета. В нем отражает­ся связь между предметом и его признаком, эта связь утверждается или отрицается. Атрибутивные суждения называют также категорическими (от греческого kategorikos — «ясный», «безусловный», «не допускаю­щий иных толкований»).

Атрибутивное, или категорическое, суждение состоит из субъек­та, предиката и связки; его логическая схема S—Р, где S — субъект суждения, Р — предикат суждения, «—» — связка.

Субъектом суждения называется понятие о предмете суждения. Понятие о признаке предмета называется предикатом суждения. Связка выражает отношение между субъектом и предикатом.

Поэтому основную смысловую нагрузку несет предикат.

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

Реляционные суждения – раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету.

Экзистенциальные суждения – раскрывают наличие или отсутствие предмета мысли.

Категорические суждения. Объединенная классификация суждений.

Атрибутивным (от латинского attributio — «свойство», «при­знак») называется суждение о признаке предмета. В нем отражает­ся связь между предметом и его признаком, эта связь утверждается или отрицается.

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

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

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

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

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

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

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

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

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

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

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