Razumnikum.ru
ЛОГИКА И ЯЗЫК Значения слова логика Зачем нужна логика Познание МЫШЛЕНИЕ Мышление ПОНЯТИЯ Понятие Виды понятий Отношения между понятиями Обобщение и ограничение понятий Деление понятий Определённые и неопределённые понятия Определение понятий Приёмы, заменяющие определение понятия СУЖДЕНИЯ Суждение Структура суждения Деление суждений Распределённость терминов в суждениях Отношения между суждениями Преобразование суждений УМОЗАКЛЮЧЕНИЯ Умозаключение ЗАКОНЫ ЛОГИКИ Законы мышления Закон тождества Закон противоречия Закон исключённого третьего Закон достаточного основания

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

Виды простых суждений

Различают следующие виды простых суждений: атрибутивные суждения, суждения с отношениями и суждения существования (экзистенциальные).

Атрибутивное суждение — это суждение о признаке предмета. В нём отражается связь между предметом и его признаком, эта связь утверждается или отрицается.

Пример.

«Роза приятно пахнет», «Кролики не едят мяса».

Атрибутивные суждения называются также категорическими.

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

  1. Субъект суждения — это понятие о предмете суждения: то, о чём (о ком) идёт речь в суждении. Субъект обозначается латинской буквой S.
  2. Предикат суждения — это понятие о признаке или состоянии предмета: то, что говорится о субъекте. Предикат обозначается латинской буквой P.
  3. Связка — это элемент суждения, соединяющий субъект и предикат путём утверждения или отрицания принадлежности некоторого признака предмету. Связка выражается словами есть (не есть), является (не является) и т. п. В русском языке связка обычно подразумевается или заменяется тире.
  4. Квантор — это указатель на объём субъекта. В роли квантора могут быть слова: все, некоторые, ни один и т. п. Квантор может и отсутствовать в суждении.

Пример.

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

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

Пример.

Если у суждения: Все воробьи — это птицы отбросить содержание и оставить форму, то получится: Все S есть P.

Точно так же логическая форма суждения: Некоторые животные не являются хищниками — Некоторые S не есть P.

Структуру категорического суждения можно выразить общей схемой:

S — P,

где «S» — субъект, «P» — предикат, «—» — связка.

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

Если в каком-то суждении отсутствует связка или квантор, то они всё равно подразумеваются.

Пример.

В суждении: Пингвины — это хищники квантор отсутствует, но он подразумевается — это слово все.

Субъект и предикат называются терминами суждения.