Суждение

Материал из Википедии — свободной энциклопедии

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

Суждение, в отличие от высказывания, всегда модально и носит оценочный характер.

Содержание

1 В логике

[править] В логике

Суждение — мысль, которая утверждает или отрицает наличие в мире определённой ситуации.

[править] Простые суждения

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

[править] Атрибутивные суждения

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

Классификация по качеству:

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

Классификация по количеству:

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

Термин в суждении распределён, если для решения вопроса об истинности сждения необходимо учесть все предметы, являющиеся элементами объема термина. Субъект и предикат суждения могут быть распределены (индекс _"+«) или не распределены (индекс _»-").

Общая классификация:

общеутвердительные (A) — одновременно общие и утвердительные («Все S₊ суть P_-»)
общеотрицательное (E) — общее и отрицательные («Ни один S₊ не суть P₊»)
частноутвердительное (I) — частное и утвердительное («Некоторые S_- суть P_-»)
частноотрицательное (O) — частное и отрицательное («Некоторые S_- не суть P₊»)

[править] Суждения об отношениях

Суждения, в которых говорится о том, что определённое отношение имеет место между элементами n-ок предметов.

Классификация по количеству:

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

[править] Сложные суждения

Сложное суждение — суждение, в котором можно выделить часть, которая, в свою очередь, является суждением.

[править] Соединительные суждения

Суждения, которые говорят о наличии двух или более ситуаций.

Классификация:

конъюнктивные — суждения, наличие ситуаций в которых определяется с помощью таблицы истинности знака конъюнкции ( $\land$ , значения см. Алгебра логики)
последовательно конъюнктивные — суждения, в которых утверждается последовательное возникновение или существование ситуаций (T₃(A,B,C))
одновременно-конъюнктивные — суждения, в которых утверждается одновременное существование ситуаций ( $\perp$ — знак одновременной конъюнкции)

[править] Разделительные суждения

Суждения, в которых утверждается наличие одной из нескольких ситуаций.

Классификация:

дизъюнктивные — утверждается наличие хотя бы одной из двух ситуаций ( $\lor$ , значения см. Алгебра логики)
строго-дизъюнктивные — утверждается наличие только одно из нескольких ситуаций (значения см. Алгебра логики)

[править] Условные суждения

Суждения, в которых утверждается, что наличие одной из ситуаций обуславливается наличием другой.

В естественном языке чаще всего выражаются предложениями схемы типа «если + основание + то + следствие» ( $\rightarrow \;$ ).

[править] Контрафактические суждения

Суждения, в которых ситуация, описываемая основанием, не имеет места, но если бы она существовала, то имело бы место следствие ( $\bullet \! \rightarrow \;$ — знак контрафактической импликации).

[править] Суждения эквивалентности

Суждение, в котором утверждается взаимная обусловленность двух ситуаций ( $\leftrightarrow$ — «тогда и только тогда»).

[править] Модальные суждения

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

Подробнее об алетических модальных понятиях, или модальностях, см. Модальность#В логике.

[править] Отношения между суждениями

Совместимость по истинности

Суждения А₁, А₂, …, А_n совместимы по истинности, если существуют суждения этих же логических форм, но других нелогических содержаний, все являющиеся истинными.

Совместимость по ложности

Суждения А₁, А₂, …, А_n совместимы по ложности, если существуют суждения этих же логических форм, но других нелогических содержаний, все являющиеся ложными.

Отношение логического следования

Отношение логического следования имеет место между суждениями А и В, если не существуют суждения А' и В' тех же логических форм и других нелогических содержаний, такие, что А' истинно, а В' ложно.

Логический квадрат, описывающий отношения между категоричискими суждениями

Обозначается знаками $A \mid = B , A \Rightarrow \;B , A \mid\!- B$ .

Логическая эквивалентность ( $A \mid = B , A \mid = B \Rightarrow A \Leftrightarrow B$ )
Подчинение ( $A \mid- B , A \mid\ne B$ , А — подчиняющее, В — подчиненное)
Контрадикторность (А и В не совместимы ни по истинности, ни по ложности)
Контрарность (А и В не совместимы по истинности, но совместимы по ложности)
Субконтрарность (А и В совместимы по истинности, но не совместимы по ложности)
Логическая независимость (А₁, А₂, …, А_n логически независимы, если они все совместимы и по истинности, и по ложности, а также каждое из них находится в отношении логического следования к другим из этих суждений)

[править] Отрицание суждений

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

[править] Литература

Ивлев Ю. В. Логика: Сборник упражнений: Учеб. пособие. — 3-е изд., испр. — М.: Дело, 2004. — 248 с. ISBN 5774902765 — глава 4

Категории: Семантика | Мышление | Логика