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

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

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

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

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

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

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 (отрицаю)