Суждение

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

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

Содержание

В логике

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

Простые суждения

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

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

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

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

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

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

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

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

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

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

Суждения об отношениях

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

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

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

Сложные суждения

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

Соединительные суждения

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

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

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

Разделительные суждения

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

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

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

Условные суждения

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

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

Контрафактические суждения

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

Суждения эквивалентности

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

Модальные суждения

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

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

Отношения между суждениями

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

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

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

Суждения А1, А2, …, А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, А — подчиняющее, В — подчиненное)
  • Контрадикторность (А и В не совместимы ни по истинности, ни по ложности)
  • Контрарность (А и В не совместимы по истинности, но совместимы по ложности)
  • Субконтрарность (А и В совместимы по истинности, но не совместимы по ложности)
  • Логическая независимость (А1, А2, …, Аn логически независимы, если они все совместимы и по истинности, и по ложности, а также каждое из них находится в отношении логического следования к другим из этих суждений)

Отрицание суждений

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

Литература

  • Ивлев Ю. В. Логика: Сборник упражнений: Учеб. пособие. — 3-е изд., испр. — М.: Дело, 2004. — 248 с. ISBN 5774902765 — глава 4
 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home