Простое категорическое суждение, его виды.

Категорическим называется суждение, в котором отношение субъекта и предиката не зависит от каких-либо условий.

А) По видоизменению предиката:

- атрибутивные суждения

- суждения об отношениях (суждения отношения)

- суждения существования (экзистенциальные)

1) атрибутивные (лат.: свойство, признак) – суждение о признаке предмета, о принадлежности предмета классу предметов.

_{S есть Р}

(Россия есть суверенная страна)

S – субъект (мысль о предмете),

Р – предмет (признак предмета),

есть (не есть) - связка

2) суждение отношения выражает отношение между предметами по величине, месту, времени, родству и т.д.

Предполагает связь, по крайней мере, между 2 предметами

_{a R b m R n}

(Павел – брат Сергея), (Москва больше Питера) (aRb), (mRn)

Абсурд: Эта книга лучше (Чего?!)

3) Суждение существования – выражает наличие или отсутствие самого

_{S есть}

4) предмета (Мир существует) (S есть)

Здесь слово «есть», «существует» – не связка, а предикат.

 

Б) По качеству связки – утвердительные и отрицательные

Утвердительные – связки «есть», «суть», «являются» …

_{S есть Р}

(Логика есть нетехническая наука)

Отрицательные – перед связками частица «не», отрицает наличие у предмета свойств

_{S не есть Р}

(Логика не является технической наукой)

 

В) По количеству (по объему субъекта)

- единичные: это S есть (не есть) Р;

- частные: некоторые S суть (не суть) Р;

- общие: все S суть (не суть) Р, ни одно S не есть P.

Слово, характеризующее суждение со стороны количества, объема, субъекта, называется кванторным, квантором (лат. сколько).

1) единичные суждения – суждение об одном предмете.

_{Этот S есть Р}

(Этот ученый – всемирно известный)

кванторы: этот, тот, данный …

2) частные суждения – о части предметов класса

Кванторы: некоторые, часть, большинство …

_{некоторые S есть Р}

(некоторые животные – парнокопытные)

 

3) Общие суждения – обо всех предметах класса

Кванторы: все, всякий, любой, каждый.

Г) В контексте деления суждений по количеству различают:

- выделяющие суждения

- исключающие суждения.

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

(может быть общим, частным и единичным)

(S и только S есть Р)

(Только человек способен к творчеству).

д) Объединенная классификация простых категорических суждений по количеству и качеству

1) А - общеутвердительные

Все S суть P

(Все слоны – животные)

2) I - частноутвердительные

некоторые S суть Р

(некоторые птицы – водоплавающие)

А, I – affirmo (утверждаю)

3) Е - общеотрицательные

ни одно S не есть P;

(ни одна корова не летает)

4) О – частноотрицательные

некоторые S не есть Р

(некоторые птицы не летают)

Е, О – nego (отрицаю)

Отношение между субъектом и предикатом.

Распределенность терминов в суждении.

Распределенные субъект и предикат – если взяты в полном объеме

Р –

Нераспределенные – если взяты в части объема.

1)

S+

Суждение А

_{Все S есть Р}

(Все куры являются птицами)

Класс «куры» целиком входит в класс «птицы» – S - распределен

Птицы – не только куры → Р – не распределен.

В этом суждении мыслится только часть птиц.

1.1. Частный случай: объемы S и Р совпадают

(все преступления - уголовно-наказуемые деяния)

+ + S Р

Объемы S и Р полностью совпадают, S и Р взяты в полном объеме – распределены.

 

Суждение I

_{Некоторые S суть Р}

Некоторые птицы - водоплавающие

Ни S, ни Р – не распределены, т.к. не охватываются все водоплавающие

 

 

S – м

2.1. Частный случай – частновыделяющее суждение, объем Р целиком входит в S

Р+

_{Некоторые S и только S суть Р}

Некоторые родители, и только родители, многодетны.

S – не распределен, Р – распределен, т.к. в полном объеме входит в S.

 

 

3)

P +

+ S

Суждение Е

_{Ни один S не есть Р}

(Ни один сапер не является трусом)

S и Р взяты в полном объеме, полностью исключают друг друга

S и Р распределены.

4) Суждение О

Р +

- S

_{Некоторые S не суть Р}

(Некоторые студенты нашей группы не отличники)

S не распределен (лишь часть студентов)

- S

Р – распределен

4.1. частный случай – частновыделяющие суждения

_{Некоторые S не суть Р}

(Некоторые понятия не суть общие)

 

Вывод:

	S распределен в общих суждениях и нераспределен в частных (показатель – квантор) Р распределен в отрицательных суждениях, а в утвердительных распределен, если P ≤ S