Раздел III. Суждение Тема 3.1. Суждение как форма мышления. Виды суждений Общая характеристика суждений

Суждение – это форма мышления, в которой утверждается или отрицается:

1) связь предмета и его признака;

2) сам факт существования предмета;

3) отношение между предметами.

Любое суждение может быть расценено как истинное (соответствующее действительности) или ложное.

К видам простых суждений относятся:

1) атрибутивные, в которых утверждается либо отрицается связь предмета и его признака;

2) суждения с отношением (релятивное), в которых утверждается или отрицается отношение между предметами;

3) суждение существования (экзистенциональное), в которых утверждается или отрицается сам факт существования предмета суждения.

Иное название атрибутивного суждения – простое категорическое суждение. Простым называют суждение, в котором только один предмет и только один признак предмета. Категорическим называют суждение, в котором утверждается либо отрицается связь предмета и его признака.

Структура простого категорического суждения

Полная структура простого суждения включает четыре элемента:

1) субъект (S) – понятие, отражающее сам предмет мысли, то, о чем говорится в суждении;

2) предикат (Р) – понятие, отражающее то, что именно говорится о предмете (его свойство, признак);

3) связка (в языковой форме выражается словами «есть; не есть», «является; не является» либо подразумевается).

Связка «есть» обозначается знаком « – »; связка «не есть» – знаком « ┐–».

4) Для обозначения того, о каком количестве субъекта идет речь в суждении, используются квантор. Квантор указывает на то, ко всему ли объему субъекта относится предикат или только к его части.

Для обозначения количественной характеристики суждения используются два квантора:

Квантор общности, обозначаемый ". Читается: «все», «ни один» (в отрицательном суждении);

Квантор существования, обозначаемый $. Читается: «некоторые».

Символически структура простого суждения выражается формулой: (K)S-P, где <К> – квантор, а <–> – связка.

Простые суждения делятся по количеству и качеству.

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

утвердительные и отрицательные.

В утвердительных наличие признака у предмета утверждается (связка «есть»).

В отрицательных наличие признака у предмета отрицается (связка «не есть»).

По количеству на:

единичные, общие и частные.

В единичных суждениях что-либо утверждается или отрицается об одном предмете.

В общих суждениях что-либо утверждается или отрицается обо всех предметах некоторого класса.

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

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

Для удобства логического анализа простых категорических суждений используют так называемый логический квадрат, представляющий собой диаграмму, служащую для мнемонического запоминания отношений между простыми категорическими суждениями.

∀S – Р	А	общие	Е	∀S ┐– Р
	утвердительные		отрицательные
S – Р	J	частные	O	S ┐– Р

Существует четыре типа простых категорических суждений:

Тип А – общеутвердительное суждение: общее по количеству, утвердительное по качеству. Схема: ∀S – Р (читается «Все S есть Р).

Тип Е – общеотрицательное суждение: общее по количеству, отрицательное по качеству. Схема: ∀S ┐ – Р (читается «Все S не есть Р).

Тип J – частноутвердительное суждение: частное по количеству, утвердительное по качеству. Схема: S – Р (читается «Некоторые S есть Р).

Тип О – частноотрицательное суждение: частное по количеству, отрицательное по качеству. Схема: S ┐ – Р (читается «Некоторые S не есть Р).

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