Суждение. 
Риторика

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

• 1. Суждение выражается в форме предложения (вспомним, понятие выражается в слове или словосочетании). Однако не всякое предложение может выражать суждение. Как известно, предложения бывают повествовательными, вопросительными и восклицательными. Суждение — это форма мышления, в которой что-либо утверждается или отрицается. В вопросительных и восклицательных предложениях (если только это не риторическое восклицание или риторический вопрос — о них речь в следующей главе) ничего не утверждается и не отрицается, поэтому они не могут выражать суждение. Суждение, таким образом, выражается в форме повествовательного предложения.
• 2. Суждение является истинным или ложным. Понятия, в отличие от суждений, не могут быть истинными или ложными. Невозможно, например, утверждать, что понятие «мужество» — истинное, а понятие «трусость» — ложное. Поскольку любое суждение принимает одно из двух значений — истины или лжи, — то формальная логика также часто называется двузначной логикой. Это в полной мере относится к описательным суждениям.
• 3. Суждения бывают простыми и сложными. Суждение — более сложная форма мышления по сравнению с понятием; оно имеет определенную структуру, в которой можно выделить четыре части.

Субъект (от лат. subjectum — подлежащее) — обозначаемый буквой 5 — то, о чем идет речь в суждении.

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

Предикат (от лат. praedicatum — сказуемое) — обозначаемый буквой Р — то, что говорится о субъекте.

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

Связка — то, что соединяет субъект и предикат.

В роли связки могут выступать слова «есть», «является», «это» и т. п.

Квантор (от лат. quantum — сколько) — указатель на объем субъекта. В роли квантора могут быть слова «все», «некоторые», «пи один» и т. п.

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

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

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

В зависимости от объема субъекта и предиката в логике выделяется четыре типа суждений:

• 1. Общеутвердительные суждения: все 5 есть Р (например: «все студенты являются учащимися»).
• 2. Частноутвердительные суждения: некоторые S есть Р («некоторые металлы являются щелочными»).
• 3. Общеотрицательные суждения: все S не есть Р (или ни одно S нс есть Р). Например, «все окружности не являются квадратами» (или «ни одна окружность не является квадратом»).
• 4. Частноотрицательные суждения: некоторые S не есть Р («некоторые двигатели не являются дизелями»),

В логике общеутвердительные и частноутвердительные суждения традиционно обозначают буквами Ли/ (первая п вторая гласные лат. глагола.

ajfirmo — «утверждаю»); общеотрицательные и частноотрицательные — соответственно Е и О (первая и вторая гласные лат. глагола nego — «отрицаю»).