§ 3. Классификация категорических суждений

Категорические (атрибутивные) суждения делятся: 1) по качеству и 2) по количеству. А так как любое суждение имеет количественную и качественную характеристику, их принято делить по 3) объединенной классификации.

1. Деление суждений по качеству . По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным . Например, «Автором произведения признается гражданин, творческим трудом которого оно создано» – утвердительное суждение. Его логическая схема «S есть Р ». «Обвиняемый не обязан доказывать свою невиновность» – отрицательное суждение. Его логическая схема «S не есть Р ».

Утвердительное и отрицательное суждения различаются характером связки, ее качеством. Утвердительная связка («есть») указывает на принадлежность признака предмету. Суждение с отрицательным предикатом, но с утвердительной связкой «S есть не‑Р » рассматривается как утвердительное. Например: «Данное решение суда является необоснованным».

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

Иногда в анализе рассуждений возникает необходимость изменять языковую форму выражения суждения с тем, чтобы привести его в соответствие с логической структурой «S есть (не есть) Р ». Например, суждение «Обвиняемый не обязан доказывать свою невиновность» может быть выражено следующим образом: «Обвиняемый (S ) не есть (связка) лицо, обязанное доказывать свою невиновность (Р )». В преобразованных предложениях отчетливо выражена структура суждения.

2. Деление суждений по количеству . Утверждать или отрицать что‑ либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим суждения по количеству делятся на единичные, частные и общие.

Единичным называется суждение, в котором что‑либо утверждается или отрицается об одном предмете. Например: «Это здание – памятник архитектуры», «Васильев в нотариальной конторе не работает». Схемы единичных суждений: «Это S есть Р » и «Это S не есть Р ».

Частным называется суждение, в котором что‑либо утверждается или отрицается о части предметов некоторого класса . Частые суждения выражаются в предложениях, имеющих в своем составе слова: «некоторые», «многие», «немногие», «большинство», «меньшинство», «часть». Например, «Некоторые свидетели дали показания»; «Часть преступлений относится к экономическим»; «Большинство студентов нашего курса не имеют академической задолженности». Схемы частных суждений: «Некоторые S есть Р » и «Некоторые S не есть Р ».

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

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

В определенном частном суждении слою «некоторые» употребляется в значении «только некоторые». Если, например, нам известно, что показания дали не все, а только некоторые свидетели, значит, другая их часть показаний не давала. Поэтому определенное частное суждение содержит знание и о той другой части свидетелей и может рассматриваться как два суждения: «Некоторые свидетели дали показания» и «Некоторые свидетели показаний не давали». Схемы определенных частных суждений: «Только некоторые S есть Р » и «Только некоторые S не есть Р ».

Общим называется суждение, в котором что‑либо утверждается или отрицается обо всех предметах некоторого класса . Например: «Все свидетели дали показания», «Никто из судей не вправе воздерживаться от голосования». Схемы общих суждений: «Все S есть Р » и «Ни одно S не есть Р ».

Общие суждения выражаются в предложениях, в состав которых входят, как правило, слова «все» и «ни один», а также другие близкие им по смыслу слова, указывающие на принадлежность или на непринадлежность некоторого признака всем предметам данного класса: «каждый», «любой», «никто» и др. Однако эти слова могут отсутствовать. Например: «Лицо считается судимым со дня вступления в силу обвинительного приговора суда», «Сделка, не соответствующая требованиям законодательства, не признается действительной», «Равнодушие унижает». По смыслу такие суждения являются общими, предикат относится к каждому элементу класса: «Любое лицо...», «Ни одна сделка...», «Всякое равнодушие...».

Слова «это», «все», «ни один», «некоторые» и другие, характеризующие суждение со стороны его количества, называются кванторными словами (от латинского quantum – «сколько»). Введение в суждение кванторных слов называется квантификацией .

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

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

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

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

3. Объединенная классификация суждений . Объединяя количественную и качественную характеристики, суждения делят на 1) общеутвердительные, 2) общеотрицательные, 3) частноутвердительные, 4) частноотрицательные.

Единичные суждения (утвердительные и отрицательные) по этой классификации в особую группу не выделяются. По своей характеристике они приравниваются к соответствующим общим.

1) Общеутвердительное суждение – это суждение, общее по количеству и утвердительное по качеству. Например: «Каждый, совершивший преступление (S), должен быть подвергнут справедливому наказанию (Р )». Схема общеутвердительного суждения «Все S есть Р », где кванторное слово «все» характеризует количество, утвердительная связка «есть» – качество суждения.

2) Общеотрицательное суждение – суждение, общее по количеству и отрицательное по качеству. Например: «Ни один невиновный (S ) не должен быть привлечен к уголовной ответственности (Р )». Схема общеотрицательного суждения «Ни одно S не есть Р ». Кванторное слово «ни одно» характеризует количество, отрицательная связка «не есть» качество суждения.

3) Частноутвердительное суждение – суждение, частное по количеству и утвердительное по качеству. Например: «Некоторые приговоры суда (S ) являются обвинительными (Р )». Схема этих суждений «Некоторые S есть Р ». Количество суждений характеризует кванторное слою «некоторые», качество – утвердительная связка, выраженная словом «есть».

4) Частноотрицательное суждение – суждение, частное по количеству и отрицательное по качеству. Например: «Некоторые приговоры суда (S ) не являются обвинительными (Р )». Это суждение имеет схему «Некоторые S не есть Р ». Кванторное слою «некоторые» указывает на количество суждения, отрицательная связка «не есть» – на его качество.

В логике принято сокращенное обозначение суждений по их объединенной классификации. Утвердительные суждения обозначаются двумя первыми гласными буквами латинского слова affirmo («утверждаю»), отрицательные – двумя гласными буквами латинского слова nego («отрицаю»), В соответствии с этим суждения обозначаются: А – общеутвердительное, Е – общеотрицательное, I – частноутвердительное, О – частноотрицательное.

На языке логики предикатов суждения А, Е, I, О записывают следующим образом:

А (Все S есть Р): ∀ х (S(x) → Р(х)) –

для всех х , если х присуще свойство S , то х присуще свойство Р .

Е (Ни одно S не есть Р): ∀ х (S(x) → ˥Р(х)) –

ни одному х , которому присуще свойство S , не присуще свойство Р .

I (Некоторые S есть Р): Ǝ  х (S(x) ∧ Р(х)) –

существуют х , которым присуще свойство S и свойство Р .

О (Некоторые S не есть Р): Ǝ х (S(x) ∧ ˥Р(х)) –

существуют х , которым присуще свойство S и не присуще свойство Р .