Вопрос 2. Виды суждений (общая классификация).

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

ПРОСТОЕ суждение – это суждение, имеющее одну субъектно-предикатную связку, т. е. не включающее в себя других суждений.

СЛОЖНОЕ суждение – это суждение, состоящее из нескольких субъектно-предикатных связок, т. е. включающее в себя другие суждения. Например, суждение «погода стоит хорошая, и я поеду в лес» является сложным суждением, так как в нем два простых суждения: в первом утверждается о характере погоды, а во втором говорится о моем намерении поехать в лес.

Простые суждения в зависимости от того, что утверждается или отрицается в нем: принадлежность признака объекту, отношения между объектами или факт существования объектов, делят на:

1) АТРИБУТИВНЫЕ суждения (от латинского «атрибут» – свойство, признак) – это суждения, в котором объекту приписывается (или отрицается) какой-либо признак. Например: «Франция – независимое государство». Атрибутивные суждения называют также КАТЕГОРИЧЕСКИМИ суждениями (от греческого kategorikos – «безусловный»).

2) Суждения С ОТНОШЕНИЯМИ (реляционные суждения) – это суждения, в которых выражена связь между объектами. «Обь длиннее Волги», «Виктор старше Сергея», «пять больше четырех» – это примеры суждений с отношениями. Хотя суждения с отношениями имеют структуру несколько отличную от субъектно-предикатной, они могут быть интерпретированы как субъектно-предикатные. Например, Виктор (субъект) прихотится братом Сергею (предикат).

3) Суждения СУЩЕСТВОВАНИЯ – в этих суждениях выражается сам факт существования или несуществования объектов. «Бога нет»; «Существуют внеземные цивилизации» – вот примеры суждений существования, их иногда называют экзистенциальными суждениями (от латинского «экзистенция» - существование). Эти суждения также могут интерпретироваться как категорические суждения с субъектно-предикатной формой. Например, суждение «бога нет» может быть преобразовано в категорическое суждение «бог не является существующим объектом».

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

МОДАЛЬНЫЕ суждения – это суждения, которые содержат дополнительную информацию о связи субъекта и предиката: о степени обоснованности этой связи, о статусе этой связи, об оценке этой связи и т. д. Модальные характеристики обычно выражаются через парные категории: необходимо – случайно; обязано – запрещено; доказано – опровергнуто и т. д.

Наиболее распространёнными видами модальных суждений являютсяэпистемические модальные суждения, деонтические модальные суждения, алетические модальные суждения, аксиологические модальные суждения.

В эпистемических модальных суждениях дается дополнительная информация об обоснованности суждения. Здесь различают: а)достоверные суждения, которые задаются кванторами «доказано – опровергнуто»; б) проблематические суждения, которые задаются кванторами «по-видимому», «вероятно», «возможно» и т. д.

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

Деонтическая модальность чрезвычайно большую роль играет в правовых системах, так как ПРАВОВЫЕ НОРМЫ выражены, как правило, через кванторы этой модальности и делятся на: правообязывающие, правозапрещающие, правопредоставляющие. Все нормы, независимо от содержания, имеют одну и ту же структуру. Каждая норма включает четыре элемента: 1. Содержание – действие, являющееся объектом нормативной регуляции; 2. Характер – обязывает, запрещает или разрешает это действие данная норма; 3. Условия приложения – обстоятельства выполнения этой нормы; 4. Субъект – кому адресована данная норма.

Алетические модальные суждения - это суждения, в которых выражена дополнительная информация о логической или фактической обусловленности связи субъекта и предиката. Логическая модальность в этих суждениях выражается кванторами «логически истинно» и «логически ложно». Например, «логически истинно, что цвет является белым или небелым». Фактическая модальность выражается в этих суждениях кванторами «достоверно», «фактически», «непременно», «возможно», «допустимо» и т.д.Аксиологические (ценностные) модальные суждения используют кванторы«хорошо», «плохо», «равноценно», «безразлично» и т.д.